Logika a formální sémantika: 8. Game-theoretical semantics

Save this PDF as:
 WORD  PNG  TXT  JPG

Rozměr: px
Začít zobrazení ze stránky:

Download "Logika a formální sémantika: 8. Game-theoretical semantics"

Transkript

1 Logika a formální sémantika: 8. Game-theoretical semantics Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/ , OPVK) doc. PhDr. Jiří Raclavský, Ph.D. Department of Philosophy, Masaryk University, Brno

2 1 VIII. Game ame-theoretical semantics (GTS GTS) - herně-teoretická sémantika - založil ji v polovině 70-tých let 20. st Jaakko Hintikka; rozvíjí se hlavně ve Finsku - další logikové: Gabriel Sandu, Esa Saarinen, Veikko Rantala - navazuje na matematickou teorii her - interpretuje pomocí predikátové logiky druhého řádu (Skolemovy funkce jsou pak s to převést do PL2 formulí s Henkinovými větvenými kvantifikátory) - v mnohém se odchyluje od standardní logiky (Hintikka říká, že jde o revoluci v logice), GTS se nabízí jako nástroj k vyvrácení základních pojmů a axiomů standardní logiky a zároveň k řešení problémů svým způsobem

3 2 VIII. Game ame-theoretical semantics (GTS, pokr.) - filosoficky Hintikka navazuje na "řečové hry" Ludwiga Wittgensteina (Filosofická zkoumání): a) ty nejsou jen pouhou pragmatikou (užitím) výrazů, ale popisem hracích pravidel (výroku užívajícímu výraz slibovat rozumím jen tehdy, znám-li hru slibování), b) sémantické (řečové) hry jsou podle Hintikky adekvátnější pro vysvětlení jazyka než traktariánský model spojení výrazů a předmětů, popř. situací, c) na rozdíl od Wittgensteina ukazuje Hintikka možnost výstupu ze hry (např. klademe-li si otázku, zda logika, kterou používáme v běžném rozhovoru je klasická nebo neklasická, či zda je lepší neklasická logika než klasická)

4 3 VIII. GTS formálního jazyka - použití pro jazyky formální; ty pokládáme za interpretované - máme danou (neprázdnou) doménu individuí D, na níž interpretujeme všechny predikáty daného jazyka, předpokládáme, že volné singulární termíny jazyka jsou pouze vlastní jména členů D - to znamená, že každý atomický výrok vytvořený z predikátů jazyka a členů domény D má určitou pravdivostní hodnotu, pravda nebo nepravda, což je srovnatelné s Tarského definicí pravdivosti - účelem je rozšířit definici pravdivosti z atomických na všechny další výroky jazyka, nehledě na to, kolik obsahují kvantifikátorů či větných spojek (což je v GTS dosahováno podstatně rozdílným způsobem od Tarského metody)

5 4 VIII. GTS formálního jazyka (pokr.) - hru G(V) můžeme myslet jako idealizovaný proces verifikace, hrají dva hráči, nazývaní "Já" (Myself) a "Příroda" (Nature) - Já se snaží ukázat, že výrok S je pravdivý a jeho protivník Příroda nepravdivý - mým úkolem ve hře G(V) je dostat a atomický výrok V (ten je totiž verifikovatelný) to pravdivý výrok; pokud se tak stane, vyhrávám Já a Příroda prohrává - Pravidlo (G.T): V je pravdivý tehdy a jen tehdy, jestliže pro Já existuje výherní strategie v G(V) - v případě, že hra skončí nepravdivým atomickým výrokem, prohrávám a výhercem je Příroda - pokud jde o verifikaci nějakého stavu jsoucna, musím hledat a nalézt vhodné individuum, proto jsou tyto verifikační hry zvány také hrami hledání a (případného) nalézání

6 5 VIII. GTS formálního jazyka (pokr., pokr.) - příklady pravidel: - I. (G.R(t1,...,tn) probíhá tak, že jsou-li t1,...,tn v relaci R, vítězím Já, jinak vítězí Příroda - II. (G.V) probíhá tak, že si nejprve Já a Příroda vyměníme role, a pak se hraje H[V] - III. (G.V1V2) probíhá tak, že Příroda vybere jeden z výroků V1, V2 a hraje se jemu příslušná hra - IV. (G.V1V2) probíhá tak, že Já vyberu jeden z výroků V1, V2 a hraje se jemu příslušná hra - V. (G.E) Jestliže V' je xf(x), Já vybírám člena z D, dám mu vlastní jméno (pokud již nemá nějaké, které bylo použito), řekněme "b"; hra pokračuje s ohledem k F(b). - VI. (G.U) Jestliže V' je xf(x), děje se totéž, ale b vybírá Příroda.

7 6 VIII. GTS formálního jazyka (pokr., pokr., pokr.) - uvedená pravidla definují sémantické hry (slouží k definování pravdivosti) - hráč má výherní strategii tehdy, pokud může postupovat takovými kroky, nezávisle na tom, co činí jeho soupeř, že na konci zvítězí (i když jeho kroky budou v podstatě závislé na předchozích krocích protivníka) - pojem strategie plně odpovídá pojmu strategie v matematické teorii her - předností je, že při kroku podle pravidla (G.E) se neřídím náhodným výběrem (jak je tomu prý ve standardní logice), ale Já si vybírá to nejvhodnější individuum, protože chce vyhrát hru (Hintikka, J.: Quantifiers in Logic and Natural Languages, In: Saarinen (1979), 34)

8 7 VIII. GTS formálního jazyka (pokr., pokr., pokr., pokr.) - z hlediska GTS můžeme zpochybnit tak základní zákon, jako je zákon o vyloučení třetího; ten totiž v podstatě říká, že jeden z hráčů má výherní strategii (z hlediska teorie her to však nemusí být bezproblémový předpoklad - není totiž dán dopředu závěr, že v každé hře dvou hráčů s nulovým součtem existuje výherní strategie pro jednoho z nich, tedy že je hra rozhodnutá; rozhodnutelnost je v teorii her vysoce netriviální záležitost) - (nejen) pro potřeby GTS navrhl Veikko Rantala urnové modely

9 8 VIII. GTS přirozeného o jazyka - dva hráči i doména D zůstává beze změny - posun: přirozené jazyky nemají svůj protějšek v proceduře, která ve formálních jazycích nahrazuje vázané proměnné jmény individuí, protože v jazycích přirozených žádné proměnné prostě nejsou - tento problém je řešen tak, že vlastním jménem je nahrazena celá fráze obsahující kvantifikátor; např.: některé X, které Y, či: každé X, které Y, žádné X, které Y - při definici pojmu pravdivosti v (G.T) se předpokládaly hry s úplnou informací, tedy hry, ve kterých hráči vědí o všech krocích svého protivníka a všechny si je pamatují - pokud se od tohoto požadavku ustoupí, je možné získat sémantiku nejen pro standardní teorii kvantifikátorů, pro což GTS poskytuje velice silný nástroj

10 9 VIII. GTS přirozeného jazyka (pokr.) - kvantifikátory formálních jazyků ve skutečnosti neodpovídají těm v přirozeném jazyce; predikátový kalkul nerozlišuje např. pojmy "každý" a "všichni" (Hintikka, J.: Quantifiers in Logic and Natural Languages, in Saarinen (1979), 28) - Hintikka dále předkládá myšlenku zkombinovat herně-teoretické principy se sémantikou možných světů - zde se definuje pravda výroku S ve světě w - protože se jedná o interpretovaný jazyk, musí být dána množina možných světů - na každém stupni hry mají oba hráči na zřeteli výrok S' a svět w', začínaje s S a w

11 10 VIII. GTS přirozeného jazyka (pokr., pokr.) - herní pravidla mohou být formulována jako přecházení z jednoho světa do druhého; například: - ve formálních jazycích určí každý dosažený výrok další krok - v jazycích přirozených může být na jeden výrok aplikováno pravidel několik - proto je nutné předepsat principy řazení pravidel (dva obecné principy, vycházející z obecné syntaktické struktury výroku: pravidlo se nesmí aplikovat na nižší větu, pokud se může použít na vyšší; ve větě se aplikují pravidla zleva doprava; tyto obecné principy mohou být ovšem v jistých případech převáženy některými speciálními - těch je větší množství (viz Game-Theoretical Semantics: Insights and Prospects, )

12 11 Vybraná literatura k GTS Hintikka, Jaakko (1979: Language-Games, In: Game-Theoretical Semantics, Saarinen, Esa (ed.), Dordrecht-Londo-Boston: D. Riedel Publishing Company, Hintikka, Jaakko (1979): Quantifiers Vs. Quantification Theory, In: Game-Theoretical Semantics, Saarinen, Esa (ed.), Dordrecht-Londo-Boston: D. Riedel Publishing Company, Hintikka, Jaakko (1979): Quantifiers in Logic and Natural Languages, In: Game-Theoretical Semantics, Saarinen, Esa (ed.), Dordrecht-Londo-Boston: D. Riedel Publishing Company, Hintikka, Jaakko (1983).: Game-Theoretical Semantics: Insights and Prospects, In: Game of Language (Studies in Game-Theoretical Semantics and Its Applications) Hintikka, Jaakko & Kulas, Jack (eds.), Dordrtecht-London-Lancaster: D. Riedel Publishing Company, Hintikka, Jaakko (1983): "Is", Semantical Games and Semantical Relativity, In: Game of Language (Studies in Game-Theoretical Semantics and Its Applications) Hintikka, Jaakko & Kulas, Jack (eds.), Dordrtecht-London-Lancaster: D. Riedel Publishing Company,

13 12 Hintikka, Jaakko (1983): Theories of Truth and Learnable Languages, In: Game of Language (Studies in Game-Theoretical Semantics and Its Applications) Hintikka, Jaakko & Kulas, Jack (eds.), Dordrecht-London-Lancaster: D. Riedel Publishing Company, Hodges, Wilfrid (2014): Logic and Games. The Stanford Encyclopedia of Philosophy (Spring 2013 Edition), Edward N. Zalta (ed.), URL = Pietarinen, Ahti & Sandu, Gabriel (2000): Games in Philosophical Logic, Nordic Journal of Philosophical Logic 2, No. 4, Homepage: Game-Theoretical Semantics Unit (GTSU)

14 13 VIII. Independence ndependence-friendly logic (IF logic) - logika "podporující nezávislost - pozdější vývoj GTS vedl k vyvinutí independence-friendly logic (IF logic) - připouští se i hry, při kterých nemá jeden z aktérů v momentě svého tahu dokonalou znalost o předchozích tazích svého protivníka - hry tohoto nového typu jsou označovány pomocí nového druhu formulí využívajících symbolu / tak, že napíšeme-li T2/T1, bude to znamenat aktér tahu T2 neví, jak jeho protihráč předtím provedl tah T1 - IF logic vznikne tak, že se v herně interpretovaném predikátového počtu připustí možnost utajování předchozích tahů

15 14 VIII. Independence-friendly logic (IF logic,, pokr.) - kromě Hintikky a Sandu(a), jsou to nyní zejm. Jouko Väänänen a další finští logikové - navzdory někdejšímu halasnému a mnohdy nadsazenému propagování GTS a IF logic Hintikkou, oba systémy jsou sice respektovány, nicméně stále se jedná jen o jednu z mnoha alternativ ke klasické logice - velkou nevýhodou je buď žádný (GTS) nebo nepřímý (IF-Logic) vztah k dedukci - problematizována byla (Feferman) též Hintikkova prohlášení, že se jedná o prvořádovou logiku, resp. že se jedná o náhradu logik vyššího řádu

16 15 Další literatura a odkazy - Feferman, Solomon (2006): What kind of logic is Independence Friendly logic. dostupné online - Peregrin, J. (2000): Pozoruhodné logické systémy: I) Hintikkova logika podporující nezávislost, Organon F 8, Sandu, Gabriel (1999): Independence-friendly languages, -

LOGICA LUDUS Jaroslav Peregrin, FLÚ AV ČR a FF UK, Praha www.cuni.cz/~peregrin

LOGICA LUDUS Jaroslav Peregrin, FLÚ AV ČR a FF UK, Praha www.cuni.cz/~peregrin LOGICA LUDUS Jaroslav Peregrin, FLÚ AV ČR a FF UK, Praha www.cuni.cz/~peregrin Vymezení logického kalkulu, či vymezení nějaké teorie vyjádřené v jeho rámci se obvykle skládá ze tří součástí: (1) Syntaktická

Více

Logický důsledek. Petr Kuchyňka (7765@mail.muni.cz)

Logický důsledek. Petr Kuchyňka (7765@mail.muni.cz) Logický důsledek Petr Kuchyňka (7765@mail.muni.cz) Úvod P 1 Logický důsledek je hlavním předmětem zájmu logiky. Je to relace mezi premisami a závěry logicky platných úsudků: v logicky platném úsudku závěr

Více

postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy

postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy Formální systémy (výrokové) logiky postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy cíl: získat formální teorii jako souhrn dokazatelných

Více

Výroková logika dokazatelnost

Výroková logika dokazatelnost Výroková logika dokazatelnost Ke zjištění, zda formule sémanticky plyne z dané teorie (množiny formulí), máme k dispozici tabulkovou metodu. Velikost tabulky však roste exponenciálně vzhledem k počtu výrokových

Více

Fuzzy logika a reálný svět, aneb jsou všechny hromady skutečně malé?

Fuzzy logika a reálný svět, aneb jsou všechny hromady skutečně malé? Fuzzy logika a reálný svět, aneb jsou všechny hromady skutečně malé? Jiří Močkoř University of Ostrava Department of Mathematics Institute for Research and Applications of Fuzzy Modeling 30. dubna 22,

Více

S U P E R G A M E S HERNÍ PLÁN

S U P E R G A M E S HERNÍ PLÁN Zadávání kreditů : S U P E R G A M E S HERNÍ PLÁN Přístroj přijímá mince v hodnotě 5, 10 a 20 Kč. Akceptor bankovek přijímá bankovky dle nastavení provozovatele v hodnotách : 50,100, 200, 500, 1000 a 2000

Více

Úvod do logiky (VL): 13. Axiomatické systémy VL a pojem důkazu

Úvod do logiky (VL): 13. Axiomatické systémy VL a pojem důkazu Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 13. Axiomatické systémy VL a pojem důkazu

Více

Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5.

Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5. Primární a sekundární výskyt označující fráze Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5. 2012 Russellovo rozlišení jména a popisu Označující fráze Primární a sekundární

Více

My toys DIGITÁLNÍ UČEBNÍ MATERIÁL VY_32_INOVACE_STE_03-15_AJ- 3

My toys DIGITÁLNÍ UČEBNÍ MATERIÁL VY_32_INOVACE_STE_03-15_AJ- 3 Základní škola, Šlapanice, okres Brno-venkov, příspěvková organizace Masarykovo nám. 1594/16, 664 51 Šlapanice www.zsslapanice.cz MODERNÍ A KONKURENCESCHOPNÁ ŠKOLA reg. č.: CZ.1.07/1.4.00/21.2389 My toys

Více

HERNÍ PLÁN A POPIS HRY

HERNÍ PLÁN A POPIS HRY Přijímané mince: 10, 20, 50 Kč Přijímané bankovky: 100, 200, 500, 1000, 2000, 5000 Kč Maximální sázka do hry: 50 Kč Maximální výhra z jedné hry: 50 000 Kč Výherní podíl: 93-97 % Výplata kreditu je možná

Více

4.9.70. Logika a studijní předpoklady

4.9.70. Logika a studijní předpoklady 4.9.70. Logika a studijní předpoklady Seminář je jednoletý, je určen pro studenty posledního ročníku čtyřletého studia, osmiletého studia a sportovní přípravy. Cílem přípravy je orientace ve formální logice,

Více

KMA/MDS Matematické důkazy a jejich struktura

KMA/MDS Matematické důkazy a jejich struktura Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 KMA/MDS Matematické důkazy a jejich struktura Seminář 1 Cílem tohoto semináře je efektivní uvedení

Více

Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.

Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Tematické okruhy: 1. Stručné dějiny logiky a její postavění ve vědě 2. Analýza složených výroků pomocí pravdivostní tabulky 3. Subjekt-predikátová

Více

POZORUHODNÉ LOGICKÉ SYSTÉMY Jaroslav Peregrin * www.cuni.cz/~peregrin [ORGANON F 8, 2000, 90-96, 210-217, 342-348, 460-466]

POZORUHODNÉ LOGICKÉ SYSTÉMY Jaroslav Peregrin * www.cuni.cz/~peregrin [ORGANON F 8, 2000, 90-96, 210-217, 342-348, 460-466] POZORUHODNÉ LOGICKÉ SYSTÉMY Jaroslav Peregrin * www.cuni.cz/~peregrin [ORGANON F 8, 2000, 90-96, 210-217, 342-348, 460-466] I Hintikkova logika podporující nezávislost V úvodním ročníku ORGANONu Pavel

Více

Citation Statistics. zpráva společné komise. Int. Mathematical Union. Int. Council of Industrial and Applied Mathematics. Institute of Statistics

Citation Statistics. zpráva společné komise. Int. Mathematical Union. Int. Council of Industrial and Applied Mathematics. Institute of Statistics Citation Statistics zpráva společné komise Int. Mathematical Union Int. Council of Industrial and Applied Mathematics Institute of Statistics Citace ze zadání: The drive towards more transparency and accountability

Více

VÝUKOVÝ MATERIÁL. Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632 Číslo projektu

VÝUKOVÝ MATERIÁL. Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632 Číslo projektu VÝUKOVÝ MATERIÁL Identifikační údaje školy Vyšší odborná škola a Střední škola, Varnsdorf, příspěvková organizace Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632

Více

Šachová školička. Realizátor projektu:

Šachová školička. Realizátor projektu: Šachová školička Realizátor projektu: Šachový klub Spartak Chodov ČSA 689 357 35 Chodov IČO: 22749411 www.sachychodov.cz, e-mail: sachychodov@seznam.cz Aktualizováno: srpen 2015 Šachová školička 2015/16

Více

Výbor textů k moderní logice

Výbor textů k moderní logice Mezi filosofií a matematikou 5 Logika 20. století: mezi filosofií a matematikou Výbor textů k moderní logice K vydání připravil a úvodními slovy opatřil Jaroslav Peregrin 2006 Mezi filosofií a matematikou

Více

POJEM INTERPRETACE V LOGICE

POJEM INTERPRETACE V LOGICE POJEM INTERPRETACE V LOGICE Jaroslav Peregrin, pracovní skupina logiky, Filosofický ústav AV ČR, Praha * www.cuni.cz/~peregrin Pojem interpretace a jeho role v rámci filosofie jazyka Co to je interpretace?

Více

HERNÍ PLÁN SÁZKOVÉ HRY

HERNÍ PLÁN SÁZKOVÉ HRY HERNÍ PLÁN SÁZKOVÉ HRY Systém : Sada her : Min. sázka na jednu hru (dle nastavení): Max. sázka na jednu hru (dle nastavení): CLS - GAMES SYSTÉM Emotion 1 Kč 1.000 Kč Nastavený výherní podíl: 89-97 % Vložení

Více

Kurz práce s informacemi

Kurz práce s informacemi Kurz práce s informacemi Hra - vyučovací metoda Vypracoval: Jakub Doležal (362999) Obsah Hra - vyučovací metoda...4 Didaktická hra...4 Druhy didaktických her...4 Výběr her...6 Rozhodovací hra...7 Paměťová

Více

2.1 Formule predikátové logiky. větám. Použijte k tomu predikátových symbolu uvedených v textu.

2.1 Formule predikátové logiky. větám. Použijte k tomu predikátových symbolu uvedených v textu. 6 Kapitola 2 Příklady z predikátové logiky 2.1 Formule predikátové logiky 2.1.1 Příklad. Napište formule predikátové logiky odpovídající následujícím větám. Použijte k tomu predikátových symbolu uvedených

Více

CÍLOVÝ KONCEPT. Ghoul Wars. pro. Jihočeskou univerzitu Pedagogickou fakultu Předmět: TDSA

CÍLOVÝ KONCEPT. Ghoul Wars. pro. Jihočeskou univerzitu Pedagogickou fakultu Předmět: TDSA pro Jihočeskou univerzitu Pedagogickou fakultu Předmět: TDSA Zpracovatel: Bohuslav Pindryč Datum zpracování: 20.04. 2010 Verze: 1 Stránka 2/13 OBSAH 1. Identifikace 4 2. Přílohy 4 3. Schvalovací doložka

Více

Registrační číslo projektu: CZ.1.07/1.5.00/34.0185. Název projektu: Moderní škola 21. století. Zařazení materiálu: Ověření materiálu ve výuce:

Registrační číslo projektu: CZ.1.07/1.5.00/34.0185. Název projektu: Moderní škola 21. století. Zařazení materiálu: Ověření materiálu ve výuce: STŘEDNÍ ODBORNÁ ŠKOLA A STŘEDNÍ ODBORNÉ UČILIŠTĚ NERATOVICE Školní 664, 277 11 Neratovice, tel.: 315 682 314, IČO: 683 834 95, IZO: 110 450 639 Ředitelství školy: Spojovací 632, 277 11 Neratovice tel.:

Více

RED GAMES MOD elektronik, s.r.o., Bělisko 1386, Nové Město na Moravě

RED GAMES MOD elektronik, s.r.o., Bělisko 1386, Nové Město na Moravě Herní plán vstup mincí 5, 10, 20, 50 Kč vstup bankovek: 100, 200, 500, 1000, 2000 Kč případně 5000 Kč max. sázka na 1 hru: 5 Kč (5 kreditů) max. výhra: 750 Kč (750 kreditů) v jedné hře výherní podíl: 91

Více

Vyplácení: a) Přes Hopper v mincích 10,-- Kč. b) pomocí klíčového spínače a tlačítka VÝPLATA (Handpay - funkce)

Vyplácení: a) Přes Hopper v mincích 10,-- Kč. b) pomocí klíčového spínače a tlačítka VÝPLATA (Handpay - funkce) Fruit Palace II 750 obsahuje 8 různých her (Průběh hry viz. popis hry) Sizzling Hot 750 Fruits n Royals 750 Ultra Hot 750 Supra Gems 750 Xtra Hot 750 Power Stars 750 American Poker II 750 Hi-Lo Hra 750

Více

výrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává.

výrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává. 1 Základní pojmy matematické logiky Výrokový počet... syntaktické hledisko Predikátový počet... sémantické hledisko 1.1 VÝROKOVÝ POČET výrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává.

Více

HERNÍ PLÁN. Multi Lotto je modulární systém pro obsluhu více her v jednom terminál.

HERNÍ PLÁN. Multi Lotto je modulární systém pro obsluhu více her v jednom terminál. HERNÍ PLÁN Systém: MULTI LOTTO Multi Lotto je modulární systém pro obsluhu více her v jednom terminál. Super Fruit Je to 3 -kotoučová hra s pěti výherními liniemi. Možné sázky jsou od 1 do 500 CZK dle

Více

Draw Poker CZK. Hra s rizikem: Po přepnutí přístroje na hru s rizikem, má hráč ze zásady možnost volit mezi dvěma typy her s rizikem.

Draw Poker CZK. Hra s rizikem: Po přepnutí přístroje na hru s rizikem, má hráč ze zásady možnost volit mezi dvěma typy her s rizikem. Magic Games CZK Magic Games obsahuje 12 různých her ( herní průběh viz. herní plán ). Z následujících her je možné si sestavit herní mix s maximálně 7 hrami, přičemž HI-LO není považována za extra hru.

Více

GOLDEN BANK 300. Universe games, s.r.o., U Habrovky 247/11, 140 00 Praha 4. Herní plán

GOLDEN BANK 300. Universe games, s.r.o., U Habrovky 247/11, 140 00 Praha 4. Herní plán Herní plán vstup mincí: 2, 5, 10, 20 Kč případně 50 Kč vstup bankovek: 100, 200, 500, 1000 Kč případně 2000, 5000 Kč max. SÁZKA na 1 hru : 2 Kč (2 kredity) max. výhra : 300 Kč (300 kreditů) v jedné hře

Více

Luk aˇ s R uˇ ziˇ cka Podm ınkov e vˇ ety

Luk aˇ s R uˇ ziˇ cka Podm ınkov e vˇ ety aneb Dává táta ultimáta? 2013 se říká podmínkovým souvětím, které se skládají převážně ze dvou (hlavní a vedlejší) vět a jsou spojeny spojkou if. Pořadí podmínkových vět Na jejich pořadí nezáleží. Některé

Více

Rezoluce v predikátové logice

Rezoluce v predikátové logice Rezoluce v predikátové logice Jiří Velebil: AD0B01LGR 2015 Rezoluce v PL 1/16 Základní myšlenky 1 M = ϕ iff X = M { ϕ} nesplnitelná. (M musí být množina sentencí, ϕ sentence.) 2 X nesplnitelná iff X =

Více

Publikační činnost. PhDr. Olga Pechová, Ph.D. Ke dni: 26. března 2012. Přehled publikační činnosti člena Katedry psychologie FF UP v Olomouci

Publikační činnost. PhDr. Olga Pechová, Ph.D. Ke dni: 26. března 2012. Přehled publikační činnosti člena Katedry psychologie FF UP v Olomouci Publikační činnost PhDr. Olga Pechová, Ph.D. Ke dni: 26. března 2012 Strana 1 (celkem 5) Publikace chronologicky Plháková, A. & Pechová, O. (2012). Život a dílo Vladimíra Tardyho. Praha: Academia. 472

Více

PROJEKT ESF OPERAČNÍHO PROGRAMU ROZVOJE

PROJEKT ESF OPERAČNÍHO PROGRAMU ROZVOJE PROJEKT ESF OPERAČNÍHO PROGRAMU ROZVOJE LIDSKÝCH ZDROJŮ "CELOŽIVOTNÍ VZDĚLÁVÁNÍ V OBLASTI SPECIÁLNÍ PEDAGOGIKY CZ.04.1.03/3.2.15.1/0150 Číslo priority 3.3. Rozvoj celoživotního učení Číslo opatření 3.3.2

Více

DIDAKTICKÁ POČÍTAČOVÁ HRA SPOLUPRACUJÍCÍ S EXTERNÍM REÁLNÝM SYSTÉMEM

DIDAKTICKÁ POČÍTAČOVÁ HRA SPOLUPRACUJÍCÍ S EXTERNÍM REÁLNÝM SYSTÉMEM DIDAKTICKÁ POČÍTAČOVÁ HRA SPOLUPRACUJÍCÍ S EXTERNÍM REÁLNÝM SYSTÉMEM EDUCATIONAL COMPUTER GAME COOPERATING WITH EXTERNAL REAL SYSTEM Martin KUČERA, Ondřej ZELA Resumé Spojení flashových didaktických počítačových

Více

Metoda konečných prvků Úvod (výuková prezentace pro 1. ročník navazujícího studijního oboru Geotechnika)

Metoda konečných prvků Úvod (výuková prezentace pro 1. ročník navazujícího studijního oboru Geotechnika) Inovace studijního oboru Geotechnika Reg. č. CZ.1.07/2.2.00/28.0009 Metoda konečných prvků Úvod (výuková prezentace pro 1. ročník navazujícího studijního oboru Geotechnika) Doc. RNDr. Eva Hrubešová, Ph.D.

Více

Historie matematiky a informatiky

Historie matematiky a informatiky Evropský sociální fond Investujeme do vaší budoucnosti Historie matematiky a informatiky 2014 Doc. RNDr. Alena Šolcová, Ph.D. Katedra aplikované matematiky FIT ČVUT v Praze 1 Co je matematika? Matematika

Více

MAGIC FOX MULTIGAME V.2.3 CZ(750)

MAGIC FOX MULTIGAME V.2.3 CZ(750) MAGIC FOX MULTIGAME V.2.3 CZ(750) OBSAHUJE NÁSLEDUJÍCÍ HRY: HOT COINS ULTRA HEAT CRYSTAL FRUITS SPARKLING HOT WATER WORLD JOKERS DELUXE ROYAL POKER EUROPEAN POKER DELUXE FRUIT POKER TUTTI FRUTTI + HI LO

Více

Varianty Monte Carlo Tree Search

Varianty Monte Carlo Tree Search Varianty Monte Carlo Tree Search tomas.kuca@matfyz.cz Herní algoritmy MFF UK Praha 2011 Témata O čem bude přednáška? Monte Carlo Tree Search od her podobných Go (bez Go) k vzdálenějším rozdíly a rozšíření

Více

Možné světy v logice. Jaroslav Peregrin. Carnap

Možné světy v logice. Jaroslav Peregrin. Carnap Možné světy v logice Jaroslav Peregrin Carnap S pojmem možného světa se můžeme setkat již ve scholastice. Na úsvitu novověké filosofie ho G. Leibniz použil, když se pokoušel odpovědět na otázku, proč Bůh

Více

HERNÍ PLÁN IVT SYNOT

HERNÍ PLÁN IVT SYNOT HERNÍ PLÁN IVT SYNOT 1 Celtic Magick Celtic Magick je hra se čtyřmi válci a 81 výherními liniemi. Hra obsahuje 10 různých symbolů. Ve hře Celtic Magick může hráč nastavit sázky v následujících krocích:

Více

Gymnázium, Praha 6, Arabská 14. předmět Programování, vyučující Tomáš Obdržálek. Počítačová hra Fotbalový Manažer. ročníkový projekt.

Gymnázium, Praha 6, Arabská 14. předmět Programování, vyučující Tomáš Obdržálek. Počítačová hra Fotbalový Manažer. ročníkový projekt. Gymnázium, Praha 6, Arabská 14 předmět Programování, vyučující Tomáš Obdržálek Počítačová hra Fotbalový Manažer ročníkový projekt Jan, 1E květen 2014 Anotace: Fotbalový Manažer je strategická hra pouze

Více

ň š Ý É Č Í Š Ž Č Á Ě ŘÍ ň ň ď ň ů ň ň ň Á Á ň Á ň ú ů ů ú ů Ťť ň š Ť Ť Ž ú ů ů ú ů š Č ů ů Ě Í Í Í Á Í ů š š Š ň š š ů ů ů Ž Š Á ů ď Ť Ú ď ú š ů Í ú ů Í Í ú š š Ž ů ů ů ů ů ů Ž Í Ž ů ú ů ď š š š ď š Ž

Více

Metodický list pro 1. - 5. soustředění kombinovaného bakalářského studia předmětu BK_AAJ_3

Metodický list pro 1. - 5. soustředění kombinovaného bakalářského studia předmětu BK_AAJ_3 Metodický list pro 1. - 5. soustředění kombinovaného bakalářského studia předmětu BK_AAJ_3 1. SOUSTŘEDĚNÍ 1. Bridging the culture gap 2. City description 3. Money. Functions of money. Evolution of money.,

Více

Značkovací jazyky a spol. HTML/XHTML XML JSON YAML Markdown, Texy!

Značkovací jazyky a spol. HTML/XHTML XML JSON YAML Markdown, Texy! Značkovací jazyky a spol. HTML/XHTML XML JSON YAML Markdown, Texy! Značkovací jazyky Angl. termín "MARKUP" ("vyznačování") Smyslem je přidat do textu metainformace: formátovací sémantické Výsledek je prostý

Více

ČEŠI A REKLAMA V ROCE 2012

ČEŠI A REKLAMA V ROCE 2012 ČEŠI A REKLAMA V ROCE 2012 Tisková informace obsahuje část výsledků z pravidelného výzkumu Postoje české veřejnosti k reklamě. Výzkum navazuje na výsledky šetření, které od roku 1993 prováděla agentura

Více

POPIS HRY. Apex Multi Magic. APEX MULTI MAGIC III CZ kat.2 V1.01 Minimální vklad 1 Kč Maximální vklad 100 Kč

POPIS HRY. Apex Multi Magic. APEX MULTI MAGIC III CZ kat.2 V1.01 Minimální vklad 1 Kč Maximální vklad 100 Kč POPIS HRY Apex Multi Magic APEX MULTI MAGIC III CZ kat.2 V1.01 Minimální vklad 1 Kč Maximální vklad 100 Kč Pravidla hry APEX MULTI MAGIC III CZ kat.2 V1.01 Výherní přístroj /dále jen VHP/ APEX Multi Magic

Více

Sociální síť. = propojená skupina lidí na internetu

Sociální síť. = propojená skupina lidí na internetu Sociální sítě Sociální síť = propojená skupina lidí na internetu registrovaným členům umožňuje vytvářet osobní (či firemní) veřejný či částečně veřejný profil, komunikovat spolu, sdílet informace, fotografie,

Více

Projektové řízení. Ing. Miroslav Žilka, Ph.D.

Projektové řízení. Ing. Miroslav Žilka, Ph.D. Projektové řízení Ing. Miroslav Žilka, Ph.D. Týmová spolupráce Prezentační dovednosti Kreativita Projekt REHP Kalkulace nákladů Přesvědčivost Rozpočet TE hodnocení projektů Diplomacie Zásady projektového

Více

MO-ME-N-T MOderní MEtody s Novými Technologiemi

MO-ME-N-T MOderní MEtody s Novými Technologiemi Projekt: Reg.č.: Operační program: Škola: Tematický okruh: Téma: Jméno autora: MO-ME-N-T MOderní MEtody s Novými Technologiemi CZ.1.07/1.5.00/34.0903 Vzdělávání pro konkurenceschopnost Hotelová škola,

Více

TOTAL HOT DELUXE VLT CZK

TOTAL HOT DELUXE VLT CZK TOTAL HOT DELUXE VLT CZK Typ hry: válcová video hra s 4 otáčejícími se válci a 25 výherními liniemi Maximální sázka na 1 hru: 1000 Kč Maximální výhra z jedné hry: 200 000 Kč Maximální výhra s double up

Více

Internetové publikování

Internetové publikování Internetové publikování Doc. Ing. Petr Zámostný, Z Ph.D. místnost: A-72aA tel.: 4222, 4167 (sekretari( sekretariát ústavu 111) e-mail: petr.zamostny@vscht vscht.czcz Osnova předmp» Úvod - principy fungování

Více

Rezoluce v predikátové logice

Rezoluce v predikátové logice Rezoluce v predikátové logice Jiří Velebil: X01DML 15. října 2010: Rezoluce v PL 1/16 Základní myšlenky 1 M = ϕ iff X = M { ϕ} nesplnitelná. (M musí být množina sentencí, ϕ sentence.) 2 X nesplnitelná

Více

Počítačové zpracování přirozeného jazyka a Transparentní intenzionální logika

Počítačové zpracování přirozeného jazyka a Transparentní intenzionální logika Počítačové zpracování přirozeného jazyka a Transparentní intenzionální logika Jiří Raclavský V této stati bych chtěl stručně pojednat o tématu zmíněném v názvu. Nejprve bude charakterizována Transparentní

Více

PaedDr. Petr Pexa, Ph.D.

PaedDr. Petr Pexa, Ph.D. ODBORNÉ KURIKULUM Jméno / Příjmení PaedDr. Petr Pexa, Ph.D. Trvalé bydliště České Budějovice Telefon +420 603 327 457 +420 387 77 3075 E-mail pexa@pf.jcu.cz Státní příslušnost Česká republika Datum narození

Více

Tematické okruhy pro Státní závěrečné zkoušky

Tematické okruhy pro Státní závěrečné zkoušky Tematické okruhy pro Obor: Název SZZ: Ekonomika podniku Logistika a management Vypracoval: Ing. Josef Maroušek, Ph.D., Ing. Ladislav Šolc, Ph.D., Ing. Julie Tužová, doc. Ing. Rudolf Kampf, Ph.D. Podpis:

Více

ZDANĚNÍ HER A SÁZEK V EVROPSKÉM KONTEXTU

ZDANĚNÍ HER A SÁZEK V EVROPSKÉM KONTEXTU ZDANĚNÍ HER A SÁZEK V EVROPSKÉM KONTEXTU ALENA SALINKOVÁ Právnická fakulta, Masarykova univerzita, Katedra finančního práva a národního hspodářeství, Česká republika Abstract in original language Článek

Více

CZ 1.07/1.1.32/02.0006

CZ 1.07/1.1.32/02.0006 PO ŠKOLE DO ŠKOLY CZ 1.07/1.1.32/02.0006 Číslo projektu: CZ.1.07/1.1.32/02.0006 Název projektu: Po škole do školy Příjemce grantu: Gymnázium, Kladno Název výstupu: Prohlubující semináře Matematika (MI

Více

MANAGEMENT Systém managementu kvality

MANAGEMENT Systém managementu kvality MANAGEMENT Systém managementu kvality doc. Ing. Monika MOTYČKOVÁ (Grasseová), Ph.D. Univerzita obrany Fakulta ekonomika a managementu Katedra vojenského managementu a taktiky Kounicova 44/1. patro/kancelář

Více

====== ZAČÁTEK UKÁZKY ======

====== ZAČÁTEK UKÁZKY ====== ====== ZAČÁTEK UKÁZKY ====== Na závěr kapitoly poslední poznámka, která se týká obou variant. Praxí poznáte, že ačkoliv je startovních prémiových kombinací v Omaha pokeru víc než v Texas Hold'em, nedostanete

Více

Psychosociální a právní souvislosti odanonymňování dárcovství gamet v ART

Psychosociální a právní souvislosti odanonymňování dárcovství gamet v ART Psychosociální a právní souvislosti odanonymňování dárcovství gamet v ART Hana Konečná Zdravotně sociální fakulta Jihočeské univerzity XVIII. andrologické sympozium a I. feminologické sympozium, Český

Více

Klauzulární logika. Znalostní báze. Šárka Vavrečková

Klauzulární logika. Znalostní báze. Šárka Vavrečková Klauzulární logika Znalostní báze Šárka Vavrečková Ústav informatiky, Filozoficko-přírodovědecká fakulta Slezské univerzity v Opavě sarka.vavreckova@fpf.slu.cz 26. listopadu 2007 (Znalostní báze) Klauzulární

Více

SYLABUS MODUL BUSINESS MODELOVÁNÍ. Doc. RNDr. Vladimír Krajčík, Ph.D.

SYLABUS MODUL BUSINESS MODELOVÁNÍ. Doc. RNDr. Vladimír Krajčík, Ph.D. SYLABUS MODUL BUSINESS MODELOVÁNÍ Doc. RNDr. Vladimír Krajčík, Ph.D. Ostrava 20 : Business modelování Autoři: Doc. RNDr. Vladimír Krajčík, Ph.D. Vydání: první, 20 Počet stran: Tisk: Vysoká škola podnikání,

Více

Inovace výuky prostřednictvím ICT v SPŠ Zlín, CZ.1.07/1.5.00/34.0333 Vzdělávání v informačních a komunikačních technologií

Inovace výuky prostřednictvím ICT v SPŠ Zlín, CZ.1.07/1.5.00/34.0333 Vzdělávání v informačních a komunikačních technologií VY_32_INOVACE_31_02 Škola Střední průmyslová škola Zlín Název projektu, reg. č. Vzdělávací oblast Vzdělávací obor Tematický okruh Téma Tematická oblast Název Autor Vytvořeno, pro obor, ročník Inovace výuky

Více

Pravidlové systémy. František Fjertil Špoutil

Pravidlové systémy. František Fjertil Špoutil Pravidlové systémy František Fjertil Špoutil 2 pravdy o LARPu: 1) Pravidla vymezují rámec akce 2) Má-li hráč schopnost, tak ji bude chtít i použít PRAVIDLO - definice Je to takový herní mechanismus, který

Více

NADANÝ ŽÁK A JEHO MOŽNOSTI ROZVOJE VE VOLNÉM ČASE

NADANÝ ŽÁK A JEHO MOŽNOSTI ROZVOJE VE VOLNÉM ČASE 1 NADANÝ ŽÁK A JEHO MOŽNOSTI ROZVOJE VE VOLNÉM ČASE Příklady aktivit pro volný čas nadaných žáků Ing. Martin Pokorný Projekt OPVK reg.č. CZ.1.07/.1.2.00/08.0126 2 VERBÁLNÍ HRY - rozvíjejí především slovní

Více

gamifikace pro verejnost hravý event marketing

gamifikace pro verejnost hravý event marketing ˇ pro verejnost hravý event marketing Chtěli byste dát vědět více lidem o své instituci, značce či produktu a oslovit nové cílové skupiny? více motivovat již stávající klienty k určité činnosti a vzbuzovat

Více

PRAVIDLA POKERU Čtyři barvy Třináct hodnot VÝHERNÍ KOMBINACE

PRAVIDLA POKERU Čtyři barvy Třináct hodnot VÝHERNÍ KOMBINACE PRAVIDLA POKERU Poker se hraje s balíčkem 52 karet. Ty se dělí na čtyři barvy, každá z nich obsahuje 13 hodnot. Čtyři barvy Všechny barvy stejné hodnoty jsou si rovny, žádná z nich nemá vyšší hodnotu nad

Více

Herní plán DIRTY MONEY

Herní plán DIRTY MONEY Herní plán DIRTY MONEY Dirty Money 1. Úvod Dirty Money je hra s pěti válci a 9 výherními liniemi. Hra obsahuje 9 různých symbolů. 2. Pravidla hry a její průběh Ve hře Dirty Money může hráč nastavit sázky

Více

Cvičení z matematiky jednoletý volitelný předmět

Cvičení z matematiky jednoletý volitelný předmět Název předmětu: Zařazení v učebním plánu: Cvičení z matematiky O8A, C4A, jednoletý volitelný předmět Cíle předmětu Obsah předmětu je zaměřen na přípravu studentů gymnázia na společnou část maturitní zkoušky

Více

Registrace na stránkách Disney Infinity

Registrace na stránkách Disney Infinity Základní obsah hry Disney Infinity PC 1.0 je ke stažení zdarma, podrobný návod k vytvoření herního účtu najdete níže. Verze hry na konzole vyžaduje zakoupení startovní sady (Starter pack) pro příslušnou

Více

S funkcemi můžeme počítat podobně jako s čísly, sčítat je, odečítat, násobit a dělit případně i umocňovat.

S funkcemi můžeme počítat podobně jako s čísly, sčítat je, odečítat, násobit a dělit případně i umocňovat. @08. Derivace funkce S funkcemi můžeme počítat podobně jako s čísly, sčítat je, odečítat, násobit a dělit případně i umocňovat. Definice: Součet funkce f a g je takový předpis, taková funkce h, která každému

Více

Lehký úvod do výrokové logiky (nejen pro ty, kteří se připravují na TSP MU) část první

Lehký úvod do výrokové logiky (nejen pro ty, kteří se připravují na TSP MU) část první Lehký úvod do výrokové logiky (nejen pro ty, kteří se připravují na TSP MU) část první PRACOVNÍ VERZE TEXTU, KTERÁ BUDE DÁLE UPRAVOVÁNA TEXT SLOUŽÍ PRO POTŘEBY ÚČASTNÍKŮ EMAILOVÉHO SEMINÁŘE RESENI-TSP.CZ

Více

Využití technologie k dosažení nových obchodních příležitostí

Využití technologie k dosažení nových obchodních příležitostí Využití technologie k dosažení nových obchodních příležitostí Tomáš Kadlec Agenda 1. Zákaznicky orientované IT Komplikace s tradičním IT Centric Pricing and Billing Příklady použití nástroje a benefity

Více

UPPSALA. Herní materiál. Cíl hry. Pro 2 až 6 hráčů od 10 let

UPPSALA. Herní materiál. Cíl hry. Pro 2 až 6 hráčů od 10 let UPPSALA Pro 2 až 6 hráčů od 10 let Uppsala! Proč právě Uppsala? Že se v evropských městech skvěle vyznáte? Ale kde je zrovna Uppsala? Zřejmě leží na západ od Sankt Petersburgu. Leží ale na východ, nebo

Více

Mgr. Lucie Křeménková, Ph.D.

Mgr. Lucie Křeménková, Ph.D. Mgr. Lucie Křeménková, Ph.D. FUNKCE: členka akademického senátu PdF, UP; prezenční rozvrh; koordinátorka webových stránek TELEFON: 585635201 E-MAIL: lucie.kremenkova@gmail.com ČÍSLO PRACOVNY: 4.27 VĚDECKO-VÝZKUMNÉ

Více

Kajot Casino Ltd. Popis hry Joker 27

Kajot Casino Ltd. Popis hry Joker 27 Joker 27 Joker 27 Popis a pravidla Joker 27 je hra se třemi kotouči. Zobrazený výsledek se skládá ze tří řad po třech symbolech (každý kotouč zobrazuje tři symboly). Náhledy Uvedený obrázek představuje

Více

VY_32_INOVACE_IKTO2_0260 PCH

VY_32_INOVACE_IKTO2_0260 PCH VY_32_INOVACE_IKTO2_0260 PCH VÝUKOVÝ MATERIÁL V RÁMCI PROJEKTU OPVK 1.5 PENÍZE STŘEDNÍM ŠKOLÁM ČÍSLO PROJEKTU: CZ.1.07/1.5.00/34.0883 NÁZEV PROJEKTU: ROZVOJ VZDĚLANOSTI ČÍSLO ŠABLONY: III/2 DATUM VYTVOŘENÍ:

Více

Postův korespondenční problém. Meze rozhodnutelnosti 2 p.1/13

Postův korespondenční problém. Meze rozhodnutelnosti 2 p.1/13 Postův korespondenční problém Meze rozhodnutelnosti 2 p.1/13 Postův korespondenční problém Definice 10.1 Postův systém nad abecedou Σ je dán neprázdným seznamem S dvojic neprázdných řetězců nadσ, S = (α

Více

KAMIONEM PO EVROPĚ "Kdo si hraje, nezlobí!" Vyrobeno výrobním družstvem Eva ve spolupráci s FaF VFU BRNO Nápad: Výrobní družstvo disk Říčany

KAMIONEM PO EVROPĚ Kdo si hraje, nezlobí! Vyrobeno výrobním družstvem Eva ve spolupráci s FaF VFU BRNO Nápad: Výrobní družstvo disk Říčany KAMIONEM PO EVROPĚ "Kdo si hraje, nezlobí!" Vyrobeno výrobním družstvem Eva ve spolupráci s FaF VFU BRNO Nápad: Výrobní družstvo disk Říčany OBSAH HRY: 1. Herní plán 2. Kamiony z moduritu - 6 ks. 3. Karty

Více

Datové modelování II

Datové modelování II Datové modelování II Atributy Převod DM do schématu SŘBD Dotazovací jazyk SQL Multidimenzionální modelování Principy Doc. Miniberger, BIVŠ Atributy Atributem entity budeme rozumět název záznamu či informace,

Více

Představení Seznam.cz Abaku ligy Jak děti tráví čas s počítačem a internetem?

Představení Seznam.cz Abaku ligy Jak děti tráví čas s počítačem a internetem? Představení Seznam.cz Abaku ligy Jak děti tráví čas s počítačem a internetem? Michal Vodák, marketingový ředitel Seznam.cz Tomáš Zatloukal, ředitel odboru vzdělávání MŠMT Vlastimil Lisse, ředitel ZŠ a

Více

Příručka aplikace Bovo

Příručka aplikace Bovo Aron Bostrom Eugene Trounev Překlad: Lukáš Vlček BOVO N 5 2 Obsah 1 Úvod 5 2 Jak hrát 6 3 Herní pravidla, strategie a tipy 7 3.1 Herní pravidla........................................ 7 3.2 Herní tipy..........................................

Více

Věc: Rozšířené stanovisko Ministerstva financí k tzv. Kvízomatům

Věc: Rozšířené stanovisko Ministerstva financí k tzv. Kvízomatům MINISTERSTVO FINANCÍ Státní dozor nad sázkovými hrami a loteriemi Věc: Rozšířené stanovisko Ministerstva financí k tzv. Kvízomatům Podle ust. 1 odst. 1 zákona č. 202/1990 Sb., o loteriích a jiných podobných

Více

Situace v dalším vzdělávání v kraji Vysočina s důrazem na malé a střední podniky. Vítězslav Šeda, OHK Jihlava

Situace v dalším vzdělávání v kraji Vysočina s důrazem na malé a střední podniky. Vítězslav Šeda, OHK Jihlava Situace v dalším vzdělávání v kraji Vysočina s důrazem na malé a střední podniky Vítězslav Šeda, OHK Jihlava Možnosti vzdělávání se zejména v kategorii dalšího vzdělávání v kraji Vysočina rozšířily zejména

Více

3. Žáci změní původní větu tak, že nahradí přísudek druhým typem (tzn. slovesný na jmenný se sponou a

3. Žáci změní původní větu tak, že nahradí přísudek druhým typem (tzn. slovesný na jmenný se sponou a Název: Skladba Cíl: Opakování učiva o větě jednoduché a souvětí Fáze vyučovacího procesu: opakování Organizační forma vyučování: skupinová Převažující myšlenková operace: analýza, syntéza, substituce Pomůcky:

Více

WORD. (zobecněno pro verzi 2007)

WORD. (zobecněno pro verzi 2007) WORD (zobecněno pro verzi 2007) Program MS Word patří softwarově do skupiny uživatelských aplikací, které se nazývají textové editory. Slouží především k editacím či-li úpravám textů vč. vkládání grafických

Více

Vývoj mobilních aplikací s využitím JavaFX Mobile

Vývoj mobilních aplikací s využitím JavaFX Mobile Vývoj mobilních aplikací s využitím JavaFX Mobile Jan Trestr RNDr. Jaroslav Icha Školní rok 2009 2010 Abstrakt Bakalářská práce se zabývá možnostmi skriptovacího jazyka JavaFX pro vývoj mobilní aplikace

Více

Fibonacciho čísla na střední škole

Fibonacciho čísla na střední škole Fibonacciho čísla na střední škole Martina Jarošová Abstract In this contribution we introduce some interesting facts about Fibonacci nunbers We will prove some identities using different proof methods

Více

Tento projekt je spolufinancován Evropským sociálním fondem a státním rozpočtem České republiky

Tento projekt je spolufinancován Evropským sociálním fondem a státním rozpočtem České republiky Projekt: Přispějme k ještě kvalitnější a modernější výuce na ZŠ Chotěboř Buttulova Registrační číslo projektu CZ.01.07/1.1.01/01.0004 Tento projekt je spolufinancován Evropským sociálním fondem a státním

Více

Řešení: Ano. Řešení: Ne.

Řešení: Ano. Řešení: Ne. 1 ÚLOHY Z PREDIKÁTOVÉ LOGIKY Instance, varianty. UF.1.1. Substituovatelnost. 1. Buď ϕ formule ( z)(x=z)&y < x a dále x, y, z různé proměnné, F unární funkční symbol, c konstantní symbol. Uveďte, zda je

Více

DATABÁZE A SYSTÉMY PRO UCHOVÁNÍ DAT 61 DATABÁZE - ACCESS. (příprava k vykonání testu ECDL Modul 5 Databáze a systémy pro zpracování dat)

DATABÁZE A SYSTÉMY PRO UCHOVÁNÍ DAT 61 DATABÁZE - ACCESS. (příprava k vykonání testu ECDL Modul 5 Databáze a systémy pro zpracování dat) DATABÁZE A SYSTÉMY PRO UCHOVÁNÍ DAT 61 DATABÁZE - ACCESS (příprava k vykonání testu ECDL Modul 5 Databáze a systémy pro zpracování dat) DATABÁZE A SYSTÉMY PRO UCHOVÁNÍ DAT 62 Databáze a systémy pro uchování

Více

TM1 vs Planning & Reporting

TM1 vs Planning & Reporting R TM1 vs Planning & Reporting AUDITOVATELNOST? ZABEZPEČENÍ? SDÍLENÍ? KONSOLIDACE? PROPOJITELNOST???? TM1?? COGNOS PLANNING IBM COGNOS 8 PLANNING Cognos Planning Podpora plánovacího cyklu Jednoduchá tvorba

Více

KAJOT GG V.CZ-kat.3. Česká republika OBSAHUJE NÍŽE UVEDENÉ HRY:

KAJOT GG V.CZ-kat.3. Česká republika OBSAHUJE NÍŽE UVEDENÉ HRY: KAJOT GG V.CZ-kat.3 Česká republika OBSAHUJE NÍŽE UVEDENÉ HRY: AZTECS EMPIRE BIG APPLE GOLD MACHINE HAPPY FORTY JOKER DREAM JOKER STAR 81 LONDON PUB MACAU MAX WILD NITRO 81 RING OF FIRE XL SIMPLY THE BEST

Více

Limita a spojitost funkce

Limita a spojitost funkce Limita a spojitost funkce Základ všší matematik Dana Říhová Mendelu Brno Průřezová inovace studijních programů Lesnické a dřevařské fakult MENDELU v Brně (LDF) s ohledem na disciplin společného základu

Více

4 DBR (Buben, Zásobník, Lano)

4 DBR (Buben, Zásobník, Lano) Plánování a řízení výroby simulační hra 1 Úvod Tato simulační hra má za úkol ozřejmit výhody a nevýhody metod řízení výroby pomocí tří základních postupů. Popisovaný model výroby má však vlastnosti, které

Více

ANOTACE K VÝUKOVÉ SADĚ č. VY_32_INOVACE_01_03_MAT_Pr

ANOTACE K VÝUKOVÉ SADĚ č. VY_32_INOVACE_01_03_MAT_Pr Číslo projektu Číslo a název šablony klíčové aktivity Tematická oblast (předmět) Autor ANOTACE K VÝUKOVÉ SADĚ č. VY_32_INOVACE_01_03_MAT_Pr CZ.1.07/1.5.00/34.0705 III/2 Inovace a zkvalitnění výuky prostřednictvím

Více

ROČNÍKOVÝ PROJEKT. Evade

ROČNÍKOVÝ PROJEKT. Evade PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITY PALACKÉHO KATEDRA INFORMATIKY ROČNÍKOVÝ PROJEKT Evade V Olomouci, dne 21. června 2010 Anton Kuzmin Informatika, III. ročník Abstrakt Implementace hry Evade(původně od

Více

Výroková a predikátová logika Výpisky z cvičení Martina Piláta

Výroková a predikátová logika Výpisky z cvičení Martina Piláta Výroková a predikátová logika Výpisky z cvičení Martina Piláta Jan Štětina 1. prosince 2009 Cviˇcení 29.9.2009 Pojem: Sekvence je konečná posloupnost, značíme ji predikátem seq(x). lh(x) je délka sekvence

Více