Vizualizace dokazování formulí výrokové logiky sémantickým tablem a rezolucí – Bc. Michael BAJER
Bc. Michael BAJER
Bachelor's thesis
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
Abstract:
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 …moreAbstract:
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 …more
Language used: Czech
Date on which the thesis was submitted / produced: 25. 6. 2009
Accessible from:: 25. 6. 2009
Thesis defence
- Date of defence: 18. 8. 2009
- Supervisor: RNDr. Marek Vajgl, Ph.D.
Citation record
ISO 690-compliant citation record:
BAJER, Michael. \textit{Vizualizace dokazování formulí výrokové logiky sémantickým tablem a rezolucí}. Online. Bachelor's thesis. Ostrava: University of Ostrava, Faculty of Science. 2009. Available from: https://theses.cz/id/54uvey/.
The right form of listing the thesis as a source quoted
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
Full text of thesis
Accessibility: Autor si přeje zpřístupnit práci veřejnosti od 25.6.2009
Contents of on-line thesis archive
Published in 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
Other ways of accessing the text
Institution archiving the thesis and making it accessible: OSTRAVSKÁ UNIVERZITA V OSTRAVĚ, Přírodovědecká fakultaUniversity of Ostrava
Faculty of ScienceBachelor programme / field:
Information Science / Information Science
Theses on a related topic
-
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Á