Implementace funkce if-then-else s lazy evaluací dle specifikace v TIL – Martin Velek
Martin Velek
Master's thesis
Implementace funkce if-then-else s lazy evaluací dle specifikace v TIL
Implementation of the If-then-else Function with Lazy Evaluation Based on TIL
Abstract:
Cílem práce je podrobně popsat problematiku spjatou se specifikací funkce If-then-else v různých oblastech jejího využití, uvést striktní definici této funkce v Transparentní intensionální logice (TIL), ukázat její užití při analýze vět spojených s presupozicí a na příkladu komunikace agentů v multiagentním systému demonstrovat vhodnost použití TIL se striktní definicí If-then-else jakožto prostředku …moreAbstract:
The aim of the thesis is to describe issues associated with the specification of the If-then-else function in various fields of application, introduce the strict definition of the function in Transparent Intensional Logic (TIL) and show its use at the analysis of sentences that come with a presupposition. An example of communication in a multi-agent system will demonstrate suitability of using TIL …more
Language used: Czech
Date on which the thesis was submitted / produced: 7. 5. 2014
Identifier:
http://hdl.handle.net/10084/103766
Thesis defence
- Date of defence: 10. 6. 2014
- Supervisor: Marie Duží
- Reader: Martina Číhalová
Citation record
ISO 690-compliant citation record:
VELEK, Martin. \textit{Implementace funkce if-then-else s lazy evaluací dle specifikace v TIL}. Online. Master's thesis. Ostrava: VŠB - Technical University of Ostrava, Fakulta elektrotechniky a informatiky. 2014. Available from: https://theses.cz/id/lndokr/.
Full text of thesis
Accessibility: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.
Contents of on-line thesis archive
Published in Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: VŠB - Technická univerzita OstravaVŠB - Technical University of Ostrava
Fakulta elektrotechniky a informatikyMaster programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika
Theses on a related topic
-
Pojem identita ve vizuální komunikaci Ve své práci se chci zaměřit na vztah pojmu identita a vizuální komunikace. Cílem je zkoumat a pojmenovat postupy, kterými se vizuální komunikace "vyrovnává s identitou" v kontextu aktuálních procesů a změn ve společnosti a poukázat na souvislosti s proměnou oboru samotného. Chci se zaměřit na silné vizuální a korporátní identity spojené s určitými hnutími a fenomény a na konkrétních příkladech popsat tyto tendence. Identita nahlížená z různých úhlů, identita jako vizuální komunikační kód, jako message, produkt, ale čím dál více jako dialog a role designéra coby aktivní a přímo zodpovědné složky podílející se na celém procesu. Získané informace a zkušenosti bych chtěla představit ve formě výstavního projektu a publikovat je. Následně pak chci vytvořit prakticky zaměřený přednáškový blok pro studenty vizuální komunikace.
Michaela LABUDOVÁ -
Communication As a load Bearing Element of the Marketing Communication
Svetlana Senko -
Making internal communication in a software company more efficient
Martin Bryndza -
Multi-agentní platforma pro podporu vyhledávání
Marek Musil -
Genetické algoritmy v multiagentním systému
Filip RYBNÍČEK -
Srovnání učících algoritmů pro hledání dobré strategie v multiagentním prostředí
Jiří Ohnheiser -
Koordinace v multiagentních systémech pro platformu Pogamut
Jan DYRCZYK -
Řešení vybraných logistických problémů v prostředí virtuálních ekonomik
Zdeněk Klikar