Zpět na vyhledávání

Jiří Novák

Bachelor's thesis

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

E-learning support for sematic prove methods
Abstract:
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 …more
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 …more
 

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

Thesis defence

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

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

Fakulta elektrotechniky a informatiky

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

Theses on a related topic

List of theses with an identical keyword.