Modální logika
Tato bakalářská práce obsahuje základy modální logiky. Začíná krátkým připomenutím výrokové logiky. V dalších kapitolách je definován modální jazyk, popsány ohodnocené přechodové struktury a modální algebry a některé jejich vlastnosti. Dále se dozvídáme, jak struktura určuje pravdivostní hodnotu for...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Čeština |
| Vydáno: |
2014
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/394482/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í |
Přírodovědecká fakulta | ÚK volný výběr - M | K-M-2014-MÍZN | 3145361242 |