Počet záznamů: 1  

Časové operátory

  1. Údaje o názvuČasové operátory [rukopis] / Martin Pospíšil
    Další variantní názvyČasové operátory
    Osobní jméno Pospíšil, Martin (autor diplomové práce nebo disertace)
    Překl.názTense operators
    Vyd.údaje2016
    Fyz.popis41 s.
    PoznámkaOponent Ivan Chajda
    Ved. práce Michal Botur
    Dal.odpovědnost Chajda, Ivan, 1946- (oponent)
    Botur, Michal (vedoucí diplomové práce nebo disertace)
    Dal.odpovědnost Univerzita Palackého. Katedra algebry a geometrie (udelovatel akademické hodnosti)
    Klíč.slova Č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
    Forma, žánr diplomové práce master's theses
    MDT (043)378.2
    Země vyd.Česko
    Jazyk dok.čeština
    Druh dok.PUBLIKAČNÍ ČINNOST
    TitulMgr.
    Studijní programNavazující
    Studijní programMatematika
    Studijní oborDiskrétní matematika
    kniha

    kniha

    Kvalifikační práceStaženoVelikostdatum 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.

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.