Bc. Martin POSPÍŠIL
Master's thesis
Časové operátory
Tense operators
Anotácia:
V této diplomové práci je shrnuto několik přístupů k zavedení operátorů modelujících časovou škálu nebo časy do klasických i neklasických logik a prezentace reprezentačních vět pro tzv. tense Booleovy algebry a tense MV-algebry. V úvodu je čtenář seznámen se základními pojmy, tense logikou a tense operátory. Následně je popsáno zavedení tense Booleových algeber a představeny reprezentační věty pro …viacAbstract:
In this final thesis there is summarized several approaches to introduction to operators which models time scale or times to classical and nonclassical logic and presentation of representation sentences for tense Boolean algebras and tense MV-algebras. Firstly, in the final thesis there is an introduction to basic concepts, tense logic and tense operators. Subsequently there are described tense Boolean …viacKľúčové slová
Časové operátory tense operátory Booleovy algebra Booleovy algebry tense Booleova algebra tense Booleovy algebry časová logika tense logika konstrukce časových operátorů konstrukce tense operátorů reprezentační věta MV-algebra MV-algebry MV-term MV-termy dyadická čísla tense MV-algebra tense MV-algebry svaz svazy základní pojmy faktorizace faktorová algebra direktní součin subdirektní součin
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 29. 6. 2016
Obhajoba závěrečné práce
- Vedúci: doc. Mgr. Michal Botur, Ph.D.
Citační záznam
Jak správně citovat práci
POSPÍŠIL, Martin. Časové operátory. Olomouc, 2016. diplomová práce (Mgr.). UNIVERZITA PALACKÉHO V OLOMOUCI. Přírodovědecká fakulta
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: UNIVERZITA PALACKÉHO V OLOMOUCI, Přírodovědecká fakultaPALACKÝ UNIVERSITY OLOMOUC
Faculty of ScienceMaster programme / odbor:
Mathematics / Discrete Mathematics
Práce na příbuzné téma
Názov
Vložil
Vložené
Práva