Number of the records: 1  

Časové operátory

  1. Title statementČasové operátory [rukopis] / Martin Pospíšil
    Additional Variant TitlesČasové operátory
    Personal name Pospíšil, Martin (dissertant)
    Translated titleTense operators
    Issue data2016
    Phys.des.41 s.
    NoteOponent Ivan Chajda
    Ved. práce Michal Botur
    Another responsib. Chajda, Ivan, 1946- (opponent)
    Botur, Michal (thesis advisor)
    Another responsib. Univerzita Palackého. Katedra algebry a geometrie (degree grantor)
    Keywords Časové operátory * tense operátory * Booleovy algebra * Booleovy algebry * tense Booleova algebra * tense Booleovy algebry * časová logika * tense logika * tense operátory * konstrukce časových operátorů * konstrukce tense operátorů * reprezentační věta * MV-algebra * MV-algebry * MV-term * MV-termy * dyadická čísla * tense MV-algebra * tense MV-algebry * svaz * svazy * základní pojmy * faktorizace * faktorová algebra * direktní součin * subdirektní součin * Tense operators * Boolean algebra * Boolean algebras * tense Boolean algebra * tense Boolean algebras * tense logic * construction of the tense operators
    construction of the tense operators * representation theorem * MV-algebra * MV-algebras * MV-term * MV-terms * dyadic numbers * tense MV-algebra * tense MV-algebras * lattice * lattices * basic concepts * factorization * factor algebra * direct product * subdirect product
    Form, Genre diplomové práce master's theses
    UDC (043)378.2
    CountryČesko
    Languagečeština
    Document kindPUBLIKAČNÍ ČINNOST
    TitleMgr.
    Degree programNavazující
    Degree programMatematika
    Degreee disciplineDiskrétní matematika
    book

    book

    Kvalifikační práceDownloadedSizedatum zpřístupnění
    00200596-333642633.pdf20420.8 KB29.06.2016
    PosudekTyp posudku
    00200596-ved-902107267.pdfPosudek vedoucího
    00200596-opon-621045649.pdfPosudek oponenta

    V této diplomové práci je shrnuto několik přístupů k zavedení operátorů modelujících časovou škálu nebo časy do klasických i neklasických logik a prezentace reprezentačních vět pro tzv. tense Booleovy algebry a tense MV-algebry. V úvodu je čtenář seznámen se základními pojmy, tense logikou a tense operátory. Následně je popsáno zavedení tense Booleových algeber a představeny reprezentační věty pro tense Booleovy algebry. Poté je čtenář seznámen se základními pojmy týkající se MV-algeber a dyadickými čísly. Všechny získané poznatky jsou následně využity pro zavedení tense MV-algeber včetně formulace reprezentační věty pro tense MV-algebry společně s důkazy. Nakonec je uvedeno několik základních vlastností, týkajících se vztahů tense operátorů a relací.In this final thesis there is summarized several approaches to introduction to operators which models time scale or times to classical and nonclassical logic and presentation of representation sentences for tense Boolean algebras and tense MV-algebras. Firstly, in the final thesis there is an introduction to basic concepts, tense logic and tense operators. Subsequently there are described tense Boolean algebras and presented representation theorems for tense Boolean algebras. After that, the reader is introduced to basic concepts of MV-algebras and dyadic numbers. All gained knowledge are used for presentation of the tense MV-algebras and representation theorem for tense MV-algebras together with the proofs. In conclusion there are described some basic properties between tense operators and relations.

Number of the records: 1  

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