Lucie ŠURÁŇOVÁ

Bakalářská práce

Vyhodnocení formulí výrokové logiky

Evaluation of formulas of propositional logic
Anotace:
Práce je zaměřena na různé metody vyhodnocování formulí klasické výrokové logiky. Kromě klasické tabulkové metody bude ukázáno, jak lze s formulemi pracovat analogicky jako s algebraickými výrazy. První kapitola pojednává o vybraných termínech výrokové logiky, jejichž znalost je pro vyhodnocování nezbytná. Druhá kapitola se zabývá různými metodami vyhodnocování formulí. Poslední kapitola je věnována …více
Abstract:
Bachelor's thesis focuses on various methods of evaluation formulas of classical propositional logic. To evaluate formulas of classical propositional logic will be used the following methods: expression tree, truth table, numerical evaluation of formulas, rules of replacement. The first chapter describes the terms of propositional logic, whose knowledge is very important to evaluations. The next charter …více
 

Klíčová slova

výrok výrokové spojky logické funkce formule výrokové logiky formační strom tabulka pravdivostních hodnot numerické vyhodnocování formule věta o nahrazení tautologie kontradikce splnitelná formule
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 5. 5. 2016
Zveřejnit od: 5. 5. 2016

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

  • Obhajoba proběhla 1. 6. 2016
  • Vedoucí: RNDr. Miloslav Závodný

Citační záznam

Citovat tuto práci
Jak správně citovat práci

ŠURÁŇOVÁ, Lucie. Vyhodnocení formulí výrokové logiky. Olomouc, 2016. bakalářská práce (Bc.). UNIVERZITA PALACKÉHO V OLOMOUCI. Přírodovědecká fakulta

Plný text práce

Právo: Autor si přeje zpřístupnit práci veřejnosti od 5.5.2016

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • Soubory jsou od 5. 5. 2016 dostupné: světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: UNIVERZITA PALACKÉHO V OLOMOUCI, Přírodovědecká fakulta
https://portal.upol.cz/wps/PA_StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=194353 Odkaz na soubor do lokálního úložiště instituce

UNIVERZITA PALACKÉHO V OLOMOUCI

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Aplikovaná matematika / Matematika-ekonomie se zaměřením na bankovnictví/pojišťovnictví

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

Seznam prací, které mají shodná klíčová slova.
 
Název
Vložil
Vloženo
Práva
Theses qju05s qju05s/2
1. 6. 2016
Složky
Soubory
thesis Bakalarska-prace.pdf
MARKLOVÁ, E.
2. 6. 2016

  • Co je jinak přidání souboru

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

  • Co je jinak další operace se soubory

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

  • Co je jinak pohled pro experty

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

  • Co je nové vyhledávání souborů

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

  • Co je nové 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.

  • Co se chystá

    Připravujeme další vylepšení pro mobilní zařízení.