Počet záznamů: 1  

MV-algebras

  1. Údaje o názvuMV-algebras [rukopis] / Martin Broušek
    Další variantní názvyMV-algebry
    Osobní jméno Broušek, Martin (autor diplomové práce nebo disertace)
    Překl.názMV-algebras
    Vyd.údaje2015
    Fyz.popis37 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 MV-algebry * l-grupy * Mundiciho funktor * representační věty * standardní MV-algebra * Changova reprezentace * MV-algebras * l-groups * Mundici functor * representation theorems * standard MV-algebra * Chang's representation
    Forma, žánr diplomové práce master's theses
    MDT (043)378.2
    Země vyd.Česko
    Jazyk dok.anglič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í
    00191165-349539634.pdf39288.3 KB28.05.2015
    PosudekTyp posudku
    00191165-ved-739592273.xlsxPosudek vedoucího
    00191165-opon-470312121.pdfPosudek oponenta

    MV-algebry jsou modely vícehodnotových Łukasiewiczových logik. Jejich reprezentace, která je důležitým aspektem, je hlavní náplní této práce. Práce samotná představuje nový přístup ke konstrukci Mundiciho funktoru pomocí faktorizace množiny slov nad MV-algebrou pomocí ekvivalence definované prostřednictvím existence speciálních matic nad danou MV-algebrou.MV-algebras are models of well-known multi-valued Łukasiewicz logic. Their representation, which is an important aspect, is the main content of this work. The work itself introduces a new aproach to the construction of the Mundici functor using factorization of words over an MV-algebra by an equivalence defined by the existence of particular matrices over the MV-algebra.

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.