Nástroj na podporu výučby rezolučnej metódy – Magdaléna Majáková
Magdaléna Majáková
Bachelor's thesis
Nástroj na podporu výučby rezolučnej metódy
A Tool for Supporting the Resolution Method Teaching
Anotácia:
Cieľom mojej bakalárskej práce je vytvoriť nástroj pre overovanie platnosti úsudkov pomocou rezolučnej metódy vo výrokovej logike a v predikátovej logike prvého rádu. Tento nástroj má formu webovej aplikácie, ktoré reaguje na vstup od užívateľa a pri jeho správnom zadaní vráti správny výsledok spolu s postupom. K správnemu vstupu bude užívateľa navigovať zobrazená nápoveda a zoznam pravidiel. Prvá …viacAbstract:
The goal of this thesis is to create a tool for verifying the validity of judgements in propositional logic and first-order predicate logic using the resolution method. This tool takes the form of a web application that respondsa to user input and when entered correctly, returns the correct result along with the procedure. The first part of this work will introduce the theory of propositional logic …viac
Jazyk práce: Slovak
Datum vytvoření / odevzdání či podání práce: 30. 4. 2022
Identifikátor:
http://hdl.handle.net/10084/147510
Obhajoba závěrečné práce
- Obhajoba proběhla 30. 5. 2022
- Vedúci: Marek Menšík
- Oponent: Adam Albert
Citační záznam
Citace dle ISO 690:
MAJÁKOVÁ, Magdaléna. \textit{Nástroj na podporu výučby rezolučnej metódy}. Online. Bakalárska práca. Ostrava: Vysoká škola báňská - Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky. 2022. Dostupné z: https://theses.cz/id/lziifx/.
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 OstravaVSB – Technical University of Ostrava
Fakulta elektrotechniky a informatikyBachelor programme:
Informatika