Jozef Straka

Diplomová práce

TIL jakožto specifikační jazyk pro inference v PL1.

TIL as a Specification Language for PL1 Inferences
Anotace:
Táto diplomová práca sa snaží využiť silu, ktorou oplýva Transparentná intenzionálna logika, pri overovaní správnosti úsudkov. Práca sa zaoberá prevodom konštrukcií z Transparentnej intenzionálnej logiky do predikátovej logiky prvého radu. Cieľom práce bolo navrhnúť a implementovať inferenčný stroj, pre overovanie platnosti úsudkov v predikátovej logike prvého radu s využitím Transparentnej intenzionálnej …více
Abstract:
This thesis seeks to use the strength of Transparent intensional logic, to verify the accuracy of judgments. This work deals with the transfer of structures from transparent intensional logic into the first order predicate logic. The goal was to design and implement an inference machine for verifying the validity of judgments in the first order predicate logic with the use of transparent intensional …více
 

Klíčová slova

Transparentná intenzionálna logika Predikátová logika prvého radu TIL-Script Obecná rezolučná metóda.

Keywords

Transparent intensional logic First order predicate logic TIL-Script General resolution method.
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 6. 5. 2011
Identifikátor: http://hdl.handle.net/10084/89515

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

  • Obhajoba proběhla 7. 6. 2011
  • Vedoucí: Marek Menšík
  • Oponent: Martina Číhalová

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.