Radim Vašíček

Diplomová práce

Rozhodnutelné podtřídy formulí predikátového počtu 1. řádu

Decidable Subclasses of Formulae of the 1st-order Predicate Calculus
Anotace:
Pro predikátovou logiku prvního řádu existují úplné a samozřejmě bezesporné důkazové kalkuly. Dle věty o úplnosti Kurta Gödela lze vyvinout kalkul (např. Hilbertův), ve kterém je každá logicky pravdivá formule dokazatelná a navíc (dle silnější verze věty o úplnosti), pokud daná formule logicky vyplývá ze zvolených axiomů, pak je z nich dokazatelná. Avšak neexistují kalkuly, ve kterých by bylo možno …více
Abstract:
Complete and, of course, indisputable proof calculi exist for the first-order predicate logic. By Kurt Gödel’s completeness theorem, a calculus (such as the Hilbert Calculus) with the following property can be developed: Each logical true formula is provable and (by the stronger version of the completeness theorem) if a given formula logically follows from given axioms, then it is provable from these …více
 
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 4. 5. 2012

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

  • Obhajoba proběhla 7. 6. 2012
  • Vedoucí: Marie Duží
  • Oponent: Marek Menšík

Citační záznam

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