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

Bc. Marika Kaňová

Bachelor's thesis

Mathematical logic in high-school teaching

Anotácia:

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.

Kľúčové slová

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: Czech

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
• Vedúci: doc. RNDr. Jaromír Šimša, CSc.
• Oponent: RNDr. Petra Bušková

Masaryk University

Faculty of Science

Bachelor programme / odbor:
Mathematics / Mathematics with a view to Education