Automaty a gramatiky. Organizační záležitosti. Přednáška: na webu (http://ktiml.mff.cuni.cz/~bartak/automaty) Proč chodit na přednášku?

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "Automaty a gramatiky. Organizační záležitosti. Přednáška: na webu (http://ktiml.mff.cuni.cz/~bartak/automaty) Proč chodit na přednášku?"

Transkript

1 Orgnizční záležitosti Atomty grmtiky Romn Brták, KTIML Přednášk: n we (http://ktiml.mff.cni.cz/~rtk/tomty) Proč chodit n přednášk? dozvíte se více než při pohém čtení sljdů de záv (někdy) Cvičení: Proč chodit n cvičení? vyzkošíte si, zd látce rozmíte rozšíříte si znlosti z přednášky Zkošk: písemná ústní část porozmění látce + schopnost formlizce O čem de přednášk? stdim konečného popis nekonečných ojektů stdim strktních výpočetních zřízení dvě větve: tomty grmtiky Zdroje litertr R. Brták: Atomty grmtiky: on-line M. Chytil: Atomty grmtiky, SNTL Prh, 984 V. Koek: Atomty grmtiky, elektronický text, 996 konečné tomty zásoníkové tomty lineárně omezené tomty reglární grmtiky ezkontextové grmtiky kontextové grmtiky M. Chytil: Teorie tomtů formálních jzyků, skript M. Chytil: Sírk řešených příkldů z teorie tomtů formálních jzyků, skript M. Demlová, V. Koek: Algerická teorie tomtů, SNTL Prh, 99 Tringovy stroje grmtiky typ J.E. Hopcroft, R. Motwni, J.D. Ullmn: Introdction to Atomt Theory, Lngges nd Compttion, Addison-Wesley -

2 Pohled do historie Počátky ve drhé čtvrtině 2. století první formlizce pojm lgoritms (936) co stroje mí co ne? Chrch, Tring, Kleene, Post, Mrkov Polovin 2. století neronové sítě (943) konečné tomty (Kleene 956 neronové sítě KA) 6. lét 2. století grmtiky (Chomsky) zásoníkové tomty formální teorie konečných tomtů Prktické vyžití! zprcování přirozeného jzyk! překldče! návrh, popis verifikce hrdwre integrovné ovody, stroje, tomty! relizce pomocí softwre formální popis progrm hledání výskyt slov v text, verifikce systémů s konečně stvy (protokoly, ),! plikce v iologii simlce růst cellární tomty see-reprodkce tomtů Úvod do konečných tomtů Projekt SETI (Serch Extr-Terrestril Intelligence) nlýz signálů - hledání vzork Úvod do konečných tomtů 2 Stroj n káv stroj signlizje vydání kávy po vhození potřeného onos Hledání vzork Vstpem stroje jso mince,2,5 Kč, káv stojí 5 Kč c d 2/ /- /- / /- 2/ / Relizce pomocí Melyho stroje s výstpem při přechod. -2

3 Formlizce konečného tomt Konečným tomtem nzýváme pětici A = (Q,X,δ,q,F), kde: Q - konečná neprázdná množin stvů (stvový prostor) X - konečná neprázdná množin symolů (vstpní eced) δ - zorzení Q X Q (přechodová fnkce) q Q (počáteční stv) F Q (množin přijímcích stvů) c d Popis konečného tomt Stvový digrm (grf) vrcholy = stvy hrny = přechody Tlk řádky = stvy+přechody slopce = písmen Stvový strom vrcholy = stvy hrny = přechody poze dosžitelné stvy! c d c c d c c d d c Aeced, slov, jzyky eced X = konečná neprázdná množin symolů slovo = konečná poslopnost symolů (i prázdná) prázdné slovo λ (e, ε,...) X* = množin všech slov v ecedě X X + = množin všech neprázdných slov v ecedě X X* = X + {λ} jzyk L X* (množin slov v ecedě X) Zákldní operce se slovy: zřetězení slov.v, v mocnin n ( = λ, =, n+ = n.) délk slov ( λ = ) Rozšířená přechodová fnkce přechodová fnkce δ: Q X Q rozšířená přechodová fnkce δ* : Q X* Q trnzitivní závěr δ indktivní definice δ*(q,λ) = q δ*(q,wx) = δ(δ*(q,w),x), x X, w X* úmlv: δ* deme někdy oznčovt tké jko δ -3

4 Jzyky rozpozntelné konečnými tomty Jzykem rozpoznávným (kceptovným, přijímným) konečným tomtem A = (Q,X, δ,q,f) nzveme jzyk: L(A) = {w w X* δ*(q,w) F}. Slovo w je přijímáno tomtem A, právě když w L(A). Jzyk L je rozpozntelný konečným tomtem, jestliže existje konečný tomt A tkový, že L=L(A). Tříd jzyků rozpozntelných konečnými tomty znčíme F, tzv. reglární jzyky. Příkldy reglárních jzyků L= { w w {,}*, w=xx, x {,}, {,}*} L= { w w {,}*, w=, {,}*} L= { w w {,}* w je inární zápis čísl dělitelného 5} L = { n n n } není reglární jzyk! Kongrence Jk zjistit, že jzyk není rozpozntelný konečným tomtem? Jk chrkterizovt reglární jzyky? Kongrence Nechť X je konečná eced, ~ je relce ekvivlence (reflexivní, symetrická, trnsitivní) n X*. Potom: ) ~ je prvá kongrence, jestliže,v,w X* ~v w~vw ) je konečného index, jestliže rozkld X*/~ má konečný počet tříd Rozkld n třídy v w vw Nerodov vět Nechť L je jzyk nd konečno ecedo X. Potom následjící tvrzení jso ekvivlentní: ) L je rozpozntelný konečným tomtem, ) existje prvá kongrence ~ konečného index n X* tk, že L je sjednocením jistých tříd rozkld X*/~. X* X*/~ L -4

5 Důkz Nerodovy věty ) ) tomt prvá kongrence konečného index definjme ~v δ*(q,) = δ*(q,v) je to ekvivlence (reflexivní, symetrická, trnsitivní) je to prvá kongrence (z definice δ*) má konečný index (konečně mnoho stvů) L= { w δ*(q,w) F} = { w δ*(q q F,w) = q} Pozorování: stvy odpovídjí třídám ekvivlence w v Důkz Nerodovy věty - pokrčování ) ) prvá kongrence konečného index tomt oznčme [] tříd rozkld oshjící slovo Jk sestrojíme konečný tomt A? eced X dán stvy Q - třídy rozkld X*/~ stv q = [λ] koncové stvy F = {c,..,c n }, kde L= i=..n c i přechodová fnkce δ([],x) = [x] přechodová fnkce je korektní (z definice prvé kongrence) Ještě L(A) = L? w L w i=..n c i w c w c n [w]= c [w]= c n [w] F w L(A) δ*([λ],w) = [w] x L Požití Nerodovy věty Konstrkce tomtů Příkld: Sestrojte tomt přijímjící jzyk L = {w w {,}* & w oshje 3k+2 symolů } oznčme x počet symolů x ve slově definjme ~v ( mod 3 = v mod 3 ) tři třídy ekvivlence,,2 (zytky po dělení 3) L odpovídá třídě 2 -přechody přesovjí do následjící třídy (mod 3) -přechody zchovávjí tříd 2 Požití Nerodovy věty - pokrčování Důkz nereglárnosti jzyk! Příkld: Rozhodněte zd následjící jzyk je reglární L = { n n n }. Předpokládejme, že jzyk je reglární existje prvá kongrence konečného index m, L je sjednocením tříd vezmeme slov,,, m+ dvě slov pdno do stejné třídy (kričkový princip) i j i ~ j přidejme i i i ~ j i (prvá kongrence) spor i i L & j i L -5

Automaty a gramatiky. Roman Barták, KTIML. Důkaz věty o isomorfismu reduktů. Věta o isomorfismu reduktů. Pro připomenutí

Automaty a gramatiky. Roman Barták, KTIML. Důkaz věty o isomorfismu reduktů. Věta o isomorfismu reduktů. Pro připomenutí 3 Automty grmtiky Romn Brták, KTIML rtk@ktimlmffcunicz http://ktimlmffcunicz/~rtk Pro připomenutí 2 Njít ekvivlentní stvy w X* δ*(p,w) F δ*(q,w) F Vyřdit nedosžitelné stvy 3 Sestrojit podílový utomt Automty

Více

písemná a ústní část porozumění látce + schopnost formalizace

písemná a ústní část porozumění látce + schopnost formalizace Automty grmtiky Romn Brták, KTIML rtk@ktiml.mff.cuni.cz http://ktiml.mff.cuni.cz/~rtk Orgnizční záležitosti Přednášk: n weu (http://ktiml.mff.cuni.cz/~rtk/utomty) Proč chodit n přednášku? Cvičení: dozvíte

Více

Petriho sítě PES 2007/2008. ceska@fit.vutbr.cz. Doc. Ing. Tomáš Vojnar, Ph.D. vojnar@fit.vutbr.cz

Petriho sítě PES 2007/2008. ceska@fit.vutbr.cz. Doc. Ing. Tomáš Vojnar, Ph.D. vojnar@fit.vutbr.cz PES Petriho sítě p. 1/34 Petriho sítě PES 2007/2008 Prof. RNDr. Miln Češk, CS. esk@fit.vutr.z Do. Ing. Tomáš Vojnr, Ph.D. vojnr@fit.vutr.z Sz: Ing. Petr Novosd, Do. Ing. Tomáš Vojnr, Ph.D. (verze 06.04.2010)

Více

Teorie jazyků a automatů

Teorie jazyků a automatů Slezská univerzit v Opvě Filozoficko-přírodovědecká fkult v Opvě Šárk Vvrečková Teorie jzyků utomtů Skript do předmětů II Zákldy teoretické informtiky Ústv informtiky Filozoficko-přírodovědecká fkult v

Více

Vlastnosti regulárních jazyků

Vlastnosti regulárních jazyků Vlastnosti regulárních jazyků Podobně jako u dalších tříd jazyků budeme nyní zkoumat následující vlastnosti regulárních jazyků: vlastnosti strukturální, vlastnosti uzávěrové a rozhodnutelné problémy pro

Více

Naproti tomu gramatika je vlastně soupis pravidel, jak

Naproti tomu gramatika je vlastně soupis pravidel, jak 1 Kapitola 1 Úvod V přednášce se zaměříme hlavně na konečný popis obecně nekonečných množin řetězců symbolů dané množiny A. Prvkům množiny A budeme říkat písmena, řetězcům (konečným posloupnostem) písmen

Více

Úvod do Teoretické Informatiky (456-511 UTI)

Úvod do Teoretické Informatiky (456-511 UTI) Úvod do Teoretické Informtiky (456-511 UTI) Doc. RNDr. Petr Hliněný, Ph.D. petr.hlineny@vs.cz 25. ledn 2006 Verze 1.02. Copyright c 2004 2006 Petr Hliněný. (S využitím části mteriálů c Petr Jnčr.) Osh

Více

3. ROVNICE A NEROVNICE 85. 3.1. Lineární rovnice 85. 3.2. Kvadratické rovnice 86. 3.3. Rovnice s absolutní hodnotou 88. 3.4. Iracionální rovnice 90

3. ROVNICE A NEROVNICE 85. 3.1. Lineární rovnice 85. 3.2. Kvadratické rovnice 86. 3.3. Rovnice s absolutní hodnotou 88. 3.4. Iracionální rovnice 90 ROVNICE A NEROVNICE 8 Lineární rovnice 8 Kvdrtické rovnice 8 Rovnice s bsolutní hodnotou 88 Ircionální rovnice 90 Eponenciální rovnice 9 Logritmické rovnice 9 7 Goniometrické rovnice 98 8 Nerovnice 0 Úlohy

Více

Psychologická metodologie. NMgr. obor Psychologie

Psychologická metodologie. NMgr. obor Psychologie Pržská vysoká škol psychosociálních studií, s.r.o. Temtické okruhy ke státní mgisterské zkoušce Psychologická metodologie NMgr. oor Psychologie 1 Vědecká teorie vědecká metod Vědecké vysvětlení, vědecký

Více

SYLABUS MODULU UPLATNĚNÍ NA TRHU PRÁCE DÍLČÍ ČÁST II BAKALÁŘSKÝ SEMINÁŘ + PŘÍPRAVA NA PRAXI. František Prášek

SYLABUS MODULU UPLATNĚNÍ NA TRHU PRÁCE DÍLČÍ ČÁST II BAKALÁŘSKÝ SEMINÁŘ + PŘÍPRAVA NA PRAXI. František Prášek SYLABUS MODULU UPLATNĚNÍ NA TRHU PRÁCE DÍLČÍ ČÁST II BAKALÁŘSKÝ SEMINÁŘ + PŘÍPRAVA NA PRAXI Frntišek Prášek Ostrv 011 1 : Sylbus modulu Upltnění n trhu práce, dílčí část II Bklářská práce + příprv n prxi

Více

4.2.1 Goniometrické funkce ostrého úhlu

4.2.1 Goniometrické funkce ostrého úhlu .. Goniometriké funke ostrého úhlu Předpokldy: 7 Dnešní látku opkujeme už potřetí (poprvé n zčátku mtemtiky, podruhé ve fyzie) je to oprvdu důležité. C C C C C C Všehny prvoúhlé trojúhelníky s úhlem α

Více

2.3. DETERMINANTY MATIC

2.3. DETERMINANTY MATIC 2.3. DETERMINANTY MATIC V této kpitole se dozvíte: definici determinntu čtvercové mtice; co je to subdeterminnt nebo-li minor; zákldní vlstnosti determinntů, používné v mnoh prktických úlohách; výpočetní

Více

Kapitola 1. Formální jazyky. 1.1 Formální abeceda a jazyk. Cíle kapitoly: Cíle této části: Klíčová slova: abeceda, slovo, jazyk, operace na jazycích

Kapitola 1. Formální jazyky. 1.1 Formální abeceda a jazyk. Cíle kapitoly: Cíle této části: Klíčová slova: abeceda, slovo, jazyk, operace na jazycích Kpitol 1 Formální jzyky Cíle kpitoly: Po prostudování kpitoly máte plně rozumět pojmům jko(formální) beced, slovo, jzyk, operce n slovech jzycích; máte zvládt práci s těmito pojmy n prktických příkldech.

Více

PÍSEMNÁ ZPRÁVA ZADAVATELE. "Poradenství a vzdělávání při zavádění moderních metod řízení pro. Město Klimkovice

PÍSEMNÁ ZPRÁVA ZADAVATELE. Poradenství a vzdělávání při zavádění moderních metod řízení pro. Město Klimkovice PÍSEMNÁ ZPRÁVA ZADAVATELE pro zjednodušené podlimitní řízení n služby v rámci projektu Hospodárné odpovědné město Klimkovice, reg. č. CZ.1.04/4.1.01/89.00121, který bude finncován ze zdrojů EU "Pordenství

Více

Sbírka příkladů do IFJ. Petr Zemek

Sbírka příkladů do IFJ. Petr Zemek Sírk příkldů do IFJ Petr Zemek 11. ledn 2012 Osh Předmluv 1 1 Aeedy, řetěze jzyky 3 2 Úvod do překldčů 5 3 Modely regulárníh jzyků 6 4 Speiální konečné utomty 8 5 Lexikální nlýz 10 6 Modely ezkontextovýh

Více

Komplexní čísla tedy násobíme jako dvojčleny s tím, že použijeme vztah i 2 = 1. = (a 1 + ia 2 )(b 1 ib 2 ) b 2 1 + b2 2.

Komplexní čísla tedy násobíme jako dvojčleny s tím, že použijeme vztah i 2 = 1. = (a 1 + ia 2 )(b 1 ib 2 ) b 2 1 + b2 2. 7 Komplexní čísl 71 Komplexní číslo je uspořádná dvojice reálných čísel Komplexní číslo = 1, ) zprvidl zpisujeme v tzv lgebrickém tvru = 1 + i, kde i je imginární jednotk, pro kterou pltí i = 1 Číslo 1

Více

( ) 2 2 2 ( ) 3 3 2 2 3. Výrazy Výraz je druh matematického zápisu, který obsahuje konstanty, proměnné, symboly matematických operací, závorky.

( ) 2 2 2 ( ) 3 3 2 2 3. Výrazy Výraz je druh matematického zápisu, který obsahuje konstanty, proměnné, symboly matematických operací, závorky. Výrzy Výrz je druh mtemtického zápisu, který obshuje konstnty, proměnné, symboly mtemtických opercí, závorky. Příkldy výrzů: + výrz obshuje pouze konstnty číselný výrz x výrz obshuje konstntu ( proměnnou

Více

Základní pojmy: Číselné obory a vztahy mezi nimi Zákony pro počítání s číselnými množinami

Základní pojmy: Číselné obory a vztahy mezi nimi Zákony pro počítání s číselnými množinami / Zákldní pojmy: Číselné obory vzthy mezi nimi ČÍSELNÉ MNOŽINY Zákony pro počítání s číselnými množinmi. Přirozená čísl vyjdřují počet prvků množiny N. Celá čísl změn počtu prvků dné množiny, přírůstky

Více

POVRCH A OBJEM HRANOLU A JEHLANU

POVRCH A OBJEM HRANOLU A JEHLANU Projekt ŠABLONY NA GM Gymnázim elké Meziříčí registrční číslo rojekt: CZ..07/.5.00/.098 I- Inoce zklitnění ýky směřjící k rozoji mtemtické grmotnosti žáků středních škol PORCH A OBJEM HRANOLU A JEHLANU

Více

MĚŘENÍ Laboratorní cvičení z měření Měření nízkofrekvenčního koncového zesilovače, část 3-13-3

MĚŘENÍ Laboratorní cvičení z měření Měření nízkofrekvenčního koncového zesilovače, část 3-13-3 MĚŘENÍ Laboratorní cvičení z měření Měření nízkofrekvenčního koncového zesilovače, část 3-13-3 Výkový materiál Číslo projekt: CZ.1.07/1.5.00/34.0093 Šablona: III/2 Inovace a zkvalitnění výky prostřednictvím

Více

Dobývání znalostí z databází (MI-KDD) Přednáška číslo 4 Asociační pravidla

Dobývání znalostí z databází (MI-KDD) Přednáška číslo 4 Asociační pravidla Dobývání znlostí z dtbází (MI-KDD) Přednášk číslo 4 Asociční prvidl (c) prof. RNDr. Jn Ruch, CSc. KIZI, Fkult informtiky sttistiky VŠE zimní semestr 2011/2012 Evropský sociální fond Prh & EU: Investujeme

Více

2.9.11 Logaritmus. Předpoklady: 2909

2.9.11 Logaritmus. Předpoklady: 2909 .9. Logritmus Předpokld: 909 Pedgogická poznámk: Následující příkld vždují tk jeden půl vučovcí hodin. V přípdě potřeb všk stčí dojít k příkldu 6 zbtek jen ukázt, což se dá z jednu hodinu stihnout (nedoporučuji).

Více

METODICKÉ LISTY Z MATEMATIKY pro gymnázia a základní vzdělávání

METODICKÉ LISTY Z MATEMATIKY pro gymnázia a základní vzdělávání METODICKÉ LISTY Z MATEMATIKY pro gymnázi zákldní vzdělávání Jroslv Švrček kolektiv Rámcový vzdělávcí progrm pro zákldní vzdělávání Vzdělávcí oblst: Mtemtik její plikce Temtický okruh: Nestndrdní plikční

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

13. Soustava lineárních rovnic a matice

13. Soustava lineárních rovnic a matice @9. Soustv lineárních rovnic mtice Definice: Mtice je tbulk reálných čísel. U mtice rozlišujeme řádky (i=,..n), sloupce (j=,..m) říkáme, že mtice je typu (n x m). Oznčíme-li mtici písmenem A, její prvky

Více

10. Suffixové stromy 1 2014-01-23

10. Suffixové stromy 1 2014-01-23 10. Suffixové stromy V této kpitole popíšeme jednu pozoruhodnou dtovou strukturu, pomocí níž dokážeme prolémy týkjící se řetězců převádět n grfové prolémy řešit je tk v lineárním čse. Řetězce, trie suffixové

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

visual identity guidelines Česká verze

visual identity guidelines Česká verze visul identity guidelines Česká verze Osh 01 Filosofie stylu 02 Logo 03 Firemní rvy 04 Firemní písmo 05 Vrice log 06 Komince rev Filosofie stylu Filozofie společnosti Sun Mrketing vychází ze síly Slunce,

Více

( ) ( ) ( ) Exponenciální rovnice. 17.3. Řeš v R rovnici: 3 + 9 + 27 = ŘEŠENÍ: Postup z předešlého výpočtu doplníme využitím dalšího vztahu: ( ) t s t

( ) ( ) ( ) Exponenciální rovnice. 17.3. Řeš v R rovnici: 3 + 9 + 27 = ŘEŠENÍ: Postup z předešlého výpočtu doplníme využitím dalšího vztahu: ( ) t s t 7. EXPONENCIÁLNÍ ROVNICE 7.. Řeš v R rovnice: ) 5 b) + c) 7 0 d) ( ) 0,5 ) 5 7 5 7 K { } c) 7 0 K d) ( ) b) + 0 + 0 K ( ) 5 0 5, 7 K { 5;7} Strtegie: potřebujeme zíkt tkový tvr rovnice, kd je n obou trnách

Více

15. Moduly. a platí (p + q)(x) = p(x) + q(x), 1(X) = id. Vzniká tak struktura P [x]-modulu na V.

15. Moduly. a platí (p + q)(x) = p(x) + q(x), 1(X) = id. Vzniká tak struktura P [x]-modulu na V. Učební texty k přednášce ALGEBRAICKÉ STRUKTURY Michal Marvan, Matematický ústav Slezská univerzita v Opavě 15. Moduly Definice. Bud R okruh, bud M množina na níž jsou zadány binární operace + : M M M,

Více

skripta MZB1.doc 8.9.2011 1/81

skripta MZB1.doc 8.9.2011 1/81 skript MZB.doc 8.9. /8 skript MZB.doc 8.9. /8 Osh Osh... Zlomk... Dělitelnost v množině přirozených čísel... Trojčlenk... 9 Výrz s mocninmi s celočíselným eponentem ()... Výrz s mocninmi s rcionálním eponentem...

Více

Datamining a AA (Above Average) kvantifikátor

Datamining a AA (Above Average) kvantifikátor Dtmining AA (Above Averge) kvntifikátor Jn Burin Lbortory of Intelligent Systems, Fculty of Informtics nd Sttistics, University of Economics, W. Churchill Sq. 4, 13067 Prgue, Czech Republic, burinj@vse.cz

Více

Gaussovská prvočísla

Gaussovská prvočísla Středoškolská odborná činnost 2005/2006 Obor 01 mtemtik mtemtická informtik Gussovská rvočísl Autor: Jkub Oršl Gymnázium Brno, tř. Kt. Jroše 14, 658 70 Brno, 4.A Konzultnt ráce: Mgr. Viktor Ježek (Gymnázium

Více

Úlohy k procvičování textu o univerzální algebře

Úlohy k procvičování textu o univerzální algebře Úlohy k procvičování textu o univerzální algebře Číslo za pomlčkou v označení úlohy je číslo kapitoly textu, která je úlohou procvičovaná. Každá úloha je vyřešena o několik stránek později. Kontrolní otázky

Více

Konvence Integrovaného dopravního systému Libereckého kraje (IDOL) Účastníci Konvence:

Konvence Integrovaného dopravního systému Libereckého kraje (IDOL) Účastníci Konvence: Konvence Integrovného doprvního systému Libereckého krje (IDOL) Účstníci Konvence: KORID LK, spol. s r.o. Liberecký krj Město Česká Líp Město Jblonec nd Nisou Sttutární město Liberec Město Turnov České

Více

9 - Zpětná vazba. Michael Šebek Automatické řízení 2015 16-3-15

9 - Zpětná vazba. Michael Šebek Automatické řízení 2015 16-3-15 9 - Zpětná vz Michel Šeek Atomtické řízení 2015 16-3-15 Atomtické řízení - Kernetik rootik Proč řídit? Řídicí sstém msí zjistit stilit chování Klsické poždvk n chování přípstná stálená reglční odchlk při

Více

Geometrie. Mgr. Jarmila Zelená. Gymnázium, SOŠ a VOŠ Ledeč nad Sázavou

Geometrie. Mgr. Jarmila Zelená. Gymnázium, SOŠ a VOŠ Ledeč nad Sázavou Geometrie Mgr. Jrmil Zelená Gymnázium, SOŠ VOŠ Ledeč nd Sázvou Výpočty v prvoúhlém trojúhelníku VY_3_INOVACE_05_3_1_M Gymnázium, SOŠ VOŠ Ledeč nd Sázvou PRAVOÚHLÝ TROJÚHELNÍK 1 Pojmy oznčení:,.odvěsny

Více

Příprava žáků k přijímacím zkouškám z matematiky na střední školu. Preparing students for entrance exams in mathematics at high school

Příprava žáků k přijímacím zkouškám z matematiky na střední školu. Preparing students for entrance exams in mathematics at high school Technická univerzit v Liberci FAKULTA PŘÍRODOVĚDNĚHUMANITNÍ A PEDAGOGICKÁ Ktedr: Studijní progrm: Studijní obor: Ktedr mtemtiky didktiky mtemtiky N750 Učitelství pro zákldní školy Učitelství fyziky pro.

Více

DIGITÁLNÍ UČEBNÍ MATERIÁL. Název školy SOUpotravinářské, Jílové u Prahy, Šenflukova 220. Název materiálu VY_32_INOVACE / Matematika / 03/01 / 17

DIGITÁLNÍ UČEBNÍ MATERIÁL. Název školy SOUpotravinářské, Jílové u Prahy, Šenflukova 220. Název materiálu VY_32_INOVACE / Matematika / 03/01 / 17 DIGITÁLNÍ UČEBNÍ MATERIÁL Číslo projektu CZ07/500/4076 Název školy SOUpotrvinářské, Jílové u Prhy, Šenflukov 0 Název mteriálu VY INOVACE / Mtemtik / 0/0 / 7 Autor Ing Antonín Kučer Oor; předmět, ročník

Více

Rada obce Dětmarovice po projednání a v souladu se zákonem č. 128/2000 Sb., o obcích, ve znění pozdějších předpisů

Rada obce Dětmarovice po projednání a v souladu se zákonem č. 128/2000 Sb., o obcích, ve znění pozdějších předpisů Zveřejněný text usnesení je s ohledem n ochrnu osobních údjů uprven v souldu se zák. o ochrně osobních údjů. U S N E S E N Í 24. schůze Rdy obce Dětmrovice. konné dne 18.4.2012 Rd obce Dětmrovice po projednání

Více

EU PENÍZE ŠKOLÁM NÁZEV PROJEKTU : MÁME RÁDI TECHNIKU REGISTRAČNÍ ČÍSLO PROJEKTU :CZ.1.07/1.4.00/21.0663

EU PENÍZE ŠKOLÁM NÁZEV PROJEKTU : MÁME RÁDI TECHNIKU REGISTRAČNÍ ČÍSLO PROJEKTU :CZ.1.07/1.4.00/21.0663 EU PENÍZE ŠKOLÁM NÁZEV PROJEKTU : MÁME RÁDI TECHNIKU REGISTRAČNÍ ČÍSLO PROJEKTU :CZ.1.07/1.4.00/21.0663 Speciální zákldní škol Prktická škol Trmice Fűgnerov 22 400 04 1 Identifikátor mteriálu: EU 5 3 Čj

Více

Lomené výrazy (sčítání, odčítání, násobení, dělení, rozšiřování, krácení,.)

Lomené výrazy (sčítání, odčítání, násobení, dělení, rozšiřování, krácení,.) Lomené výrz (čítání, odčítání, náoení, dělení, rozšiřování, kráení, ) Lomené výrz jo výrz ve tvr zlomk, v jehož jmenovteli je proměnná, npříkld r ( ) ( ) 9 Počítání lomenými výrz má podoné vltnoti jko

Více

APLIKACE METODY RIPRAN V SOFTWAROVÉM INŽENÝRSTVÍ

APLIKACE METODY RIPRAN V SOFTWAROVÉM INŽENÝRSTVÍ APLIKACE METODY RIPRAN V SOFTWAROVÉM INŽENÝRSTVÍ Brnislv Lcko VUT v Brně, Fkult strojního inženýrství, Ústv utomtizce informtiky, Technická 2, 616 69 Brno, lcko@ui.fme.vutbr.cz Abstrkt Příspěvek podává

Více

Konzultace z předmětu MATEMATIKA pro první ročník dálkového studia

Konzultace z předmětu MATEMATIKA pro první ročník dálkového studia - - Konzultce z předmětu MATEMATIKA pro první ročník dálkového studi ) Číselné obor ) Zákldní početní operce procentový počet ) Absolutní hodnot reálného čísl ) Intervl množinové operce ) Mocnin ) Odmocnin

Více

kritérium Návaznost na další dokumenty Dokument naplňující standard

kritérium Návaznost na další dokumenty Dokument naplňující standard 1. CÍLE A ZPŮSOBY ČINNOSTI POVĚŘENÉ OSOBY Dokument obshuje zákldní prohlášení středisk Služby pro pěstouny, do kterého se řdí: poslání, cílová skupin, cíle zásdy, v souldu s kterými je služb poskytován.

Více

ů ů Č ů ů Š ž ů žď ž ž ž žď ů ů ž ů ó Č Ý Š ú Ý Á Š ž ů ž ž ž ů Š ú Ž ů ú ž Ř ó ž ú ž ň ž Á Š ň ď ž ú Ý ť Č Ř ň Š Á Š ž Š Š ž ú Ý ť Ř žď Š ž Á ž Š ů ť ť ů ú Ý Č Ř Ň ť Á ž Š ú Ý ž ž ó ž Ř žď Ň ž ž ň Ť ó

Více

ŠIFROVACÍ METODA ZALOŽENÁ NA FRAKTÁLNÍ KOMPRESI. 1. Úvod. V posledních letech se ukázalo, že teorii fraktálů lze využít v mnoha teoretických

ŠIFROVACÍ METODA ZALOŽENÁ NA FRAKTÁLNÍ KOMPRESI. 1. Úvod. V posledních letech se ukázalo, že teorii fraktálů lze využít v mnoha teoretických Kvaternion 2 (2012, 83 89 83 ŠIFROVACÍ METODA ZALOŽENÁ NA FRAKTÁLNÍ KOMPRESI TOMÁŠ GRÍSA Abstrakt Tento článek se zabývá teoretickými principy fraktální komprese a využitím modifikovaného algoritmu fraktální

Více

1. ÚPRAVY ALGEBRAICKÝCH VÝRAZŮ V REÁLNÉM OBORU 1.1. ZLOMKY A ABSOLUTNÍ HODNOTA

1. ÚPRAVY ALGEBRAICKÝCH VÝRAZŮ V REÁLNÉM OBORU 1.1. ZLOMKY A ABSOLUTNÍ HODNOTA 1. ÚPRAVY ALGEBRAICKÝCH VÝRAZŮ V REÁLNÉM OBORU 1.1. ZLOMKY A ABSOLUTNÍ HODNOTA V této kpitole se ozvíte: co rozumíme lgebrickým výrzem; jk jsou efinovány zlomky jké záklní operce s nimi prováíme; jk je

Více

zejména Dijkstrův algoritmus pro hledání minimální cesty a hladový algoritmus pro hledání minimální kostry.

zejména Dijkstrův algoritmus pro hledání minimální cesty a hladový algoritmus pro hledání minimální kostry. Kapitola Ohodnocené grafy V praktických aplikacích teorie grafů zpravidla graf slouží jako nástroj k popisu nějaké struktury. Jednotlivé prvky této struktury mají často přiřazeny nějaké hodnoty (může jít

Více

Přijímací zkouška - matematika

Přijímací zkouška - matematika Přijímací zkouška - matematika Jméno a příjmení pište do okénka Číslo přihlášky Číslo zadání 1 Grafy 1 Pro který z následujících problémů není znám žádný algoritmus s polynomiální časovou složitostí? Problém,

Více

Svazy. Def Svaz je algebra S ( M ;, ) = se dvěma binárními operacemi taková, že pro libovolné prvky c M platí následující podmínky axiomy svazu:

Svazy. Def Svaz je algebra S ( M ;, ) = se dvěma binárními operacemi taková, že pro libovolné prvky c M platí následující podmínky axiomy svazu: vz je lgebr ( M ; ) vzy = se dvěm binárními opercemi tková že pro libovolné prvky b c M pltí následující podmínky xiomy svzu: ( b) c = ( b c) ( b) c = ( b c) b = b b = b ( ) ( ) b = b =. Operce se nzývá

Více

Grafický manuál v1.0

Grafický manuál v1.0 Grfický mnuál v1.0 Zákldní informce Logotyp je zákldním prvkem prezentce prcovní skupiny tvoří klíčovou konstntu designu. Logotyp se používá zásdně v podobě kodifikovné tímto mnuálem. Dále jsou v mnuálu

Více

3 Algebraické výrazy. 3.1 Mnohočleny Mnohočleny jsou zvláštním případem výrazů. Mnohočlen (polynom) proměnné je výraz tvaru

3 Algebraické výrazy. 3.1 Mnohočleny Mnohočleny jsou zvláštním případem výrazů. Mnohočlen (polynom) proměnné je výraz tvaru Algerické výrz V knize přírod může číst jen ten, kdo zná jzk, ve kterém je npsán. Jejím jzkem je mtemtik jejím písmem jsou mtemtické vzorce. (Glileo Glilei) Algerickým výrzem rozumíme zápis, ve kterém

Více

1 i= VLIV ZMĚN FYZIKÁLNÍCH PARAMETRŮ FLUIDNÍCH VRSTEV NA CHARAKTERISTIKY TLAKOVÝCH FLUKTUACÍ. OTAKAR TRNKA a MILOSLAV HARTMAN. i M

1 i= VLIV ZMĚN FYZIKÁLNÍCH PARAMETRŮ FLUIDNÍCH VRSTEV NA CHARAKTERISTIKY TLAKOVÝCH FLUKTUACÍ. OTAKAR TRNKA a MILOSLAV HARTMAN. i M Chem. Listy, 55 53 (7) VLIV ZMĚN FYZIKÁLNÍCH PARAMETRŮ FLUIDNÍCH VRSTEV NA CHARAKTERISTIKY TLAKOVÝCH FLUKTUACÍ OTAKAR TRNKA MILOSLAV HARTMAN Ústv chemických procesů, AV ČR, Rozvojová 35, 65 Prh 6 trnk@icpf.cs.cz

Více

Komplexní čísla. Pojem komplexní číslo zavedeme při řešení rovnice: x 2 + 1 = 0

Komplexní čísla. Pojem komplexní číslo zavedeme při řešení rovnice: x 2 + 1 = 0 Komplexní čísl Pojem komplexní číslo zvedeme př řešení rovnce: x 0 x 0 x - x Odmocnn ze záporného čísl reálně neexstuje. Z toho důvodu se oor reálných čísel rozšíří o dlší číslo : Všechny dlší odmocnny

Více

P2 Číselné soustavy, jejich převody a operace v čís. soustavách

P2 Číselné soustavy, jejich převody a operace v čís. soustavách P Číselné soustvy, jejich převody operce v čís. soustvách. Zobrzení čísl v libovolné číselné soustvě Lidé využívjí ve svém životě pro zápis čísel desítkovou soustvu. V této soustvě máme pro zápis čísel

Více

PŘÍDAVNÁ JMÉNA 1910-1953

PŘÍDAVNÁ JMÉNA 1910-1953 PŘÍDAVNÁ JMÉNA 1 1910-1953 Něktrá roká přídvá jé, příkld bro jí v čště víc výzů, ktré j třb právě rozlšovt. Bro ůž zt VLÝ, DLUHÝ, VYSÝ bo tké HLUBÝ. Sldjt áldjící příkldy: Bro vš Hlboký l Br čr Vyoká tráv

Více

Souhrn základních výpočetních postupů v Excelu probíraných v AVT 04-05 listopad 2004. r r. . b = A

Souhrn základních výpočetních postupů v Excelu probíraných v AVT 04-05 listopad 2004. r r. . b = A Souhrn zákldních výpočetních postupů v Ecelu probírných v AVT 04-05 listopd 2004. Řešení soustv lineárních rovnic Soustv lineárních rovnic ve tvru r r A. = b tj. npř. pro 3 rovnice o 3 neznámých 2 3 Hodnoty

Více

Projekt OP VK č. CZ.1.07/1.5.00/34.0420. Šablony Mendelova střední škola, Nový Jičín

Projekt OP VK č. CZ.1.07/1.5.00/34.0420. Šablony Mendelova střední škola, Nový Jičín Projekt OP VK č. CZ.1.07/1.5.00/34.0420 Šblony Mendelov střední škol, Nový Jičín NÁZEV MATERIÁLU: Trojúhelník zákldní pozntky Autor: Mgr. Břetislv Mcek Rok vydání: 2014 Tento projekt je spolufinncován

Více

Posuďte oboustranně kloubově uložený sloup délky L = 5 m, který je centricky zatížen silou

Posuďte oboustranně kloubově uložený sloup délky L = 5 m, který je centricky zatížen silou Příkld 1: SPŘAŽEÝ SLOUP (TRUBKA VYPLĚÁ BETOE) ZATÍŽEÝ OSOVOU SILOU Posuďte oboustrnně kloubově uložený sloup délk L 5 m, který je entrik ztížen silou 1400 kn. Sloup tvoří trubk Ø 45x7 z oeli S35 vplněná

Více

Rezoluce ve výrokové logice

Rezoluce ve výrokové logice Rezoluce ve výrokové logice Jiří Velebil: AD0B01LGR 2015 Rezoluce ve VL 1/13 Základní myšlenky 1 M = ϕ iff X = M { ϕ} nesplnitelná. 2 X nesplnitelná iff X = ff. 3 Hledání kritických důsledků X syntakticky.

Více

LINEÁRNÍ DIFERENCIÁLNÍ ROVNICE 2.ŘÁDU

LINEÁRNÍ DIFERENCIÁLNÍ ROVNICE 2.ŘÁDU LINEÁRNÍ DIFERENCIÁLNÍ ROVNICE 2.ŘÁDU ZDENĚK ŠIBRAVA 1. Obecné řešení lin. dif. rovnice 2.řádu s konstntními koeficienty 1.1. Vrice konstnt. Příkld 1.1. Njděme obecné řešení diferenciální rovnice (1) y

Více

Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace

Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace RELACE Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace slouží k vyjádření vztahů mezi prvky nějakých množin. Vztahy mohou být různé povahy. Patří sem vztah býti potomkem,

Více

MINISTERSTVO PRO MÍSTNÍ ROZVOJ Národní orgán pro koordinaci POKYN PRO TVORBU A OBSAH ZPRÁVY O REALIZACI OPERAČNÍHO PROGRAMU PRO MONITOROVACÍ VÝBOR

MINISTERSTVO PRO MÍSTNÍ ROZVOJ Národní orgán pro koordinaci POKYN PRO TVORBU A OBSAH ZPRÁVY O REALIZACI OPERAČNÍHO PROGRAMU PRO MONITOROVACÍ VÝBOR MINISTERSTVO PRO MÍSTNÍ ROZVOJ Národní orgán pro koordinci POKYN PRO TVORBU A OBSAH ZPRÁVY O REALIZACI OPERAČNÍHO PROGRAMU PRO MONITOROVACÍ VÝBOR ŘÍJEN 2014 MINISTERSTVO PRO MÍSTNÍ ROZVOJ Odbor řízení

Více

Téma 4 Rovinný rám Základní vlastnosti rovinného rámu Jednoduchý otevřený rám Jednoduchý uzavřený rám

Téma 4 Rovinný rám Základní vlastnosti rovinného rámu Jednoduchý otevřený rám Jednoduchý uzavřený rám Sttik stvebních konstrukcí I.,.ročník bklářského studi Tém 4 Rovinný rám Zákldní vlstnosti rovinného rámu Jednoduchý otevřený rám Jednoduchý uzvřený rám Ktedr stvební mechniky Fkult stvební, VŠB - Technická

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

Automaty a gramatiky. Na zopakování X*/~ Roman Barták, KTIML. Iterační (pumping) lemma. Pravidelnost regulárních jazyků

Automaty a gramatiky. Na zopakování X*/~ Roman Barták, KTIML. Iterační (pumping) lemma. Pravidelnost regulárních jazyků 2 utomaty a gramatiky Roman Barták, KTML bartak@ktiml.mff.cuni.cz http://ktiml.mff.cuni.cz/~bartak Na zopakování Víme, co je konečný automat = (Q,X,δ,q,F) Umíme konečné automaty charakterizovat (Myhill-)Nerodova

Více

{ } ( ) ( ) 2.5.8 Vztahy mezi kořeny a koeficienty kvadratické rovnice. Předpoklady: 2301, 2508, 2507

{ } ( ) ( ) 2.5.8 Vztahy mezi kořeny a koeficienty kvadratické rovnice. Předpoklady: 2301, 2508, 2507 58 Vzth mezi kořen koefiient kvdrtiké rovnie Předpokld:, 58, 57 Pedgogiká poznámk: Náplň zřejmě přeshuje možnost jedné vučoví hodin, příkld 8 9 zůstvjí n vičení neo polovinu hodin při píseme + + - zákldní

Více

Střední škola obchodu, řemesel, služeb a Základní škola, Ústí nad Labem, příspěvková organizace Vzdělávací středisko Trmice

Střední škola obchodu, řemesel, služeb a Základní škola, Ústí nad Labem, příspěvková organizace Vzdělávací středisko Trmice Střední škol ohodu, řemesel, služe Zákldní škol, Ústí nd Lem, příspěvková orgnize Vzděláví středisko Trmie MATURITNÍ TÉMATA Předmět: Mtemtik Oor vzdělání: Ekonomik podnikání Školní rok: 0/06 Tříd: EKP

Více

c 2 b 2 a 2 2.8.20 Důkazy Pythagorovy věty Předpoklady: 020819

c 2 b 2 a 2 2.8.20 Důkazy Pythagorovy věty Předpoklady: 020819 .8.0 Důkzy Pythgorovy věty Předpokldy: 00819 Pedgogická poznámk: V řešení kždého příkldu jsou uvedeny rdy, které dávám postupně žákům, bych jim pomohl. Pedgogická poznámk: Diskuse o následujícím příkldu

Více

ů ů ž ž ě ě Č ů ů ž ě ě ě ž é ě ě ě ž ž é ť ě ůž é ě é ě ě ž ž ě ě ť Ť ě ž ě ě é ě ů ž ě é é é ě ě ě ž ě é é ť ě é ě ž ě é é ě é ž ě ě Ž ž é ě ž ď Í ě ž ě ž ě ť ď ň ě é é žň ť ť ž é ů ě ň ť Ú ě ě ň ž ť

Více

Ď Ů Ň ž Ů ž ň ž ž ž Č Č Ď Č ž Ě ž ž ž ž ň ž ž ž ž ž ž ž Ě ň ž ž ž ž Ďž ň ž Č Č ň Č Ď Ě Ň Č Ň ž ž ž Ů ň Ň ž ň ň ž ň ň ň ž ň ž Č ž ž Ř ž ž ž ž ň ž ž ž ž Ř ž ň ž ž ž ž ž ž ž Ě Ě Ě Č ž Ď Ř ž ň ň Ř ž ž ž ž

Více

MĚSTO KOPŘIVNICE MĚSTSKÝ ÚŘAD KOPŘIVNICE

MĚSTO KOPŘIVNICE MĚSTSKÝ ÚŘAD KOPŘIVNICE MĚSTO KOPŘIVNICE MĚSTSKÝ ÚŘAD KOPŘIVNICE Rd měst Kopřivnice PŘÍLOHA č. 1 k č. j.: 57545/2012/KnD ČÍSLA USNESENÍ: 1883-1895 ZPRACOVATEL: Dniel Knpková Usnesení z 63. schůze Rdy měst Kopřivnice ze dne 27.11.2012

Více

2.6. VLASTNÍ ČÍSLA A VEKTORY MATIC

2.6. VLASTNÍ ČÍSLA A VEKTORY MATIC .6. VLASTNÍ ČÍSLA A VEKTORY MATIC V této kapitole se dozvíte: jak jsou definována vlastní (charakteristická) čísla a vektory čtvercové matice; co je to charakteristická matice a charakteristický polynom

Více

Hlavní body - magnetismus

Hlavní body - magnetismus Mgnetismus Hlvní body - mgnetismus Projevy mgt. pole Zdroje mgnetického pole Zákldní veličiny popisující mgt. pole Mgnetické pole proudovodiče - Biotův Svrtův zákon Mgnetické vlstnosti látek Projevy mgnetického

Více

01-09.7 10.14.CZ Zpětné ventily a zpětné uzavíratelné ventily ZV 226 a ZV 236

01-09.7 10.14.CZ Zpětné ventily a zpětné uzavíratelné ventily ZV 226 a ZV 236 01-09.7 10.14.CZ Zpětné ventily zpětné uzvírtelné ventily ZV 226 ZV 26-1- ZV 226 ZV 26 Zpětné ventily zpětné uzvírtelné ventily 15 ž 200, PN 16, 25 Popis Zpětné ventily ZV 2x6 jsou smočinné uzávěry s vynikjícími

Více

4 Stromy a les. Definice a základní vlastnosti stromů. Kostry grafů a jejich počet.

4 Stromy a les. Definice a základní vlastnosti stromů. Kostry grafů a jejich počet. 4 Stromy a les Jedním ze základních, a patrně nejjednodušším, typem grafů jsou takzvané stromy. Jedná se o souvislé grafy bez kružnic. Přes svou (zdánlivou) jednoduchost mají stromy bohatou strukturu a

Více

1.1.20 Sbírka na procvičení vztahů mezi veličinami popisujícími pohyb

1.1.20 Sbírka na procvičení vztahů mezi veličinami popisujícími pohyb 1.1.20 Sbírk n procvičení vzhů mezi veličinmi popisujícími pohyb Máme ři veličiny popisující pohyb dv vzhy, keré je spojují nvzájem. s v = Rychlos je změn dráhy z změnu čsu (rychlos říká, jk se v čse mění

Více

SMLOUVU O UZAVŘENÍ BUDOUCÍ SMLOUVY KUPNÍ

SMLOUVU O UZAVŘENÍ BUDOUCÍ SMLOUVY KUPNÍ Níže uvedeného dne, měsíce roku uzvřeli: JUDr. Pvel Mikeš, insolvenční správce se sídlem Z mlýnem 2945/56, 750 02 Přerov, ustnovený prvomocným Usnesením č.j. KSOS 33 INS 2300/2012-A-5, ze dne 20. únor

Více

Rozdělení spojitých veličin

Rozdělení spojitých veličin Rozdělení spojitých veličin Frekvenční distriuční funkce spojité náhodné veličiny (NV) Rovnoměrné spojité rozdělení Normální rozdělení (Gussovo, Guss-Lplceovo) Normální normovné rozdělení Logritmicko -

Více

Modernizace výuky na Fakultě stavební VUT v Brně v rámci bakalářských a magisterských studijních programů CZ.04.1.03/3.2.15.2/0292

Modernizace výuky na Fakultě stavební VUT v Brně v rámci bakalářských a magisterských studijních programů CZ.04.1.03/3.2.15.2/0292 Modernizace výuky na Fakultě stavební VUT v Brně v rámci bakalářských a magisterských studijních programů CZ.04.1.03/3.2.15.2/0292 Název předmětu: Vyrovnávací kurz z matematiky Zabezpečující ústav: Ústav

Více

Dohoda o partnerství a spolupráci na Integrovaném systému nakládání s komunálními odpady v Plzeňském kraji

Dohoda o partnerství a spolupráci na Integrovaném systému nakládání s komunálními odpady v Plzeňském kraji Dohod o prtnerství spolupráci n Integrovném systému nkládání s komunálními odpdy v Plzeňském krji kterou níže uvedeného dne, měsíce roku uzvřely n zákldě ustnovení 51 zákon č. 40/1964 Sb., občnského zákoníku,

Více

NAVRHOVÁNÍ BETONOVÝCH KONSTRUKCÍ 2

NAVRHOVÁNÍ BETONOVÝCH KONSTRUKCÍ 2 POZVÁNKA A ZÁVAZNÁ PŘIHLÁŠKA NAVRHBK 2 www.cbsbeton.eu NOVÉ ŠKOLENÍ CYKLU KONSTRUKCÍ ČBS AKADEMIE SLEVA PRO ČLENY ČBS: 20 % Slovenská komor stvebných inžinierov www.sksi.sk ve spolupráci s Fkultou stvební

Více

Grant 2006. Výzkum e-learningu - učitelé

Grant 2006. Výzkum e-learningu - učitelé Grnt 2006 Výzkum e-lerningu - učitelé Dosttek informcí o e-lerningu Máte Máte dosttek dosttek informcí informcí o o tom, tom, co co je je to to e-lerning e-lerning (elektronické (elektronické zděláání)?

Více

( ) 1.5.2 Mechanická práce II. Předpoklady: 1501

( ) 1.5.2 Mechanická práce II. Předpoklady: 1501 1.5. Mechnická práce II Předpokldy: 1501 Př. 1: Těleso o hmotnosti 10 kg bylo vytženo pomocí provzu do výšky m ; poprvé rovnoměrným přímočrým pohybem, podruhé pohybem rovnoměrně zrychleným se zrychlením

Více

PRAVIDELNÉ MNOHOSTĚNY

PRAVIDELNÉ MNOHOSTĚNY PRVIDELNÉ MNOHOĚNY Vlst Chmelíková, Luboš Morvec MFF UK 007 1 Úvod ento text byl vytvořen s cílem inspirovt učitele středních škol k zčlenění témtu prvidelné mnohostěny do hodin mtemtiky, neboť při výuce

Více

( 5 ) 6 ( ) 6 ( ) Přijímací řízení ak. r. 2010/11 Kompletní znění testových otázek - matematický přehled

( 5 ) 6 ( ) 6 ( ) Přijímací řízení ak. r. 2010/11 Kompletní znění testových otázek - matematický přehled řijímcí řízení k. r. / Kompletní znění testových otázek - mtemtický přehled Koš Znění otázky Odpověď ) Odpověď b) Odpověď c) Odpověď d) Správná odpověď. Které číslo doplníte místo otzníku? 8?. Které číslo

Více

SCIENTIFIC REFLECTION OF NEW TRENDS IN MANAGEMENT

SCIENTIFIC REFLECTION OF NEW TRENDS IN MANAGEMENT POLICEJNÍ AKADEMIE ČESKÉ REPUBLIKY V PRAZE AKADÉMIA POLICAJNÉHO ZBORU V BRATISLAVE pořádjí ČTVRTOU VIRTUÁLNÍ VĚDECKOU KONFERENCI s mezinárodní účstí SCIENTIFIC REFLECTION OF NEW TRENDS IN MANAGEMENT PRAHA

Více

PLANETOVÉ PŘEVODY. Pomůcka do cvičení z předmětu Mobilní energetické prostředky Doc.Ing. Pavel Sedlák, CSc.

PLANETOVÉ PŘEVODY. Pomůcka do cvičení z předmětu Mobilní energetické prostředky Doc.Ing. Pavel Sedlák, CSc. PLANETOVÉ PŘEVODY Pomůck do cvičení předmětu Mobilní energetické prostředky Doc.Ing. Pvel Sedlák, CSc. Pro pochopení funkce plnetových převodů jejich kinemtiky je nutné se senámit se ákldy především kinemtikou

Více

ZÁKLADY TEORETICKÉ INFORMATIKY

ZÁKLADY TEORETICKÉ INFORMATIKY KATEDRA INFORMATIKY PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITA PALACKÉHO ZÁKLADY TEORETICKÉ INFORMATIKY PAVEL MARTINEK VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN EVROPSKÝM SOCIÁLNÍM FONDEM A STÁTNÍM ROZPOČTEM

Více

Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz

Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz Jednoduché úsudky, kde VL nestačí Všechny opice mají rády banány Judy je opice Judy má ráda banány Z hlediska VL

Více

ALGEBRA, ROVNICE A NEROVNICE

ALGEBRA, ROVNICE A NEROVNICE ALGEBRA, ROVNICE A NEROVNICE Gymnázium Jiřího Wolker v Prostějově Výukové mteriály z mtemtiky pro nižší gymnázi Autoři projektu Student n prhu 1. století - využití ICT ve vyučování mtemtiky n gymnáziu

Více

AUTOMATY VE VYHLEDÁVÁNI cvičeni

AUTOMATY VE VYHLEDÁVÁNI cvičeni Czech Technicl University in Prgue Fculty of Informtion Technology Deprtment of Theoreticl Computer Science AUTOMATY VE VYHLEDÁVÁNI cvičeni Bořivoj Melichr Evropský sociální fond. Prh & EU: Investujeme

Více

Věta (princip vnořených intervalů). Jestliže pro uzavřené intervaly I n (n N) platí I 1 I 2 I 3, pak

Věta (princip vnořených intervalů). Jestliže pro uzavřené intervaly I n (n N) platí I 1 I 2 I 3, pak Reálná čísl N přirozená čísl: {,, 3, } Z celá čísl: {, ±, ±, ±3, } Q rcionální čísl: { b : Z, b N} R reálná čísl C komplení čísl: { + jy :, y R}, j R \ Q ircionální čísl, π, e, ) Tvrzení Mezi kždými dvěm

Více

I. Prohlášení smluvních stran

I. Prohlášení smluvních stran 8/14118 SMLOUVA O BUDOUCÍ SMLOUVĚ KUPNÍ A SOUHLAS SE ZŘÍZENÍM STAVBY uzvřená podle * 1785 násl. ~ 2055 násl., občnského zákoníku * 110 odst. 2) písm. ) zák. Č. 183/2006 Sb., stvební zákon Smluvní strny:

Více

Staveništní malty a suché maltové směsi při obnově památek

Staveništní malty a suché maltové směsi při obnově památek Společnost pro technologie ochrny pmátek Národní technické muzeum Stveništní mlty suché mltové směsi při onově pmátek odorný seminář 18. dun 2013 Národní technické muzeum Kostelní 42, Prh 7 1 Stveništní

Více