Počet záznamů: 1
MV-algebras
Údaje o názvu MV-algebras [rukopis] / Martin Broušek Další variantní názvy MV-algebry Osobní jméno Broušek, Martin (autor diplomové práce nebo disertace) Překl.náz MV-algebras Vyd.údaje 2015 Fyz.popis 37 s. Poznámka Oponent 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 Titul Mgr. Studijní program Navazující Studijní program Matematika Studijní obor Diskrétní matematika kniha
Kvalifikační práce Staženo Velikost datum zpřístupnění 00191165-349539634.pdf 41 288.3 KB 28.05.2015 Posudek Typ posudku 00191165-ved-739592273.xlsx Posudek vedoucího 00191165-opon-470312121.pdf Posudek 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