Zpět na vyhledávání

Martin Blahovský

Diplomová práce

Predikátová logika 1. řádu a Hornovy klauzule

First Order Predicate Logic and Horn Clauses
Anotace:
Diplomová práce popisuje základní charakteristiku predikátové logiky 1. řádu a řeší problematiku převodu formulí z PL1 na Hornovy klausule. Je definována abeceda a gramatika predikátové logiky. Práce interpretuje formule a jazyk a shrnuje dokazovací metody. Především je kladen důraz na ověřování platnosti úsudků pomocí obecné rezoluční metody. Dále je popsána syntaxe programovacího jazyka Prolog a …více
Abstract:
This Thesis describes basic characteristic of the first order predicate logic and solves issue of formulas transfer from PL1 to Horn clauses. It defines an alphabet and grammar of predicate logic. The Thesis interprets formulas and language and summarizes deductive methods. Primarily, the emphasis is placed on verifying the argument validity by using the general resolution method. It also describes …více
 

Klíčová slova

Predikátová logika 1. řádu PL1 rezoluční metoda Hornovy klausule Prolog stromová struktura formule

Keywords

First order predicate logic PL1 resolution method Horn clause Prolog tree structure of the formula
 
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/103857

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

  • Obhajoba proběhla 11. 6. 2014
  • Vedoucí: Marek Menšík
  • Oponent: Lukáš Vích

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

Magisterský 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.