Ú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/ |
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
| Popis | Stav | Knihovna | Sbírka | Signatura | Poznámky | Čárový kód |
|---|---|---|---|---|---|---|
|
Dostupné Prezenční SKLAD |
Přírodovědecká fakulta | ÚK sklad - M | K-12265 | 3145355363 |