Automatická kontrola rezolučních důkazů – Bc. Štefan Jurčo
Bc. Štefan Jurčo
Bakalářská práce
Automatická kontrola rezolučních důkazů
Automatic correction of resolution proofs
Abstract:
Bachelor thesis builds on thesis "Web-base tool for input of resolution proofs" written by Patrik Vrábel. Useing database of resolution proofs which was created as a result of testing students using web interface developed by Patrik Vrábel for his thesis and improved by Jan Marek in his thesis "A tool for interactive construction of tableau proofs". Developed application exports data from database …víceAbstract:
Táto práca nadväzuje na prácu Patrika Vrábela "Webové prostredie pre vstup rezolučných dôkazov". Využíva databázu rezolučných dôkazov, ktorá vzniká ako výsledok testovania študentov pomocou webového rozhrania, ktoré navrhol a implementoval Patrik Vrábel vo svojej diplomovej práci a upravil Jan Marek v práci "Nástroj pre interaktívnu konštrukciu tablových dôkazov". Nástroj vytvorený pre túto prácu exportuje …více
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 19. 5. 2014
Identifikátor:
https://is.muni.cz/th/uptii/
Obhajoba závěrečné práce
- Obhajoba proběhla 18. 6. 2014
- Vedoucí: Mgr. Eva Mráková, Ph.D.
- Oponent: RNDr. Karel Vaculík
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
- Žádné práce na příbuzné téma.