Zpět na vyhledávání

Jozef Straka

Master's thesis

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

TIL as a Specification Language for PL1 Inferences
Abstract:
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 …more
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 …more
 

Keywords

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.
 
Language used: Czech
Date on which the thesis was submitted / produced: 6. 5. 2011
Identifier: http://hdl.handle.net/10084/89515

Thesis defence

  • Date of defence: 7. 6. 2011
  • Supervisor: Marek Menšík
  • Reader: Martina Číhalová

Citation record

Cite this text

Full text of thesis

Accessibility: 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.

Contents of on-line thesis archive
Published in Theses:
  • autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: VŠB - Technická univerzita Ostrava

VŠB - Technical University of Ostrava

Fakulta elektrotechniky a informatiky

Master programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika

Theses on a related topic

List of theses with an identical keyword.