Počet záznamů: 1
Vyhodnocení formulí výrokové logiky
Údaje o názvu Vyhodnocení formulí výrokové logiky [rukopis] / Lucie Šuráňová Další variantní názvy Vyhodnocení formulí výrokové logiky Osobní jméno Šuráňová, Lucie (autor diplomové práce nebo disertace) Překl.náz Evaluation of formulas of propositional logic Vyd.údaje 2016 Fyz.popis 44 : tab. Poznámka Ved. práce Miloslav Závodný Oponent Jana Burkotová Dal.odpovědnost Závodný, Miloslav, 1953- (vedoucí diplomové práce nebo disertace) Burkotová, Jana (oponent) Dal.odpovědnost Univerzita Palackého. Katedra matematické analýzy a aplikací matematiky (udelovatel akademické hodnosti) Klíč.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 * proposition * logical connectives * logical operators * well-formed formulas of propositional logic * expression tree * truth table * numerical evaluation of formulas * rules of replacement * tautologies * contradictions Forma, žánr bakalářské práce bachelor's theses MDT (043)378.22 Země vyd. Česko Jazyk dok. čeština Druh dok. PUBLIKAČNÍ ČINNOST Titul Bc. Studijní program Bakalářský Studijní program Aplikovaná matematika Studijní obor Matematika-ekonomie se zaměřením na bankovnictví / pojišťovnictví kniha
Kvalifikační práce Staženo Velikost datum zpřístupnění 00194353-658307655.pdf 15 227.2 KB 05.05.2016 Posudek Typ posudku 00194353-ved-744618766.pdf Posudek vedoucího 00194353-opon-581885176.pdf Posudek oponenta
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 aplikacím výrokové logiky a slovním úlohám, které lze prostřednictvím výrokové logiky snadno vyřešit.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 contains some examples of formulas that are evaluated using mentioned methods. The last charter deals with applications of propositional logic.
Počet záznamů: 1