Sémantické tablo jako formální procedura důkazu v logice – Milan ROŽŇÁK
Milan ROŽŇÁK
Bakalářská práce
Sémantické tablo jako formální procedura důkazu v logice
Semantic tableau as a formal procedure of proof in logic
Anotace:
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 …víceAbstract:
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 …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 22. 4. 2013
Zveřejnit od: 22. 4. 2013
Obhajoba závěrečné práce
- Vedoucí: RNDr. Martin Kotyrba, Ph.D.
Citační záznam
Jak správně citovat práci
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
Plný text práce
Právo: Autor si přeje zpřístupnit práci veřejnosti od 22.4.2013
Obsah online archivu závěrečné práce
Zveřejněno v 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
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:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
- Žádné práce na příbuzné téma.