Logiky pro popis vlastností stochastických her – Bc. Tomáš Laurinčík
Bc. Tomáš Laurinčík
Master's thesis
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, …viacAbstract:
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 …viac
Jazyk práce: Slovak
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
- Vedúci: 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 informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Informatics / Theoretical Informatics
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á -
Topologie času a temporální logika
Jakub Vít -
Modální logika
Pavla Míznerová -
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