Komponenta výukového serveru TI - Predikátová logika – Michaela Lubyová
Michaela Lubyová
Diplomová práce
Komponenta výukového serveru TI - Predikátová logika
Component of Educational Server for Theoretical CS - Predicate Logic
Anotace:
Cieľom tejto diplomovej práce je vytvorenie webovej aplikácie zameranej na prácu s formulami predikátovej logiky. Aplikácia má byť schopná syntakticky analyzovať reťazce za účelom zistenia, či sa jedná o formule predikátovej logiky, vytvoriť z formúl syntaktické stromy, previesť formule do prenexovej normálnej formy a vyhodnotiť pravdivosti formúl na základe interpretácií. V diplomovej práci je popísaná …víceAbstract:
The goal of this master's thesis is to create a web application focused on working with first-order logic formulas. The application should be able to syntactically analyze strings in order to find out if they are first-order logic formulas, create parse trees from formulas, transform formulas into the prenex normal form and evaluate formulas' truth values based on interpretations. In the master's thesis …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 30. 4. 2019
Identifikátor:
http://hdl.handle.net/10084/136219
Obhajoba závěrečné práce
- Obhajoba proběhla 29. 5. 2019
- Vedoucí: Martin Kot
- Oponent: Zdeněk Sawa
Citační záznam
Citace dle ISO 690:
LUBYOVÁ, Michaela. \textit{Komponenta výukového serveru TI - Predikátová logika}. Online. Diplomová práce. Ostrava: Vysoká škola báňská - Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky. 2019. Dostupné z: https://theses.cz/id/i9pw68/.
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
-
Server pro podporu výuky teoretické informatiky
Jan Lesniak -
Užití teoretické informatiky v praxi
Tomáš NOVOSÁD -
Komponenta výukového serveru TI - Asymptotická notace
Martin Frýdl -
Analýza vybraných animací pro výuku planetární geografie
Pavlína Novoměstská -
Prostředí pro výuku podnikových informačních systémů ARIS: analýza možností a návrh vzorového kurzu
Filip Urbaník -
Efektivita inference ve fuzzy predikátové logice
Tomáš TURČEK -
Generování sad otázek z logiky pro odpovědníky IS MU
Petr Dvořák -
Web application for foreign vocabulary learning based on cross-lingual etymological linked data
Maxim Dužij