Number of the records: 1  

Vyhodnocení formulí výrokové logiky

  1. Title statementVyhodnocení formulí výrokové logiky [rukopis] / Lucie Šuráňová
    Additional Variant TitlesVyhodnocení formulí výrokové logiky
    Personal name Šuráňová, Lucie (dissertant)
    Translated titleEvaluation of formulas of propositional logic
    Issue data2016
    Phys.des.44 : tab.
    NoteVed. práce Miloslav Závodný
    Oponent Jana Burkotová
    Another responsib. Závodný, Miloslav, 1953- (thesis advisor)
    Burkotová, Jana (opponent)
    Another responsib. Univerzita Palackého. Katedra matematické analýzy a aplikací matematiky (degree grantor)
    Keywords 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
    Form, Genre bakalářské práce bachelor's theses
    UDC (043)378.22
    CountryČesko
    Languagečeština
    Document kindPUBLIKAČNÍ ČINNOST
    TitleBc.
    Degree programBakalářský
    Degree programAplikovaná matematika
    Degreee disciplineMatematika-ekonomie se zaměřením na bankovnictví / pojišťovnictví
    book

    book

    Kvalifikační práceDownloadedSizedatum zpřístupnění
    00194353-658307655.pdf15227.2 KB05.05.2016
    PosudekTyp posudku
    00194353-ved-744618766.pdfPosudek vedoucího
    00194353-opon-581885176.pdfPosudek 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.

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.