Vladimír Matějičný

Bakalářská práce

3D vizualizace modelů v PL1

3D Vizualization of PL1 Models
Anotace:
Predikátová logika prvního řádu dnes nachází velké využití v oblasti matematiky, filosofie, lingvistiky a umělé inteligence. Problémem je však nedostatekkvalitního výukového software. Cílem této práce je vytvoření aplikace, schopné přehledně a jednoduše naučit studenty základům predikátové logiky prvního řádu.Začátek práce je věnován popisu sémantiky predikátové logiky prvního řádu a vymezení podmnožiny …více
Abstract:
First-order logic is now days used in many fields in mathematics, philosophy or artificial intelligence. The problem is that there is not enough quality educational software. The main goal of this thesis is to create an application capable of simply and clearly teaching students basics of first-order logic. The beginning of this paper is dedicated to semantics of first-order logic and defining the …více
 
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 2010

Obhajoba závěrečné práce

  • Vedoucí: Martina Číhalová
  • Oponent: Marie Duží

Citační záznam

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: Vysoká škola báňská - Technická univerzita Ostrava

Vysoká škola báňská - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Bakalářský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika