dc.contributor.advisor | Barto, Libor | |
dc.creator | Olšák, Radek | |
dc.date.accessioned | 2024-11-28T21:01:43Z | |
dc.date.available | 2024-11-28T21:01:43Z | |
dc.date.issued | 2024 | |
dc.identifier.uri | http://hdl.handle.net/20.500.11956/193795 | |
dc.description.abstract | Tato práce se zabývá známým výsledek z univerzální algebry ohledně klasifikace booleovských klonů modulo minionové homomorfismy. Tento výsledek rozšiřuje do svazu všech součinů booleovských klonů modulo minionové homomorfismy. V první části práce se ukáže svaz, který pochází jen z uspořádání booleovských klonů a v druhé části se ukáže, že je to stejné uspořádání jako to, které pochází z min- ionovských homomorfismů. 1 | cs_CZ |
dc.description.abstract | This thesis takes known result about the classification of all boolean clones and extends this result into a lattice of all products of boolean clones modulo minion homomorphism. In the first part of the thesis we look what ordering comes solely from the order on boolean clones and in the second part we show that this describes the whole lattice. 1 | en_US |
dc.language | English | cs_CZ |
dc.language.iso | en_US | |
dc.publisher | Univerzita Karlova, Matematicko-fyzikální fakulta | cs_CZ |
dc.subject | universal algebra|clones|multi-sorted Boolean clones|minion homomorphism|product of clones | en_US |
dc.subject | univerzální algebra|klony|multi-sortové booleovské klony|minionový homomorfismus|součin klonů | cs_CZ |
dc.title | Products of Boolean Clones up to Minion Homomorphisms | en_US |
dc.type | diplomová práce | cs_CZ |
dcterms.created | 2024 | |
dcterms.dateAccepted | 2024-09-11 | |
dc.description.department | Department of Algebra | en_US |
dc.description.department | Katedra algebry | cs_CZ |
dc.description.faculty | Matematicko-fyzikální fakulta | cs_CZ |
dc.description.faculty | Faculty of Mathematics and Physics | en_US |
dc.identifier.repId | 269247 | |
dc.title.translated | Součiny booleovských klonů modulo minionové homomorfismy | cs_CZ |
dc.contributor.referee | Zhuk, Dmitrii | |
thesis.degree.name | Mgr. | |
thesis.degree.level | navazující magisterské | cs_CZ |
thesis.degree.discipline | Mathematical Structures | en_US |
thesis.degree.discipline | Matematické struktury | cs_CZ |
thesis.degree.program | Mathematical Structures | en_US |
thesis.degree.program | Matematické struktury | cs_CZ |
uk.thesis.type | diplomová práce | cs_CZ |
uk.taxonomy.organization-cs | Matematicko-fyzikální fakulta::Katedra algebry | cs_CZ |
uk.taxonomy.organization-en | Faculty of Mathematics and Physics::Department of Algebra | en_US |
uk.faculty-name.cs | Matematicko-fyzikální fakulta | cs_CZ |
uk.faculty-name.en | Faculty of Mathematics and Physics | en_US |
uk.faculty-abbr.cs | MFF | cs_CZ |
uk.degree-discipline.cs | Matematické struktury | cs_CZ |
uk.degree-discipline.en | Mathematical Structures | en_US |
uk.degree-program.cs | Matematické struktury | cs_CZ |
uk.degree-program.en | Mathematical Structures | en_US |
thesis.grade.cs | Výborně | cs_CZ |
thesis.grade.en | Excellent | en_US |
uk.abstract.cs | Tato práce se zabývá známým výsledek z univerzální algebry ohledně klasifikace booleovských klonů modulo minionové homomorfismy. Tento výsledek rozšiřuje do svazu všech součinů booleovských klonů modulo minionové homomorfismy. V první části práce se ukáže svaz, který pochází jen z uspořádání booleovských klonů a v druhé části se ukáže, že je to stejné uspořádání jako to, které pochází z min- ionovských homomorfismů. 1 | cs_CZ |
uk.abstract.en | This thesis takes known result about the classification of all boolean clones and extends this result into a lattice of all products of boolean clones modulo minion homomorphism. In the first part of the thesis we look what ordering comes solely from the order on boolean clones and in the second part we show that this describes the whole lattice. 1 | en_US |
uk.file-availability | V | |
uk.grantor | Univerzita Karlova, Matematicko-fyzikální fakulta, Katedra algebry | cs_CZ |
thesis.grade.code | 1 | |
uk.publication-place | Praha | cs_CZ |
uk.thesis.defenceStatus | O | |