Úplnost ekvacionální logiky
Hlavním cílem této bakalářské práce bylo zpracovat téma ekvacionální logiky ve formě srozumitelné pro studenty seznámené se základy univerzální algebry a ukázat některé aplikace. Práce obsahuje zejména základní definice a věty, ukázky řešení problému identit pomocí modelu volné algebry, ekvacionální...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Čeština |
| Vydáno: |
2012
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/323901/prif_b/ |
| Shrnutí: | Hlavním cílem této bakalářské práce bylo zpracovat téma ekvacionální logiky ve formě srozumitelné pro studenty seznámené se základy univerzální algebry a ukázat některé aplikace. Práce obsahuje zejména základní definice a věty, ukázky řešení problému identit pomocí modelu volné algebry, ekvacionální logiku, větu o úplnosti ekvacionální logiky a některé její aplikace. The main goal of this thesis was to compile the subject of equational logic in a form comprehensible to students who are familiar with elements of universal algebra, and to present some applications of the subject. The thesis contains mainly basic definitions and theorems, examples of solving the identity problem using the free algebra model, equational logic, the completeness theorem of equational logic and some applications of equational logic. |
|---|---|
| Popis jednotky: | Vedoucí práce: Ondřej Klíma |
| Fyzický popis: | 37 l. |