Juraj Paluš

Bakalářská práce

Predikátová a klauzulární logika

Predicate and Clausal Logic
Anotace:
Táto bakalárska práca sa zaoberá najmä predikátovou logikou prvého radu, klauzulárnou logikou a logickým programovaním. Cieľom tejto práce bolo dôkladne popísať vzťahy medzi týmito elementmi, navrhnúť a implementovať aplikáciu ktorá by bola schopná previesť formulu z predikátovej logiky prvého radu do klauzulárnej logiky a zároveň by aplikácia bolo schopná využiť všeobecnú rezolučnú metódu, ktorá je …více
Abstract:
This bachelor thesis deals with first order logic, clausal logic and logic programming. Purpose of this thesis is thoroughly describe relations between this elements, design and implement application who will be able to convert formula from first order logic to clausal logic and use general resolution method, who is a import part of logical programming.
 

Klíčová slova

Predikátová logika prvého radu Klauzulárna logika Prolog Všeobecná rezolučná metóda

Keywords

First order logic Clausal logic Prolog General resolution method
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 7. 5. 2014
Identifikátor: http://hdl.handle.net/10084/108817

Obhajoba závěrečné práce

  • Obhajoba proběhla 3. 6. 2014
  • Vedoucí: Lukáš Vích
  • Oponent: Jakub Macek

Citační záznam

Citovat tuto práci

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 Ostrava

VŠB - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Bakalářský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.