Diplomová práce

Kapitoly z matematické logiky pro učitele

Chapters from mathematical logic for teachers

Bc. Marika Kaňová
Anotace

V této diplomové práci se věnujeme výrokové logice, stavbě formulí a jejich pravdivostní hodnotě. Každá ze tří kapitol je uzavřena řešenými příklady na dané téma. První z kapitol se věnuje syntaxi výrokových formulí, druhá jejich sémantice a třetí booleovským funkcím.

Abstract

In this thesis we study statement logic, structure of formulas and their truth value. Each of three chapters is concluded with set of solved problems. First chapter deals with syntax of statement formulas, second one is about semantics of those formulas and third one about their connection with boolean functions.

Klíčová slova
Výroková logika Syntaxe výrokové logiky Sémantika výrokové logiky Booleovské funkce Prefixová notace
Zadání práce
Cílem diplomové práce bude vytvořit hlubší text o matematické logice, s jejímiž základy se seznamují žáci středních škol. Důraz bude kladen na ilustrující řešené příklady. Výstupem tak bude doplňkový učební materiál pro středoškolské učitele, který jim může poskytnout žádaný nadhled v dané oblasti matematiky.
Administrativní informace
Práce zkontrolována:
4. 1. 2024 10:31, doc. RNDr. Jaromír Šimša, CSc., učo 647
Plný text práce
587,7 KB / soubor PDF
Jazyk práce
čeština čeština
Termín obhajoby
13. 2. 2024
Práce byla úspěšně obhájena

Vedoucí

doc. RNDr. Jaromír Šimša, CSc., učo 647
ÚMS Ústavy PřF MU

Oponent

RNDr. Pavel Šišma, Dr., učo 32593
ÚMS Ústavy PřF MU

Literatura

  • ŠTĚPÁNEK, Petr. Matematická logika. Vyd. 1. Praha: Státní pedagogické nakladatelství, 1982, 281 s.
  • FUCHS, Eduard. Logika a teorie množin (Úvod do oboru). 1. vyd. Brno: UJEP Brno, 1978, 175 s.
Citovat tuto práci
Masarykova univerzita Přírodovědecká fakulta
Studijní program
Plán
Učitelství matematiky pro střední školy

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.