Martin Blahovský

Bakalářská práce

Výukový systém pro Aristotelovu logiku

System for Aristotelian Logic
Anotace:
Tato bakalářská práce popisuje důkazové metody predikátové logiky prvního řádu. Definuje abecedu a gramatiku predikátové logiky a převod z přirozeného jazyka do jazyka predikátové logiky. Interpretuje formule a jazyk a shrnuje dokazovací metody – syntaktické i sémantické. Především je kladen důraz na dokazování platnosti Aristotelových sylogismů pomocí Vennových diagramů. Hlavní součástí bakalářské …více
Abstract:
This bachelor thesis describes the methods of the first order predicate logic. It defines an alphabet and a grammar of the predicate logic and a transformation from natural language to the language of a predicate logic. It interprets formulas and language and summarizes methods that have been proved – syntax and semantics. The main emphasis is placed on proving Aristotelian syllogisms according to …více
 

Klíčová slova

Aristotelova logika predikátová logika PL1 sylogismus rezoluční metoda sémantické tablo Vennovy diagramy relační struktury

Keywords

Aristotelian logic predicate logic PL1 syllogism resolution method semantic tablo Venn´s diagrams relational structure
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 4. 5. 2012
Identifikátor: http://hdl.handle.net/10084/93112

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

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

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.
Všechny práce