E-learningová podpora pro výuku sémantického ověřování platnosti logických úsudků – Jiří Novák
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íceAbstract:
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
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
Citace dle ISO 690:
NOVÁK, Jiří. \textit{E-learningová podpora pro výuku sémantického ověřování platnosti logických úsudků}. Online. Bakalářská práce. Ostrava: Vysoká škola báňská - Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky. 2009. Dostupné z: https://theses.cz/id/2uhifq/.
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 OstravaVysoká škola báňská - Technická univerzita Ostrava
Fakulta elektrotechniky a informatikyBakalářský studijní program / obor:
Informační technologie / Informatika a výpočetní technika
Práce na příbuzné téma
-
Aktualizace LMS Moodle modulu pro kurz Logika pro informatiky s interaktivními prvky výuky
Zuzana MICHÁLKOVÁ -
Komponenta výukového serveru TI - Predikátová logika
Michaela Lubyová -
Logika v dětské literatuře: Medvídek Pů
Dagmar KUČEROVÁ -
Predikátová a klauzulární logika
Juraj Paluš -
Predikátová logika 1. řádu a Hornovy klauzule
Martin Blahovský