Sémantické tablo jako formální procedura důkazu v logice – Milan ROŽŇÁK
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 …moreAbstract:
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
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
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á fakultaUniversity of Ostrava
Faculty of ScienceBachelor programme / field:
Applied Information Science / Applied Information Science
Theses on a related topic
- No theses on a related topic available.