BCI/BCK-algebry a jejich vnoření do semi-integrálních/integrálních reziduovaných po-monoidů – Bc. Petr SAPÁK
Bc. Petr SAPÁK
Diplomová práce
BCI/BCK-algebry a jejich vnoření do semi-integrálních/integrálních reziduovaných po-monoidů
Residuated po-monoids, BCK- and BCI-algebras.
Anotace:
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 …víceAbstract:
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 …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 27. 6. 2016
Obhajoba závěrečné práce
- Vedoucí: doc. RNDr. Jan Kühr, Ph.D.
Citační záznam
Citace dle ISO 690:
SAPÁK, Petr. \textit{BCI/BCK-algebry a jejich vnoření do semi-integrálních/integrálních reziduovaných po-monoidů}. Online. Diplomová práce. Olomouc: Univerzita Palackého v Olomouci, Přírodovědecká fakulta. 2016. Dostupné z: https://theses.cz/id/rsvy9v/.
Jak správně citovat práci
SAPÁK, Petr. BCI/BCK-algebry a jejich vnoření do semi-integrálních/integrálních reziduovaných po-monoidů. Olomouc, 2016. diplomová práce (Mgr.). UNIVERZITA PALACKÉHO V OLOMOUCI. Přírodovědecká fakulta
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: UNIVERZITA PALACKÉHO V OLOMOUCI, Přírodovědecká fakultaUNIVERZITA PALACKÉHO V OLOMOUCI
Přírodovědecká fakultaMagisterský studijní program / obor:
Matematika / Diskrétní matematika
Práce na příbuzné téma
-
Lineárně uspořádané BL-algebry
Václav CENKER
Název
Vložil
Vloženo
Práva