Implementace funkce if-then-else s lazy evaluací dle specifikace v TIL – Martin Velek
Martin Velek
Diplomová práce
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
Anotace:
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 …víceAbstract:
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 …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 7. 5. 2014
Identifikátor:
http://hdl.handle.net/10084/103766
Obhajoba závěrečné práce
- Obhajoba proběhla 10. 6. 2014
- Vedoucí: Marie Duží
- Oponent: Martina Číhalová
Citační záznam
Citace dle ISO 690:
VELEK, Martin. \textit{Implementace funkce if-then-else s lazy evaluací dle specifikace v TIL}. Online. Diplomová práce. Ostrava: Vysoká škola báňská - Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky. 2014. Dostupné z: https://theses.cz/id/lndokr/.
Plný text práce
Právo: 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.
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: VŠB - Technická univerzita OstravaVŠB - Technická univerzita Ostrava
Fakulta elektrotechniky a informatikyMagisterský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika
Práce na příbuzné téma
-
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