Nástroj pro interaktivní dokazování tvrzení o formálních jazycích – Bc. Tomáš Richter
Bc. Tomáš Richter
Bakalářská práce
Nástroj pro interaktivní dokazování tvrzení o formálních jazycích
A Tool for Interactively Proving Properties of Formal Languages
Anotace:
Cílem práce bylo navrhnout a implementovat výukovou pomůcku,která studentům umožní dokazovat a vyvracet tvrzení o formálních jazycích. Zadávání úloh, tvoření důkazu a ověření správnosti důkazu probíhá z pohledu uživatele interaktivně. Ke kontrole důkazu se využívají uzávěrové vlastnosti, známé inkluze a odvozovací pravidla, která využívají poznatků z teorie množin a z teorie formálních jazyků. Pro …víceAbstract:
The goal of the thesis was to design and implement a learning tool that can be used by students for proving and disproving properties of formal languages. Entering tasks, creating proof and checking validity of the proof is interactive for users. Closure properties, known inclusions and inference rules that use knowledge from set theory and the theory of formal languages are used for checking proof …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 25. 5. 2017
Identifikátor:
https://is.muni.cz/th/an2us/
Obhajoba závěrečné práce
- Obhajoba proběhla 27. 6. 2017
- Vedoucí: RNDr. Martin Jonáš
- Oponent: RNDr. Vladimír Štill
Citační záznam
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.