Martin Blahovský
Bachelor's thesis
Výukový systém pro Aristotelovu logiku
System for Aristotelian Logic
Abstract:
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é …moreAbstract:
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 …more
Language used: Czech
Date on which the thesis was submitted / produced: 4. 5. 2012
Identifier:
http://hdl.handle.net/10084/93112
Thesis defence
- Date of defence: 29. 5. 2012
- Supervisor: Marek Menšík
- Reader: Marie Duží
Citation record
ISO 690-compliant citation record:
BLAHOVSKÝ, Martin. \textit{Výukový systém pro Aristotelovu logiku}. Online. Bachelor's thesis. Ostrava: VŠB - Technical University of Ostrava, Fakulta elektrotechniky a informatiky. 2012. Available from: https://theses.cz/id/k4u2n4/.
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: VŠB - Technická univerzita OstravaVŠB - Technical University of Ostrava
Fakulta elektrotechniky a informatikyBachelor programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika
Theses on a related topic
-
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