Matematická logika ve výuce na středních školách

Bc. Marika Kaňová

Bakalářská práce

Mathematical logic in high-school teaching

Anotace:

V této bakalářské práci se věnujeme logice jakožto učivu středních škol. Probíráme zde historii logiky jako vědy, rozdíly mezi formální a neformální logikou, zabýváme se také argumentací a pochopitelně také výrokovou logikou. Tedy výroky jednoduchými nebo složenými, jejich negacemi, spojeními a kvantifikacemi. Ve druhé části textu předkládáme příklady na procvičení učiva z výrokové logiky, to znamená úlohy na rozeznání výroku, jejich formální zápis, tabulky pravdivostních hodnot a s tím související úsudky o pravdivosti výroku. V poslední sekci se věnujeme netradičním příkladům, které nezapadají do osnov, zejména různé logické hádanky a úlohy z matematických olympiád.

Abstract:

In this thesis we study logic as a subject of teaching in secondary schools. We discuss history of logic as a science, differences between formal and informal logic, we also deal with argumentation and proposional calculus as well. Namely, with simple and compound propositions, its negations, combining and quantifications. In the second part of this text we submit exercises to practice propositional calculus which means tasks of identifying the predicaments, their symbolical expression, truth tables and related assession of the truth value of those predicaments. In the last part we pursue unconventional problems, which are not included in the curriculum, especially logical riddles or tasks included in mathematical olympiads.

Klíčová slova

Sbírka příkladu, Matematická logika, Neformální logika, Výroková logika, Výrok, Logické spojky, Exercise collection, Mathematical logic, Informal logic, Proposional calculus, Predicament, Logical couplings

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 22. 5. 2020

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

• Obhajoba proběhla 8. 7. 2020
• Vedoucí: doc. RNDr. Jaromír Šimša, CSc.
• Oponent: RNDr. Petra Bušková

Masarykova univerzita

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Matematika / Matematika se zaměřením na vzdělávání