Zpět na vyhledávání

Milan ROŽŇÁK

Bachelor's thesis

Sémantické tablo jako formální procedura důkazu v logice

Semantic tableau as a formal procedure of proof in logic
Abstract:
V této práci jsou zkoumány dvě odlišné koncepce realizace rozhodovacího algoritmu, a sice sémantického tabla. Analyzuji zde charakteristiky obou přístupů ke konstrukci algoritmu z hlediska přívětivosti pro uživatele a na základě patřičně zvolených kritérií se snažím o konstatování jejich možných výhod a nevýhod v rámci základní báze rozhodovacích procesů. Cílem této práce je poukázat na přednosti a …more
Abstract:
In this thesis are researched two different conceptions of decision algorithm in this thesis, namely semantic tableau. I am analyzing the characteristics of both approaches to the construction of the algorithm in terms of user-friendliness there and I am trying to state their possible advantages and disadvantages within base of desision. The aim of this thesis is to highlight the advantages and drawbacks …more
 

Keywords

logika sémantické tablo normální formy splnitelnost tautologie logický důsledek
 
Language used: Czech
Date on which the thesis was submitted / produced: 22. 4. 2013
Accessible from:: 22. 4. 2013

Thesis defence

  • Supervisor: RNDr. Martin Kotyrba, Ph.D.

Citation record

Cite this text
The right form of listing the thesis as a source quoted

ROŽŇÁK, Milan. Sémantické tablo jako formální procedura důkazu v logice. Ostrava, 2013. 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 22.4.2013

Contents of on-line thesis archive
Published in Theses:
  • Soubory jsou od 22. 4. 2013 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=29325 Reference to the local database file of the institution

University of Ostrava

Faculty of Science

Bachelor programme / field:
Applied Information Science / Applied Information Science

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.