Logiky pro popis vlastností stochastických her – Bc. Tomáš Laurinčík
Bc. Tomáš Laurinčík
Diplomová práce
Logiky pro popis vlastností stochastických her
Logics for stochastic games
Abstract:
This work studies logics used to describe properties of stochastic games. First, the unified representation of the games used for these logics is described and the concept of concurrent stochastic game is introduced. Subsequently, the main ideas of operators for these logics, their semantics and relations are described. The last part of the work examines logics by themselves, their expressiveness, …víceAbstract:
V práci sú skúmané logiky pre popis vlastností stochastických hier. Najskôr sú zjednotené reprezentácie hier z týchto logík a zavedený pojem konkurentnej stochastickej hry. Následne sú popísané hlavné myšlienky pre operátory týchto logík, je popísaná ich sémantika a vzájomné vzťahy. V poslednej časti práce sú definované konkrétne logiky. Je uvedená ich vyjadrovacia sila, zložitosť problému overenia …více
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 25. 5. 2009
Identifikátor:
https://is.muni.cz/th/g3u4x/
Obhajoba závěrečné práce
- Obhajoba proběhla 2. 7. 2009
- Vedoucí: prof. RNDr. Antonín Kučera, Ph.D.
- Oponent: doc. Mgr. Jan Obdržálek, PhD.
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: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Informatika / Teoretická informatika
Práce na příbuzné téma
-
Matematická logika ve výuce na středních školách
Marika Kaňová -
Divácké násilí v ČR: logika fungování systému kontroly kriminality a trestní justice
Vendula Divišová -
Vícedruhová rovnostní logika
Jakub Lédl -
Mezi rukopisy a knihami: logika a dynamika současného českého literárního pole prizmatem knižních nakladatelů
Kateřina Kirkosová -
Projektová logika a projektový management projektů vzdělávacích mobilit jednotlivců v rámci programu Erasmus+ Mládež
Hana Křížková -
Podmíněná logika větvení dotazníku
Michal Vrábel -
Je nemonotónní logika logikou?
Ivo Pezlar -
Epistemická logika a logická vševědoucnost v rámci modální intenzionální logiky
Ivo Pezlar