Umocňování obecných algebraických systémů
Loading...
Date
Authors
Kamenský, David
ORCID
Advisor
Referee
Mark
A
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta strojního inženýrství
Abstract
V této bakalářské práci se zabýváme umocňováním obecných algebraických systémů a věnujeme zvláštní pozornost prvnímu exponenciálnímu zákonu. Konkrétně formulujeme dostačující podmínky pro jeho platnost pro relační systémy, parciální algebry, hyperalgebry a obecné algebry. Dále pak zkoumáme strukturu diagonálních a mediálových relačních systémů a ke studovaným pojmům uvádíme řadu demonstrativních příkladů.
In this bachelor thesis, we study the powers of general algebraic systems and pay special attention to the first exponential law. In particular, we formulate sufficient requirements for it to apply in relational systems, partial algebras, hyperalgebras and general algebras. We then investigate the structure of diagonal and medial relational systems and give several illustrative examples for the concepts studied.
In this bachelor thesis, we study the powers of general algebraic systems and pay special attention to the first exponential law. In particular, we formulate sufficient requirements for it to apply in relational systems, partial algebras, hyperalgebras and general algebras. We then investigate the structure of diagonal and medial relational systems and give several illustrative examples for the concepts studied.
Description
Keywords
Umocňování algebraických systémů, První exponeciální zákon, Relační systémy, Parciální algebry, Hyperalgebry, Obecné algebry, Diagonální systémy, Mediálové systémy, Powers of algebraic systems, First exponential law, Relational systems, Partial algebras, Hyperalgebras, General algebras, Diagonal systems, Medial systems
Citation
KAMENSKÝ, D. Umocňování obecných algebraických systémů [online]. Brno: Vysoké učení technické v Brně. Fakulta strojního inženýrství. 2024.
Document type
Document version
Date of access to the full text
Language of document
cs
Study field
bez specializace
Comittee
prof. RNDr. Miroslav Doupovec, CSc., dr. h. c. (předseda)
doc. Mgr. Petr Vašík, Ph.D. (místopředseda)
doc. RNDr. Jiří Tomáš, Dr. (člen)
Ing. Mgr. Eva Mrázková, Ph.D. (člen)
RNDr. Radovan Potůček, Ph.D. (člen)
Date of acceptance
2024-06-10
Defence
Student prezentoval svou práci, školitel přečetl svůj posudek, oponent též.
Otázky oponenta:
1. Úspěšně vysvětleno.
2. Úspěšně vysvětleno.
doc. Vašík: Relační jádro - je největší? Ano. Hyperoperace, hyperalgebra - vysvětleno.
Diskuze školitele a oponenta nad posudkem.
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení