Zpět na vyhledávání

Jiří Novák

Bakalářská práce

E-learningová podpora pro výuku sémantického ověřování platnosti logických úsudků

E-learning support for sematic prove methods
Anotace:
Práce shrnuje důkazové metody predikátové logiky. Definuje abecedu agramatiku predikátové logiky. Převod z přirozeného jazyka. Dále interpretaci formulía příklady důkazových metod – syntaktických a sémantických. Důraz je kladen naAristotelovu logiku, sylogismy a dokazování platnosti Aristotelových sylogismůpomocí Vennových diagramů. Součástí práce je aplikace, která umožňujevyhodnocování Aristotelových …více
Abstract:
The project summarizes the methods of the predicative logic. The alphabetand grammar of the predicative logic are defined there. Transformation from naturallanguage. The interpretation of formulas and some examples of methods that havebeen proved – both syntax and semantic. Aristotel’s logic is emphasized there.Syllogism and to prove Aristotle’s syllogisms due to Venn’s diagrams. The part of theproject …více
 

Keywords

predikátová logika PL1 Aristotelova logika sylogismy Vennovy diagramy sémantické tablo rezoluční metoda relační struktury predicative logic Aristotel’s logic syllogism Venn diagram semantictablo resolution metod relational structure
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 2009
Identifikátor: http://hdl.handle.net/10084/74163

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

  • 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: Vysoká škola báňská - Technická univerzita Ostrava

Vysoká škola báňská - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Bakalářský studijní program / obor:
Informační technologie / Informatika a výpočetní technika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.