Tvorba nástroje na editaci a export sémantického tabla pro formální logické systémy – Mgr. Tomáš STUPKA
Mgr. Tomáš STUPKA
Bachelor's thesis
Tvorba nástroje na editaci a export sémantického tabla pro formální logické systémy
Development of tool for editing and export of semantic tableau algorithm in formal logic systems
Anotácia:
Cílem této bakalářské práce je vytvořit nástroj pro zpracování sémantického tabla logické formule s možnostmi exportu do různých grafických formátů a uložení či otevření zpracované formule. Práce je rozdělena do dvou částí, na teoretickou a praktickou část. V teoretické části autor popisuje logické systémy, jejichž formule je nástroj schopen zpracovávat, jimiž jsou predikátová a deskripční logika, …viacAbstract:
The aim of this bachelor thesis is to create a tool for processing the semantic tableau algorithm with possibility to export results into various graphic formats and to save or load currently worked formula. The work is divided into two parts, theoretical and practical part. In the theoretical part, author focuses on describing logic system tableau can work with. These systems are predicate and description …viac
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 21. 4. 2011
Zverejniť od: 21. 4. 2011
Obhajoba závěrečné práce
- Obhajoba proběhla 30. 5. 2011
- Vedúci: RNDr. Marek Vajgl, Ph.D.
Citační záznam
Jak správně citovat práci
STUPKA, Tomáš. Tvorba nástroje na editaci a export sémantického tabla pro formální logické systémy. Ostrava, 2011. bakalářská práce (Bc.). OSTRAVSKÁ UNIVERZITA V OSTRAVĚ. Přírodovědecká fakulta
Plný text práce
Právo: Autor si přeje zpřístupnit práci veřejnosti od 21.4.2011
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou od 21. 4. 2011 dostupné: autentizovaným zaměstnancům ze stejné školy/fakulty, autentizovaným studentům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakultaUniversity of Ostrava
Faculty of ScienceBachelor programme / odbor:
Information Science / Information Science
Práce na příbuzné téma
-
Efektivita inference ve fuzzy deskripční logice
Radek JENDRYŠČÍK -
Vizualizace dokazování formulí výrokové logiky sémantickým tablem a rezolucí
Michael BAJER -
Sémantické tablo jako formální procedura důkazu v logice
Milan ROŽŇÁK -
Vizualizace dokazování formulí výrokové logiky sémantickým tablem a rezolucí
Michael BAJER -
E-learningová podpora pro výuku sémantického ověřování platnosti logických úsudků
Jiří Novák