Návrh algoritmu pro rozhodování vybraných podtříd predikátové logiky 1. řádu – Daniel Šudřich
Daniel Šudřich
Master's thesis
Návrh algoritmu pro rozhodování vybraných podtříd predikátové logiky 1. řádu
Algoritm Deciding Delected Subclasses of First-order Predicate Logic Formulas
Anotácia:
Problémem v predikátové logice je, že logická pravdivost formulí je nerozhodnutelná. To znamená, že neexistuje všeobecný algoritmus, který by vždy s absolutní jistotou rozhodnul, zda je daná formule predikátové logiky tautologie, kontradikce nebo jen splnitelná. Avšak existují velké oblasti, kde tento problém je úspěšně zvládnutý a těmi jsou rozhodnutelné podtřídy. Tyto podtřídy byly diplomovou prací …viacAbstract:
The problem in predicate logic is that the logical truthfulness of formulas is undecidable. This means that there is no general algorithm that should always be decided with absolute certainty whether a given formula of predicate logic tautology, contradiction or only achievable. However, there are large areas where the problem is successfully mastered and those are decidable subclasses. These subclasses …viac
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 29. 4. 2016
Identifikátor:
http://hdl.handle.net/10084/119225
Obhajoba závěrečné práce
- Obhajoba proběhla 6. 6. 2017
- Vedúci: Marie Duží
- Oponent: Marek Menšík
Citační záznam
Citace dle ISO 690:
ŠUDŘICH, Daniel. \textit{Návrh algoritmu pro rozhodování vybraných podtříd predikátové logiky 1. řádu}. Online. Diplomová práca. Ostrava: Vysoká škola báňská - Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky. 2016. Dostupné z: https://theses.cz/id/md7ulw/.
Plný text práce
Právo: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: VŠB - Technická univerzita OstravaVŠB - Technical University of Ostrava
Fakulta elektrotechniky a informatikyMaster programme / odbor:
Informační a komunikační technologie / Informatika a výpočetní technika
Práce na příbuzné téma
-
Predikátová logika 1. řádu a Hornovy klauzule
Martin Blahovský -
Metrika podobnosti formalizací v PL1
Lukáš Vích -
Rozhodnutelné podtřídy formulí predikátového počtu 1. řádu
Radim Vašíček -
3D vizualizace modelů v PL1
Vladimír Matějičný -
Rozhodnutelné podtřídy formulí predikátového počtu 1. řádu
Radim Vašíček -
E-learningová podpora výuky obecné rezoluční metody.
Radek Daníšek -
Experimental evaluation of heuristic improvements of the Bellman-Ford algorithm
Šimon Soták -
A Hybrid Book Recommender System Utilizing Diverse-Item Selection Algorithm
Martin Balucha