Zpět na vyhledávání

Bc. Tomáš Richter

Bachelor's thesis

Nástroj pro interaktivní dokazování tvrzení o formálních jazycích

A Tool for Interactively Proving Properties of Formal Languages
Anotácia:
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 …viac
Abstract:
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 …viac
 

Kľúčové slová

formální jazyk formální gramatika Chomského hierarchie uzávěrová vlastnost teorie množin logika tvrzení dokazování přímý důkaz nepřímý důkaz důkaz sporem vyvracení odvozovací pravidlo protipříklad interaktivní aplikace JavaScript
 
Jazyk práce: Czech
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
  • Vedúci: RNDr. Martin Jonáš
  • Oponent: RNDr. Vladimír Štill

Citační záznam

Citovat tuto práci

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 informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Applied Informatics / Applied Informatics

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.
  • Žádné práce na příbuzné téma.