Zpět na vyhledávání

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 …more
Abstract:
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
 

Keywords

výroková logika dobře utvořená formule sémantické tablo tablová pravidla rezoluce rezoluční odvozovací pravidlo klauzulární forma Setarez
 
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

Cite this text
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á fakulta
https://portal.osu.cz//StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=13032 Reference to the local database file of the institution

University of Ostrava

Faculty of Science

Bachelor programme / field:
Information Science / Information Science

Theses on a related topic

List of theses with an identical keyword.