Národní úložiště šedé literatury Nalezeno 21 záznamů.  1 - 10dalšíkonec  přejít na záznam: Hledání trvalo 0.01 vteřin. 
Koaliční hlasování a koeficienty volební moci aktérů
Schlosáriková, Eva ; Majer, Ondrej (vedoucí práce) ; Peliš, Michal (oponent)
Bakal arska pr aca je uvodn ym textom te orie koali cn ych hlasovac ch hier pre form alne (logika, matematika, te oria hier) i humanitne (politol ogia, sociol ogia) zameran ych citate lov. S u uveden e z akladn e de n cie, charakteristiky koali cn ych volebn ych syst emov, diferenci acia na v a zen e a nev a zen e PP-hlasovacie syst emy. Dal sia cas t sa venuje t eme volebnej moci, s u de novan e najzn amej sie koe cienty volebnej moci pre jednotliv ych voli cov (Shapley-Shubik, Banzhaf, Johnston, Deegan-Packel). Z avere cn a praktick a aplik acia koe- cientov porovn ava volebn u moc jednotliv ych kraj n EU pri prij man rozhodnut v Rade Eur opskej unie pod la zmluvy z Nice a Lisabonu.
Pravděpodobnostní sémantika pro logiky podporující nezávislost
Seidl, Julian ; Majer, Ondrej (vedoucí práce) ; Švarný, Petr (oponent)
(česky) Práce je čistě teoretického charakteru a zabývá se teorií her z pohledu matematické logiky a pravděpodobnosti. Dělí se na dvě části, úvodní, která shrnuje základní definice, uvádí do tématu teorie her a základů syntaxe a sémantiky matematické logiky a jejích rozšíření vhodných k práci v teorii her. V úvodní části se vysvětlují pojmy extenzivních a strategických her, Nashova equilibria, čistá a smíšená strategie, vítězná strategie či logika podporující nezávislost. Dále se představují netriviální problémy řešené v druhé části práce, kterými jsou například otázka existence Nashových equilibrií u nekonečných her, nebo problematika uniformní pravděpodobnostní distribuce u stejné třídy her. Druhá část práce pokračuje rozborem strategických her s neúplnou informací, směřujíc tak k řešení již zmíněných netriviálních problémů. V druhé části se také zavádí základní pojmy a definice z oblasti teorie pravděpodobnosti, napomáhající v orientaci a uchopení výše nastíněných problémů. Poslední částí práce před samotným pokusem o řešení vyvstávajících problémů u nekonečných her, je zkoumání možnosti převodů mezi jednotlivými typy her. Závěrem druhé části je návrh řešení problémů způsobených rozšířením třídy zkoumaných her z konečných na nekonečné. První z problémů, existence Nashových equilibrií pro...
An overview of selected social procedures
Schlosáriková, Eva ; Majer, Ondřej (vedoucí práce) ; Peliš, Michal (oponent)
Názov práce: Analýza vybraných sociálnych procedúr Autor: Eva Schlosáriková Katedra: Ústav politologie Vedúci diplomovej práce: RNDr. Ondrej Majer, CSc. Abstrakt: Diplomová práca začína definíciou sociálnych procedúr. Analýze sociálnych procedúr sa venuje interdisciplinárny výskumný program, sociálny software (social soft- ware). Budú uvedené jeho základné ciele a úlohy. Ďalej sa práca zameria na prominentnú sociálnu procesúru, na koaličné jednanie a formovanie víťazného uskupenia. Po definovaní základných pojmov je uvedený prehľad konceptov z koaličnej teórie. Posledná kapitola sa venuje Bramsovmu modelu koaličného formovania a jeho definícii stability víťaznej koalície. Pre porovnanie sú uvedené ďalšie modely koaličného vyjednávania a definície stability. Klúčové slova: koaličné jednanie, koaličné formovanie, stabilita koalície 1
Algoritmická složitost řešení ve vybraných třídách nekooperativních her
Wichera, Adam ; Majer, Ondřej (vedoucí práce) ; Kroupa, Tomáš (oponent)
Název práce: Algoritmická složitost řešení ve vybraných třídách nekooperativních her Autor: Adam Wichera Katedra (ústav): Katedra logiky Vedoucí bakalářské práce: RNDr. Ondřej Majer, CSc. e-mail vedoucího: majer@ u.cas.cz Abstrakt V předložené práci studujeme přirozené algoritmické problémy vyvstávající z pojmu Nashova equilibria. Problém jeho existence je triviální, protože plyne z Nashova důkazu úplnosti. Ani příslušný vyhledávací problém se tedy nezdá být NP-úplný a to právě proto, že existence ře- šení je zaručena. Zajímavé ale je, že jakékoli přirozené rozšíření tohoto problému už se zdá být NP-úplné. U mnohých už byla NP-úplnost pro konečné nekooperativní hry s obecným součtem dávno dokázána, většinou redukcí problému SAT, Klikového problému, nebo množinového pro- blému hledajícího podpokrytí. Ovšem zda se k ostatním řadí i problém existence asymetrického equilibria pro symetrické hry, byl otevřený problém. Zde ukážeme, jak zobecnit důkaz z [? ] tak, aby dokázal postihnout i problém asymetrických Equilibrií a dokážeme tak jeho NP-kompletnost. Klíčová slova: Nashovo equilibrium, Algoritmická složitost, Nekooperativní hry, Teorie her, Asymetrické equilibrium, 1
Pravděpodobnostní sémantika pro logiky podporující nezávislost
Seidl, Julian ; Majer, Ondrej (vedoucí práce) ; Švarný, Petr (oponent)
(česky) Práce je čistě teoretického charakteru a zabývá se teorií her z pohledu matematické logiky a pravděpodobnosti. Dělí se na dvě části, úvodní, která shrnuje základní definice, uvádí do tématu teorie her a základů syntaxe a sémantiky matematické logiky a jejích rozšíření vhodných k práci v teorii her. V úvodní části se vysvětlují pojmy extenzivních a strategických her, Nashova equilibria, čistá a smíšená strategie, vítězná strategie či logika podporující nezávislost. Dále se představují netriviální problémy řešené v druhé části práce, kterými jsou například otázka existence Nashových equilibrií u nekonečných her, nebo problematika uniformní pravděpodobnostní distribuce u stejné třídy her. Druhá část práce pokračuje rozborem strategických her s neúplnou informací, směřujíc tak k řešení již zmíněných netriviálních problémů. V druhé části se také zavádí základní pojmy a definice z oblasti teorie pravděpodobnosti, napomáhající v orientaci a uchopení výše nastíněných problémů. Poslední částí práce před samotným pokusem o řešení vyvstávajících problémů u nekonečných her, je zkoumání možnosti převodů mezi jednotlivými typy her. Závěrem druhé části je návrh řešení problémů způsobených rozšířením třídy zkoumaných her z konečných na nekonečné. První z problémů, existence Nashových equilibrií pro...
Aplikace temporálních logik ve fyzice
Švarný, Petr ; Majer, Ondrej (vedoucí práce) ; Pudlák, Pavel (oponent)
Práce představuje v krátkosti tři hlavní obory zabývající se zkoumáním času: fyziku, filosofii a logiku. Je podán úvod do obecné teorie relativity, termodynamiky a kvantové fyziky. Jsou vyjmenovány i základní filosofické přístupy k času a jsou probrány ústřední duality této filosofie, jakými jsou např.: eternalismus a presentismus, determinismus a indeterminismus či reálnost a nereálnost času. S ohledem na velkou škálu možných logik, jsou zde popsány různé základní přístupy v nich obsažené, jsou provedeny pro ně typické důkazy či předvedeny jejich zvláštnosti oproti jiným logikám. Zvláště je poté diskutováno užití temporálních logik při formalizaci ve fyzice, však zmíněny jsou i jejich aplikace v jiných oblastech. Následně jsou uvedeny podrobněji systémy zvané Branching space-times (Prostoročasové stromy) a z nich nově odvozené Branching continuations (Stromy pokračování). Tyto logické systémy byly již užitečné v kvantové fyzice. Zde je však vzata základní terminologie spojená s obecnou teorií relativity a také topologie A, P a T. Spolu se zmíněnými logickými systémy jsou užity ke zkoumání možnosti jejich složení.
An overview of selected social procedures
Schlosáriková, Eva ; Majer, Ondřej (vedoucí práce) ; Peliš, Michal (oponent)
Názov práce: Analýza vybraných sociálnych procedúr Autor: Eva Schlosáriková Katedra: Ústav politologie Vedúci diplomovej práce: RNDr. Ondrej Majer, CSc. Abstrakt: Diplomová práca začína definíciou sociálnych procedúr. Analýze sociálnych procedúr sa venuje interdisciplinárny výskumný program, sociálny software (social soft- ware). Budú uvedené jeho základné ciele a úlohy. Ďalej sa práca zameria na prominentnú sociálnu procesúru, na koaličné jednanie a formovanie víťazného uskupenia. Po definovaní základných pojmov je uvedený prehľad konceptov z koaličnej teórie. Posledná kapitola sa venuje Bramsovmu modelu koaličného formovania a jeho definícii stability víťaznej koalície. Pre porovnanie sú uvedené ďalšie modely koaličného vyjednávania a definície stability. Klúčové slova: koaličné jednanie, koaličné formovanie, stabilita koalície 1
Koaliční hlasování a koeficienty volební moci aktérů
Schlosáriková, Eva ; Peliš, Michal (oponent) ; Majer, Ondrej (vedoucí práce)
Bakal arska pr aca je uvodn ym textom te orie koali cn ych hlasovac ch hier pre form alne (logika, matematika, te oria hier) i humanitne (politol ogia, sociol ogia) zameran ych citate lov. S u uveden e z akladn e de n cie, charakteristiky koali cn ych volebn ych syst emov, diferenci acia na v a zen e a nev a zen e PP-hlasovacie syst emy. Dal sia cas t sa venuje t eme volebnej moci, s u de novan e najzn amej sie koe cienty volebnej moci pre jednotliv ych voli cov (Shapley-Shubik, Banzhaf, Johnston, Deegan-Packel). Z avere cn a praktick a aplik acia koe- cientov porovn ava volebn u moc jednotliv ych kraj n EU pri prij man rozhodnut v Rade Eur opskej unie pod la zmluvy z Nice a Lisabonu.
Logické hry a pravdivostní hodnoty
Majer, Ondrej
Formální teorie her umožňuje zkoumat logiku z netradičná perspektivy. Zkoumání pravdivosti určitého tvrzení lze chápat jako hru - formalizovanou polemiku dvou hráčů. Pravidla hry pak odpovídají logickému systému, v jehož rámci je tvrzení formulováno. Článek se zabývá vztahem mezi vlastnostmi logických her a dvoj resp. vícehodnotovosti odpovídajících logických systémů.
Hry a význam logických spojek
Majer, Ondrej
Hlavním tématem článku je rozdílné chápání logických spojek v různých logických systémech (jako příklad jsou uvedeny klasická, intuicionistická a lineární logika). Článek se zejména zaměřuje na to, jak se rozdíly mezi spojkami projevují v herních interpretacích příslušných logických systému a nakolik je rámec teorie her vhodný pro charakterizaci těchto rozdílu.

Národní úložiště šedé literatury : Nalezeno 21 záznamů.   1 - 10dalšíkonec  přejít na záznam:
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.