Vizualizace dokazování formulí výrokové logiky sémantickým tablem a rezolucí – Bc. Michael BAJER
Bc. Michael BAJER
Bakalářská práce
Vizualizace dokazování formulí výrokové logiky sémantickým tablem a rezolucí
Visualisation of deduction formulas of sententional calculis using semantic tableau resolution algorithm
Anotace:
Hlavním cílem práce bylo vytvořit aplikaci (povinně v VB.NET nebo C#.NET) implementující vizuální zobrazení postupu odvozování pravidel sémantického tabla a rezolučního algoritmu nad zadanou formulí výrokové logiky. Dále jsou zde popsány principy a formální postupy tvorby sémantického tabla a rezoluce. Při návrhu a tvorbě aplikace byl kladen důraz na tyto požadavky: ? Možnost zadání formule, množiny …víceAbstract:
The main objective of this work is to create an application (compulsory in VB.NET or C#. NET), which would show procedure for the derivation of semantic tabletu and resolution algorithm over a given formula of sententional calculus. There are also described principles and formal procedures for the creation of semantic table and resolution. During design and creation of application was placed emphasis …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 25. 6. 2009
Zveřejnit od: 25. 6. 2009
Obhajoba závěrečné práce
- Obhajoba proběhla 18. 8. 2009
- Vedoucí: RNDr. Marek Vajgl, Ph.D.
Citační záznam
Jak správně citovat práci
BAJER, Michael. Vizualizace dokazování formulí výrokové logiky sémantickým tablem a rezolucí. Ostrava, 2009. 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 25.6.2009
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou od 25. 6. 2009 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á fakultaOSTRAVSKÁ UNIVERZITA V OSTRAVĚ
Přírodovědecká fakultaBakalářský studijní program / obor:
Informatika / Informatika
Práce na příbuzné téma
-
Tvorba nástroje na editaci a export sémantického tabla pro formální logické systémy
Tomáš STUPKA -
Automatizovaná dedukce ve výrokové logice
Lukáš BURYAN -
Rezoluční princip v umělé inteligenci a logice
Silvie MACOSZKOVÁ