Výukový systém pro Aristotelovu logiku – Martin Blahovský
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íceAbstract:
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
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
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 OstravaVŠB - Technická univerzita Ostrava
Fakulta elektrotechniky a informatikyBakalářský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika
Práce na příbuzné téma
-
E-learningová podpora pro výuku sémantického ověřování platnosti logických úsudků
Jiří Novák -
Rezoluční princip v umělé inteligenci a logice
Silvie MACOSZKOVÁ -
Nástroj na podporu výučby rezolučnej metódy
Magdaléna Majáková -
Vizualizace dokazování formulí výrokové logiky sémantickým tablem a rezolucí
Michael BAJER -
E-learningová podpora pro výuku sémantického ověřování platnosti logických úsudků
Jiří Novák -
THE RECONSTRUCTION OF A. N. PRIOR'S ONTOLOGY
Zuzana RYBAŘÍKOVÁ -
Syntéza a optimalizace polymorfních obvodů
Adam Crha -
E-learningová podpora pro výuku sémantického ověřování platnosti logických úsudků
Jiří Novák