Univerzální algebra a unifikační teorie
Hlavní cíl této práce je ukázat, jaký unifikacní typ má teorie, která obsahuje pouze unární operacní symbol a promenné. Práce je rozdelena do tří kapitol. První kapitola obsahuje definice z univerzální algebry potrebné v této práci. Druhá kapitola je věnována popisu variet unárních algeber. Ve třetí...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Čeština |
| Vydáno: |
2010.
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/172745/prif_b/ |
| Shrnutí: | Hlavní cíl této práce je ukázat, jaký unifikacní typ má teorie, která obsahuje pouze unární operacní symbol a promenné. Práce je rozdelena do tří kapitol. První kapitola obsahuje definice z univerzální algebry potrebné v této práci. Druhá kapitola je věnována popisu variet unárních algeber. Ve třetí kapitole jsou uvedeny základní pojmy unifikační teorie, několik příkladů a hlavní cíl této práce. The main objective is to show what type of unification is a theory that contains only unary function symbol and variables. The work is divided into three chapters. The first chapter contains definitions of universal algebra needed in this work. The second chapter is devoted to the description of varieties of unary algebras. The third chapter provides fundamental concepts of unification theory, several examples and the main objective of this work. |
|---|---|
| Popis jednotky: | Vedoucí práce: Ondřej Klíma. |
| Fyzický popis: | 33 l. |