Bakalářská práce

Booleova algebra a její modely

Boolean algebra and its models

Patricie Plesníková
Anotace

Bakalářská práce Booleova algebra a její modely se zaměřuje na problematiku Booleovy algebry, jejích modelů a využití této problematiky v praxi v tzv. Booleovském počítání. Práce může sloužit jako shrnutí oblastí, kterými jsou množiny a Vennovy diagramy, výroková logika, operace na množinách a jejich vlastnosti a samotná Booleova algebra, pro studenty gymnázií a vysokých škol. Bakalářská práce nabízí …více

Abstract

The bachelor thesis Boolean algebra and its models focuses on matters of Boolean algebra, its models and usage of this issue in practice in so-called Boolean numeration. The thesis can be used as a summary of areas such as sets, Venn´s diagrams, propositional logic, sets operations and their properties and Boolean algebra itself, for students of grammar schools and universities. The bachelor thesis …více

Klíčová slova
Booleova algebra Booleovské počítání množina Vennův diagram průnik sjednocení doplněk výroková logika výrok výroková formule logické spojky tautologie kartézský součin množin binární operace unární operace princip duality množinová algebra algebra pravdivostních hodnot Boolean algebra Boolean numeration set Venn’s diagram intersection unification cofactor propositional logic predicament propositional formula logical couplings tautology Cartesian product of sets binary operation unary operation duality principle set algebra truth value algebra
Zadání práce
Vymezení řešené problematiky a základních pojmů (dle tématu práce) – Cílem bakalářské práce je shrnutí základních pojmů, které se týkají Booleovy algebry, množin, výroků a operací, pomocí nichž lze zjednodušit zápisy množin, které by jinak nebylo možné zakreslit do Vennových diagramů. 2. Shrnutí dosavadního stavu řešení nebo poznání (stručná rešerše, východisko pro cíl práce, formulace výzkumných problémů apod.) - bude upřesněno na konzultaci s vedoucím práce 3. Cíl práce – Cílem práce je seznámit čtenáře s problematikou Booleovy algebry a pomocí axiomů a vět zjednodušit zápisy složitých množin. 4. Pracovní postup (přístup k řešení, metody, techniky, nástroje apod.) – Práce se bude skládat z časti teoretické a praktické. V teoretické části budou vysvětleny základní pojmy a v praktické části pak řešeny příklady.
Administrativní informace
Práce zkontrolována:
3. 4. 2019 10:34, doc. RNDr. Jaroslav Beránek, CSc., učo 2311
Plný text práce
1,5 MB / soubor PDF
Jazyk práce
čeština čeština
Termín obhajoby
21. 5. 2019
Práce byla úspěšně obhájena

Vedoucí

doc. RNDr. Jaroslav Beránek, CSc., učo 2311
KM PdF MU

Oponent

RNDr. Břetislav Fajmon, Ph.D., učo 25162
KM PdF MU

Literatura

  • ODVÁRKO, Oldřich. Booleova algebra. 1. vyd. Praha: Mladá fronta, 1973, 115 s.
Citovat tuto práci
Masarykova univerzita Pedagogická fakulta
Studijní program
Specializace v pedagogice
Obor

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.