Komponenta výukového serveru TI - Vennovy diagramy – Martin Pustka
Martin Pustka
Bakalářská práce
Komponenta výukového serveru TI - Vennovy diagramy
Component of Teaching Server for Theoretical Computer Science - Venn diagrams
Anotace:
V rámci této bakalářské práce byla vytvořena aplikace pro výuku způsobu použití Vennových diagramů na určování, zda v omezené predikátové logice závěr vyplývá ze zadaných předpokladů. V textové části je popsána základní teorie predikátové logiky, LL gramatik, syntaktického analyzátoru, Vennových diagramů a vyhodnocování logického vyplývání predikátových formulí pomocí Vennových diagramů. Je zde popsán …víceAbstract:
Within this bachelor’s thesis was created an application for teaching of how to use Venn diagrams on determination if in limited predicate logic a conclusion logically follows from an assumptions. The text part describes basic theory of predicate logic, LL grammar, syntactic parser, Venn diagrams and evaluation of logical entailment of predicate’s formulas using Venn diagrams. The text part also describes …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 30. 4. 2020
Identifikátor:
http://hdl.handle.net/10084/140580
Obhajoba závěrečné práce
- Obhajoba proběhla 22. 6. 2020
- Vedoucí: Martin Kot
- Oponent: Pavla Dráždilová
Citační záznam
Citace dle ISO 690:
PUSTKA, Martin. \textit{Komponenta výukového serveru TI - Vennovy diagramy}. Online. Bakalářská práce. Ostrava: Vysoká škola báňská - Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky. 2020. Dostupné z: https://theses.cz/id/w29tg7/.
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 informatikyBakalářský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika
Práce na příbuzné téma
-
LL analyzátory a jejich implementace v prostředí JGAF
Dominik Szalai -
Syntaktický analyzátor zdrojových textů ve formátu ConTeXt
Adam Hanuš -
Komponenta výukového serveru TI - Predikátová logika
Michaela Lubyová -
Podpora stromové reprezentace úloh výrokové logiky
Jiří HROMADA -
Výukový systém pro Aristotelovu logiku
Martin Blahovský -
Oracle Application Express - nastroj pro menší podnikové aplikace
Tomáš Roubal -
Vývoj full-stack webové aplikace interaktivní turistické mapy Karvinska
Sniegoň Sniegoň -
Educational Vulnerable Web Application
Adam Chovanec