Mgr. Matej Kollár

Bakalářská práce

Formální manipulace s odvozovacími systémy

Formal manipulation with derivation systems
Abstract:
This work designs and implements tool for formal manipulations with derivation systems. The tool provides ability to describe derivation system, add and change inference rules and axioms, supports various forms of judgments and verifies correctness of inference.
Abstract:
V práci je navrhnutý a implementovaný nástroj pre formálne manipulácie s odvodzovacími systémami. Umožňuje popísať odvodzovací systém, pridávať a meniť odvodzovacie pravidlá a axiómy, podporuje rôzne tvary úsudkov a dokáže overiť správnosť odvodení.
 

Klíčová slova

odvodzovací systém teória odvodenie dôkaz
 
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 25. 5. 2009
Identifikátor: https://is.muni.cz/th/dqm9v/

Obhajoba závěrečné práce

  • Obhajoba proběhla 24. 6. 2009
  • Vedoucí: RNDr. Libor Škarvada
  • Oponent: Ing. Ondřej Ryšavý

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

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Informatika

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

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