Počet záznamů: 1
BCI/BCK-algebry a jejich vnoření do semi-integrálních/integrálních reziduovaných po-monoidů
Údaje o názvu BCI/BCK-algebry a jejich vnoření do semi-integrálních/integrálních reziduovaných po-monoidů [rukopis] / Petr Sapák Další variantní názvy Reziduované po-monoidy, BCK- a BCI-algebry Osobní jméno Sapák, Petr (autor diplomové práce nebo disertace) Překl.náz Residuated po-monoids, BCK- and BCI-algebras Vyd.údaje 2016 Fyz.popis 39 Poznámka Oponent Ivan Chajda Ved. práce Jan Kühr Dal.odpovědnost Chajda, Ivan, 1946- (oponent) Kühr, Jan (vedoucí diplomové práce nebo disertace) Dal.odpovědnost Univerzita Palackého. Katedra algebry a geometrie (udelovatel akademické hodnosti) Klíč.slova BCI-algebra * BCK-algebra * vnoření * uspořádaný monoid * reziduovaný svaz * filtr * BCI-algebra * BCK-algebra * embedding * po-monoid * residuated lattice * filter Forma, žánr diplomové práce master's theses MDT (043)378.2 Země vyd. Česko Jazyk dok. češ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í 00193826-427794389.pdf 37 365.9 KB 27.06.2016 Posudek Typ posudku 00193826-ved-676836086.pdf Posudek vedoucího 00193826-opon-985206697.pdf Posudek oponenta
Diplomová práce pojednává o vytvoření nové konstrukce vnoření BCI-algebery do semi-integrálního reziduovaného po-monoidu, které zachovává existující svazová spojení. Důležitou součástí práce je popis základních vlastností po-monoidů a BCI-algeber. Dále pak předvedení dvou již existujích konstrukcí, ze kterých nová konstrukce vychází. V poslední kapitole je pak ukázáno, že nové vnoření je zobecněním obou starších, i když každé z nich v jiném smyslu.This master's thesis elaborates the construction of a new embedding of a BCI-algebra into a semi-integral residuated po-monoid, which preserves the existing lattice joins. An important part of this work is a description of the basic properties of po-monoids and BCI-algebras. Further the demonstration of two constructions that already exist, on which the new construction is based. The last chapter shows that the new embedding is a generalization of the two older ones, though each in a different sense.
Počet záznamů: 1