Bc. Martin POSPÍŠIL
Diplomová práce
Časové operátory
Tense operators
Anotace:
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 …víceAbstract:
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 …víceKlíčová slova
Č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: čeština
Datum vytvoření / odevzdání či podání práce: 29. 6. 2016
Obhajoba závěrečné práce
- Vedoucí: 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á fakultaUNIVERZITA PALACKÉHO V OLOMOUCI
Přírodovědecká fakultaMagisterský studijní program / obor:
Matematika / Diskrétní matematika
Práce na příbuzné téma
Název
Vložil
Vloženo
Práva