Efektové algebry a kvantové logiky /
V první části této diplomové práce se věnujeme popisu několika algebraických struktur formalizujících různé logiky. Jedná se o Booleovy algebry pro klasickou výrokovou logiku, ortomodulární svazy pro logiku kvantové mechaniky a MV-algebry pro vícehodnotové logiky. Dále zkoumáme vlastnosti efektových...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Čeština |
| Vydáno: |
2018
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/371757/prif_m/ |
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-2018-ŠTĚP | 3145372490 |