Disjunktivní a konjunktivní lní tvar formule. 2.přednáška

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "Disjunktivní a konjunktivní lní tvar formule. 2.přednáška"

Transkript

1 Disjunktivní a konjunktivní normáln lní tvar formule 2.přednáška

2 Disjunktivní normáln lní forma Definice Řekneme, že formule ( A ) je v disjunktivním normálním tvaru (formě), zkráceně v DNF, jestliže je disjunkcí jedné nebo několika formulí, z nichž každá je literálem nebo konjunkcí literálů ( K i ) - minterm. Literál ( L j ) je logická proměnná nebo negace logické proměnné A = K K i K n K i = L... L j L m 2

3 Konjunktivní normáln lní forma Definice Řekneme, že formule ( A ) je v konjunktivním normálním tvaru (formě), zkráceně v KNF, jestliže je konjunkcí jedné nebo několika formulí, z nichž každá je literálem nebo disjunkcí literálů ( D i ) - maxterm. Literál ( L j ) je logická proměnná nebo negace logické proměnné A = D D i D n D i = L L j L m 3

4 Věty o DNF a KNF Ke každé formuli A existuje formule B v DN tvaru, která je s ní ekvivalentní ( A B ). Pokud k formuli A nalezneme ekvivalentní formuli B v DN tvaru, říkáme také, že jsme formuli A převedli do DN tvaru. Ke každé formuli A existuje formule B v KN tvaru, která je s ní ekvivalentní ( A B ). Pokud k formuli A nalezneme ekvivalentní formuli B v KN tvaru, říkáme také, že jsme formuli A převedli do KN tvaru. 4

5 Převod formule do DNF ( KNF ) Převedení formule do DNF ( KNF ) lze provést těmito způsoby: pomocí pravdivostní tabulky. ekvivalentními úpravami. pomocí Karnaughovy mapy. 5

6 Převod do DNF pomocí pravdivostní tabulky Předpokládejme, že formule A obsahuje výrokové proměnné p, p 2,..., p n. Potom: K formuli A sestrojíme pravdivostní tabulku. Pro každý řádek i pravdivostní tabulky, jehož výsledná pravdivostní hodnota je, vytvoříme konjunkci K i = L... L m, kde L j = p j pokud proměnná p j nabývá v tomto řádku L j = p j pokud proměnná p j nabývá v tomto řádku j =,..., m Konjunkce K i spojíme disjunkcemi. 6

7 Převod do DNF pomocí pravdivostní tabulky příklad Pravdivostní tabulka: Konjunkce: K = ( p q ) K 2 = ( p q ) K K 2 = ( p q ) ( p q ) ř. (p q) ( p q). 2. Zjednodušení DNF (pomocí ekvivalentních úprav): ( p q ) ( p q ) p ( q q ) p T p 7

8 Převod do DNF pomocí ekvivalentních úprav příklad ( p q ) ( p q ) { a b a b } ( p q ) ( p q ) { ( a b ) ( a b ) } ( p q ) ( p q ) { distributivní zákon } p ( q q ) { a a T } p T { a T a } p 8

9 Převod do KNF pomocí pravdivostní tabulky Postup je stejný jako u DNF, jen vytvoříme konjunkci pro každý řádek i pravdivostní tabulky, jehož výsledná pravdivostní hodnota je K i = L... L m, kde L j = p j pokud proměnná p j nabývá v tomto řádku L j = p j pokud proměnná p j nabývá v tomto řádku j =,..., m Konjunkce K i spojíme disjunkcemi. Provedeme negaci výsledného tvaru ( K K i K n ) Pomocí De Morganových zákonů převedeme na KNF K K i K n D D i D n 9

10 Převod do KNF pomocí pravdivostní tabulky příklad Pravdivostní tabulka: Konjunkce: K = ( p q ) K 2 = ( p q ) Disjunkce K i : K K 2 = ( p q ) ( p q ) Negace výsledku: ř. (p q) ( p q). 2. (( p q ) ( p q )) ( p q ) ( p q ) ( p q ) ( p q ) Zjednodušení KNF (pomocí ekvivalentních úprav): ( p q ) ( p q ) p ( q q ) p F p

11 Převod do KNF pomocí ekvivalentních úprav příklad ( p q ) ( p q ) { a b a b } ( p q ) ( p q ) { ( a b ) ( a b ) } (( p q ) ( p q )) (( p q ) ( p q )) { distributivní zákon } ( p ( q q )) { a a F } ( p F ) { a F a } p

12 Karnaughovy mapy

13 Karnaughovy mapy Definice Nechť je dán seznam logických proměnných a,,, a n obsažených ve formuli A. Pravdivostní tabulka formule A má potom 2 n řádků. Dvourozměrné tabulce (matici) říkáme Karnaughova mapa, jestliže platí: na svislé a vodorovné osy nanášíme ohodnocení jednotlivých proměnných (souřadnice) sousedí přesně ty souřadnice, které se liší právě v jedné položce výsledná matice obsahuje právě 2 n políček, do kterých se zapíší příslušné hodnoty z pravdivostní tabulky 3

14 Karnaughovy mapy n = - Karnaughova mapa je shodná s pravdivostní tabulkou n = 2 - Karnaughova mapa tvaru čtverce a f f f a /a f f 2 f 2 f 3 f f 3 4

15 Karnaughovy mapy n = 3 - Karnaughova mapa tvaru válce a a 3 f f f f 2 f 3 f 4 a a 3 /a a 3 f f 4 f 6 f 2 f 5 f f 5 f 7 f 3 f 6 f 7 5

16 Karnaughovy mapy a a 3 a 4 f f f f 2 f 3 n = 4 - Karnaughova mapa tvaru anuloidu a f 4 f 5 f 6 a 3 a 3 a 4 /a a 4 f 7 f f 8 f 2 f 4 f 8 f 9 f f 2 f f 4 f 6 f f 2 f 3 f f 5 f 7 f 3 f 4 f f 9 f 3 f 5 f 5 6

17 Karnaughovy mapy Tvar Karnaughovy mapy pro n = 3 - válec n = 4 - anuloid Mapy vyššího řádu ( n 5 ) nelze zobrazit v E 3 7

18 Bazická matice Definice Bazická matice jedniček (nul) je taková část Karnaughovy mapy, ve které všechny jedničky (nuly) tvoří obdélník ze sousedních políček Rozměr bazické matice musí být mocninou dvojky U kontradikce je rozměr bazické matice jedniček roven nule a rozměr bazické matice nul je roven celé mapě (2 n ) U tautologie je rozměr bazické matice nul roven nule a rozměr bazické matice jedniček je roven celé mapě (2 n ) 8

19 Tvrzení Bazická matice Každá bazická matice jedniček odpovídá právě jedné konjunkci v DNF Každá bazická matice nul odpovídá právě jedné disjunkci v KNF (po znegování odpovídající konjunkce) Pravidlo: K popisu větší plochy na mapě je třeba méně informace (tj. kratší konjunkce/disjunkce) 9

20 Bazické matice pro n=2 2 x a /a K = D = ( ) = a /a K = D = ( ) = 2

21 Bazické matice pro n=2 2 x a /a K = a D = ( a ) = a a /a K = a D = ( a ) = a 2

22 Bazické matice pro n=2 x a /a a /a K = a. K 2 = a. D = (a. ) = a + D 2 = (a. ) = a + K = a. K 2 = a. D = a + D 2 = a + 22

23 Bazické matice pro n=3 2 x 2 a a 3 a 3 /a K = D = ( ) = a a a 3 /a 3 K = D = ( ) = 23

24 Bazické matice pro n=3 2 x 2 a a 3 a 3 /a K = a D = ( a ) = a a a a 3 /a 3 K = a D = ( a ) = a 24

25 Bazické matice pro n=3 4 x a a 3 a 3 /a K = a 3 D = ( a 3 ) = a 3 a a a 3 /a 3 K = a 3 D = ( a 3 ) = a 3 25

26 Bazické matice pro n=3 2 x a K = a. a 3 a 3 /a K 2 = a. D = a + D 2 = a + a a a 3 /a 3 K = a. K 2 = a. D = a + D 2 = a + 26

27 Bazické matice pro n=3 2 x a K = a. a 3 a 3 a 3 /a K 2 = a. a 3 D = a + a 3 D 2 = a + a 3 a a a 3 /a 3 K = a. a 3 K 2 = a. a 3 D = a + a 3 D 2 = a + a 3 27

28 Bazické matice pro n=3 2 x a K =. a 3 a 3 a 3 /a K 2 =. a 3 D = + a 3 D 2 = + a 3 a a a 3 /a 3 K =. a 3 K 2 =. a 3 D = + a 3 D 2 = + a 3 28

29 Bazické matice pro n=3 x a K = a.. a 3 a 3 a 3 /a K 2 = a.. a 3 K 3 = a.. a 3 K 4 = a.. a 3 a a a 3 /a 3 D = a + + a 3 D 2 = a + + a 3 D 3 = a + + a 3 D 4 = a + + a 3 29

30 Bazické matice pro n=4 4 x 2 a K = a 4 a 3 a 3 a 4 /a a 4 D = ( a 4 ) = a 4 3

31 Bazické matice pro n=4 4 x 2 a K = a a 3 a 3 a 4 /a a 4 D = ( a ) = a 3

32 Bazické matice pro n=4 4 x 2 a K = a 3 a 3 a 3 a 4 /a a 4 D = ( a 3 ) = a 3 32

33 Bazické matice pro n=4 2 x 2 a K =. a 4 a 3 a 3 a 4 /a a 4 K 2 =. a 4 D = + a 4 D 2 = + a 4 33

34 Bazické matice pro n=4 2 x 2 a 3 a a 3 a 4 /a a 4 K = a. a 3 K 2 = a. a 3 D = a + a 3 D 2 = a + a 3 34

35 Bazické matice pro n=4 2 x a 3 a a 4 a 3 a 4 /a K =. a 3. a 4 K 2 =. a 3. a 4 K 3 =. a 3. a 4 K 4 =. a 3. a 4 D = + a 3 + a 4 D 2 = + a 3 + a 4 D 3 = + a 3 + a 4 D 4 = + a 3 + a 4 35

36 Bazické matice pro n=4 2 x a 3 a a 4 a 3 a 4 /a K = a. a 3. a 4 K 2 = a. a 3. a 4 K 3 = a. a 3. a 4 K 4 = a. a 3. a 4 D = a + a 3 + a 4 D 2 = a + a 3 + a 4 D 3 = a + a 3 + a 4 D 4 = a + a 3 + a 4 36

37 Bazické matice pro n=4 x a 3 a a 4 a 3 a 4 /a K = a.. a 3. a 4 K 2 = a.. a 3. a 4 K 3 = a.. a 3. a 4 D = a + + a 3 + a 4 D 2 = a + + a 3 + a 4 D 3 = a + + a 3 + a 4 37

38 Převod do DNF pomocí Karnaughovy mapy Předpokládejme, že formule A obsahuje výrokové proměnné p, p 2,..., p n. Potom: Sestavíme Karnaughovu mapu formule A Najdeme bazické matice jedniček A,, A n tak, aby: -každámatice A i měla co největší rozměr -počet matic A i (tj. číslo n) byl co nejmenší Každé matici A i přiřadíme příslušnou konjunkci K i Konjunkce K K n spojíme disjunkcemi: A = K K 2 K n 38

39 Převod do KNF pomocí Karnaughovy mapy Předpokládejme, že formule A obsahuje výrokové proměnné p, p 2,..., p n. Potom: Sestavíme Karnaughovu mapu formule A Najdeme bazické matice nul A,, A n tak, aby: -každámatice A i měla co největší rozměr -počet matic A i (tj. číslo n) byl co nejmenší Každé matici A i přiřadíme příslušnou disjunkci D i Disjunkce D D n spojíme konjunkcemi: A = D D 2 D n 39

40 Příklad Převeďte formuli ( a b ) c pomocí Karnaughovy mapy do DNF a KNF a b c f c a b c/ab 4

41 Příklad převod do DNF a b konjunkce: c c / a b K = c K 2 = a. b a b c c / a b A = c + a.b 4

42 Příklad převod do KNF a b disjunkce: c c / a b D = (b. c ) = b + c D 2 = (a. c ) = a + c a b c c / a b A = ( b + c ). ( a + c ) 42

43 Systém ELVYS

44 Systém m ELVYS Elektronický VÝukový Systém elektronické studijní materiály vzájemná komunikace diskusní fóra k probírané problematice plnění a hodnocení průběžných úkolů upozornění na důležité termíny semestru heslo pro registraci do systému: orchidea registrace možná do přístup na adrese: 44

45 Děkuji za pozornost! Příští přednáška: Úplný systém logických spojek Logické obvody

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

Výroková logika II. Negace. Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0).

Výroková logika II. Negace. Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0). Výroková logika II Negace Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0). Na konkrétních příkladech si ukážeme, jak se dají výroky negovat. Obecně se výrok dá negovat tak, že před

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

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

Diskrétní matematika a logika

Diskrétní matematika a logika České Vysoké Učení Technické v Praze Fakulta elektrotechnická Diskrétní matematika a logika Text k přednášce Jiří Velebil katedra matematiky APraha, 2006 velebil@math.feld.cvut.cz http://math.feld.cvut.cz/velebil

Více

ČÍSLICOVÁ TECHNIKA UČEBNÍ TEXTY

ČÍSLICOVÁ TECHNIKA UČEBNÍ TEXTY Číslicová technika- učební texty. (HS určeno pro SPŠ Zlín) Str.: - - ČÍSLIOVÁ TEHNIK UČENÍ TEXTY (Určeno pro vnitřní potřebu SPŠ Zlín) Zpracoval: ing. Kovář Josef, ing. Hanulík Stanislav Číslicová technika-

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

Jiří Neubauer. Katedra ekonometrie FEM UO Brno

Jiří Neubauer. Katedra ekonometrie FEM UO Brno Přednáška č. 11 Katedra ekonometrie FEM UO Brno Jedná se o speciální případ dopravních úloh, řeší např. problematiku optimálního přiřazení strojů na pracoviště. Příklad Podnik má k dispozici 3 jeřáby,

Více

Matematická logika cvi ení 47

Matematická logika cvi ení 47 Matematická logika cvi ení 47 Libor B hounek www.cs.cas.cz/behounek/teaching/malog12 LS 2012/13, P F OU, 4.25. 3. 2013 Cvi ení 1. Posu te následující výroky z hlediska adekvátnosti dvojhodnotové sémantiky

Více

Úvod do informačních technologií

Úvod do informačních technologií Úvod do informačních technologií přednášky Jan Outrata září prosinec 2009 (aktualizace září prosinec 2012) Jan Outrata (KI UP) Úvod do informačních technologií září prosinec 2012 1 / 58 Binární logika

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

Analytické myšlení TSP MU výroková logika II.

Analytické myšlení TSP MU výroková logika II. Analytické myšlení TSP MU výroková logika II. Lehký úvod do výrokové logiky pro všechny, kdo se hlásí na Masarykovu univerzitu Tento materiál vznikl v rámci realizace projektu: Globální vzdělávání pro

Více

Číselné soustavy: Druhy soustav: Počítání ve dvojkové soustavě:

Číselné soustavy: Druhy soustav: Počítání ve dvojkové soustavě: Přednášející : Ing. Petr Haberzettl Zápočet : práce na doma hlavně umět vysvětlit Ze 120 lidí udělá maximálně 25 :D Literatura : Frištacký - Logické systémy Číselné soustavy: Nevyužíváme 10 Druhy soustav:

Více

LOGICKÉ OBVODY J I Ř Í K A L O U S E K

LOGICKÉ OBVODY J I Ř Í K A L O U S E K LOGICKÉ OBVODY J I Ř Í K A L O U S E K Ostrava 2006 Obsah předmětu 1. ČÍSELNÉ SOUSTAVY... 2 1.1. Číselné soustavy - úvod... 2 1.2. Rozdělení číselných soustav... 2 1.3. Polyadcké číselné soustavy... 2

Více

Negace výroku. Příklad 1. Rozhodněte, zda jsou věty výroky, u výroků určete pravdivostní hodnotu:

Negace výroku. Příklad 1. Rozhodněte, zda jsou věty výroky, u výroků určete pravdivostní hodnotu: Základní pojmy výrokové logiky Výrok je každé sdělení, o němž má smysl říci, zda je pravdivé nebo nepravdivé. Přitom může nastat pouze jedna možnost. Výroky označujeme obvykle velkými písmeny A, B, C Pravdivému

Více

Exponenciální rovnice. Metoda převedení na stejný základ. Cvičení 1. Příklad 1.

Exponenciální rovnice. Metoda převedení na stejný základ. Cvičení 1. Příklad 1. Eponenciální rovnice Eponenciální rovnice jsou rovnice, ve kterých se neznámá vsktuje v eponentu. Řešíme je v závislosti na tpu rovnice několika základními metodami. A. Metoda převedení na stejný základ

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

Číselné soustavy a převody mezi nimi

Číselné soustavy a převody mezi nimi Číselné soustavy a převody mezi nimi Základní požadavek na počítač je schopnost zobrazovat a pamatovat si čísla a provádět operace s těmito čísly. Čísla mohou být zobrazena v různých číselných soustavách.

Více

Číslicové obvody základní pojmy

Číslicové obvody základní pojmy Číslicové obvody základní pojmy V číslicové technice se pracuje s fyzikálními veličinami, které lze popsat při určité míře zjednodušení dvěma stavy. Logické stavy binární proměnné nabývají dvou stavů:

Více

1 Linearní prostory nad komplexními čísly

1 Linearní prostory nad komplexními čísly 1 Linearní prostory nad komplexními čísly V této přednášce budeme hledat kořeny polynomů, které se dále budou moci vyskytovat jako složky vektorů nebo matic Vzhledem k tomu, že kořeny polynomu (i reálného)

Více

PRIMA Přirozená čísla Celá čísla Desetinná čísla Číselná osa Pravidla pro násobení a dělení 10, 100, 1000..a 0,1, 0,01, 0,001.. Čísla navzájem opačná

PRIMA Přirozená čísla Celá čísla Desetinná čísla Číselná osa Pravidla pro násobení a dělení 10, 100, 1000..a 0,1, 0,01, 0,001.. Čísla navzájem opačná PRIMA Přirozená čísla Celá čísla Desetinná čísla Číselná osa Pravidla pro násobení a dělení 10, 100, 1000..a 0,1, 0,01, 0,001.. Čísla navzájem opačná Racionální čísla Zlomky Rozšiřování a krácení zlomků

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ázia a základní vzdělávání Jaroslav Švrček a kolektiv Rámcový vzdělávací program pro základní vzdělávání Vzdělávací oblast: Matematika a její aplikace Tematický okruh:

Více

(ne)závislost. α 1 x 1 + α 2 x 2 + + α n x n. x + ( 1) x Vektoru y = ( 1) y říkáme opačný vektor k vektoru y. x x = 1. x = x = 0.

(ne)závislost. α 1 x 1 + α 2 x 2 + + α n x n. x + ( 1) x Vektoru y = ( 1) y říkáme opačný vektor k vektoru y. x x = 1. x = x = 0. Lineární (ne)závislost [1] Odečítání vektorů, asociativita BI-LIN, zavislost, 3, P. Olšák [2] Místo, abychom psali zdlouhavě: x + ( 1) y, píšeme stručněji x y. Vektoru y = ( 1) y říkáme opačný vektor k

Více

Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá.

Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá. Výroková logika I Výroková logika se zabývá výroky. (Kdo by to byl řekl. :-)) Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá. U výroku

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

Definice barevnosti grafu, základní vlastnosti. Varinaty problému barvení.

Definice barevnosti grafu, základní vlastnosti. Varinaty problému barvení. 7 Barevnost a další těžké problémy Pro motivaci této lekce se podíváme hlouběji do historie počátků grafů v matematice. Kromě slavného problému sedmi mostů v Královci (dnešním Kaliningradě) je za další

Více

Nechť M je množina. Zobrazení z M M do M se nazývá (binární) operace

Nechť M je množina. Zobrazení z M M do M se nazývá (binární) operace Kapitola 2 Algebraické struktury Řada algebraických objektů má podobu množiny s nějakou dodatečnou strukturou. Například vektorový prostor je množina vektorů, ty však nejsou jeden jako druhý : jeden z

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

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

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

Aritmetika s didaktikou I.

Aritmetika s didaktikou I. Katedra matematiky PF UJEP Aritmetika s didaktikou I. KM1 / 0001 Přednáška 11 Nejmenší společný násobek Největší společný dělitel O čem budeme hovořit: Nejmenší společný násobek a jeho vlastnosti Největší

Více

Logika XI. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12

Logika XI. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12 Logika XI. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı České vysoké učení technické v Praze c Kateřina Trlifajová, 2010 BI-MLO, ZS 2011/12 Evropský sociální

Více

Gymnázium Vysoké Mýto nám. Vaňorného 163, 566 01 Vysoké Mýto

Gymnázium Vysoké Mýto nám. Vaňorného 163, 566 01 Vysoké Mýto Gymnázium Vysoké Mýto nám. Vaňorného 163, 566 01 Vysoké Mýto Registrační číslo projektu Šablona Autor Název materiálu CZ.1.07/1.5.00/34.0951 III/2 INOVACE A ZKVALITNĚNÍ VÝUKY PROSTŘEDNICTVÍM ICT Mgr. Jana

Více

2.1.4 Funkce, definiční obor funkce. π 4. Předpoklady: 2103. Pedagogická poznámka: Následující ukázky si studenti do sešitů nepřepisují.

2.1.4 Funkce, definiční obor funkce. π 4. Předpoklady: 2103. Pedagogická poznámka: Následující ukázky si studenti do sešitů nepřepisují. .. Funkce, definiční obor funkce Předpoklady: 03 Pedagogická poznámka: Následující ukázky si studenti do sešitů nepřepisují. Uděláme si na tabuli jenom krátký seznam: S = a, y = x, s = vt, výška lidí v

Více

OSTRAVSKÁ UNIVERZITA OSTRAVA PEDAGOGICKÁ FAKULTA MATEMATIKA. ve studiu učitelství 1. stupně základní školy. Vilma Novotná, Bohuslav Pisklák

OSTRAVSKÁ UNIVERZITA OSTRAVA PEDAGOGICKÁ FAKULTA MATEMATIKA. ve studiu učitelství 1. stupně základní školy. Vilma Novotná, Bohuslav Pisklák OSTRAVSKÁ UNIVERZITA OSTRAVA PEDAGOGICKÁ FAKULTA MATEMATIKA ve studiu učitelství 1. stupně základní školy Vilma Novotná, Bohuslav Pisklák Ostrava 2003 Obsah I. Úvod do teorie množin a matematické logiky

Více

2 Zpracování naměřených dat. 2.1 Gaussův zákon chyb. 2.2 Náhodná veličina a její rozdělení

2 Zpracování naměřených dat. 2.1 Gaussův zákon chyb. 2.2 Náhodná veličina a její rozdělení 2 Zpracování naměřených dat Důležitou součástí každé experimentální práce je statistické zpracování naměřených dat. V této krátké kapitole se budeme věnovat určení intervalů spolehlivosti získaných výsledků

Více

Vlastní číslo, vektor

Vlastní číslo, vektor [1] Vlastní číslo, vektor motivace: směr přímky, kterou lin. transformace nezmění invariantní podprostory charakteristický polynom báze, vzhledem ke které je matice transformace nejjednodušší podobnost

Více

Tomáš Karel LS 2012/2013

Tomáš Karel LS 2012/2013 Tomáš Karel LS 2012/2013 Doplňkový materiál ke cvičení z předmětu 4ST201. Na případné faktické chyby v této presentaci mě prosím upozorněte. Děkuji. Tyto slidy berte pouze jako doplňkový materiál není

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

ROZHODOVACÍ PROCEDURY A VERIFIKACE PAVEL SURYNEK, KTIML HTTP://KTIML.MFF.CUNI.CZ/~SURYNEK/NAIL094

ROZHODOVACÍ PROCEDURY A VERIFIKACE PAVEL SURYNEK, KTIML HTTP://KTIML.MFF.CUNI.CZ/~SURYNEK/NAIL094 10 ROZHODOVACÍ PROCEDURY A VERIFIKACE PAVEL SURYNEK, KTIML HTTP://KTIML.MFF.CUNI.CZ/~SURYNEK/NAIL094 Matematicko-fyzikální fakulta Univerzita Karlova v Praze 1 ROZHODOVÁNÍ TEORIÍ POMOCÍ SAT ŘEŠIČE (SMT)

Více

Příklad 1. Z uvedených možností vyberte tu, která odpovídá dané větě (je s danou větou ekvivalentní): Koupím byt nebo nové auto.

Příklad 1. Z uvedených možností vyberte tu, která odpovídá dané větě (je s danou větou ekvivalentní): Koupím byt nebo nové auto. Příklad 1. Z uvedených možností vyberte tu, která odpovídá dané větě (je s danou větou ekvivalentní): Koupím byt nebo nové auto. A: Koupím-li byt, nekoupím nové auto. B: Koupím byt nebo nekoupím nové auto.

Více

Programy na PODMÍNĚNÝ příkaz IF a CASE

Programy na PODMÍNĚNÝ příkaz IF a CASE Vstupy a výstupy budou vždy upraveny tak, aby bylo zřejmé, co zadáváme a co se zobrazuje. Není-li určeno, zadáváme přirozená čísla. Je-li to možné, používej generátor náhodných čísel vysvětli, co a jak

Více

1.4.2 Složené výroky konjunkce a disjunkce

1.4.2 Složené výroky konjunkce a disjunkce 1.4.2 Složené výroky konjunkce a disjunkce Předpoklady: 1401 Složené výroky = souvětí, výroky složené z více jednoduchých výroků Výrok: Číslo 5 je sudé a je prvočíslo. Sestavený ze dvou výroků: 1. výrok:

Více

Žák plní standard v průběhu primy a sekundy, učivo absolutní hodnota v kvartě.

Žák plní standard v průběhu primy a sekundy, učivo absolutní hodnota v kvartě. STANDARDY MATEMATIKA 2. stupeň ČÍSLO A PROMĚNNÁ 1. M-9-1-01 Žák provádí početní operace v oboru celých a racionálních čísel; užívá ve výpočtech druhou mocninu a odmocninu 1. žák provádí základní početní

Více

UNIVERZITA PARDUBICE FAKULTA ELEKTROTECHNIKY A INFORMATIKY BAKALÁŘSKÁ PRÁCE. 2009 Tomáš Michek

UNIVERZITA PARDUBICE FAKULTA ELEKTROTECHNIKY A INFORMATIKY BAKALÁŘSKÁ PRÁCE. 2009 Tomáš Michek UNIVERZITA PARDUBICE FAKULTA ELEKTROTECHNIKY A INFORMATIKY BAKALÁŘSKÁ PRÁCE 2009 Tomáš Michek Univerzita Pardubice Fakulta elektrotechniky a informatiky Program pro výuku a testování základů výrokové a

Více

Předpokládané znalosti: v rozsahu KMA/DMA Diskrétní matematika. Skripta DMA: - R. 2004. - J. Holenda, Z. Ryjáček: Lineární algebra II - Skripta

Předpokládané znalosti: v rozsahu KMA/DMA Diskrétní matematika. Skripta DMA: - R. 2004. - J. Holenda, Z. Ryjáček: Lineární algebra II - Skripta KMA/TGD1 Teorie grafů a diskrétní optimalizace 1 Zdeněk Ryjáček, KMA UK 620 ryjacek@kmazcucz http://wwwkmazcucz/ryjacek 1545 1715, s přestávkou 15 minut Předpokládané znalosti: v rozsahu KMA/DMA Diskrétní

Více

Čísla a aritmetika. Řádová čárka = místo, které odděluje celou část čísla od zlomkové.

Čísla a aritmetika. Řádová čárka = místo, které odděluje celou část čísla od zlomkové. Příprava na cvčení č.1 Čísla a artmetka Číselné soustavy Obraz čísla A v soustavě o základu z: m A ( Z ) a z (1) n kde: a je symbol (číslce) z je základ m je počet řádových míst, na kterých má základ kladný

Více

NP-úplnost problému SAT

NP-úplnost problému SAT Problém SAT je definován následovně: SAT(splnitelnost booleovských formulí) Vstup: Booleovská formule ϕ. Otázka: Je ϕ splnitelná? Příklad: Formule ϕ 1 =x 1 ( x 2 x 3 )jesplnitelná: např.přiohodnocení ν,kde[x

Více

1.4.3 Složené výroky konjunkce a disjunkce

1.4.3 Složené výroky konjunkce a disjunkce 1.4.3 Složené výroky konjunkce a disjunkce Předpoklady: 010402 Složené výroky = souvětí, výroky složené z více jednoduchých výroků. Výrok: Číslo 5 je sudé a je prvočíslo. Sestavený ze dvou výroků: 1. výrok:

Více

ZÁKLADNÍ POZNATKY Z MATEMATIKY

ZÁKLADNÍ POZNATKY Z MATEMATIKY ZÁKLADNÍ POZNATKY Z MATEMATIKY Gymnázium Jiřího Wolkera v Prostějově Výukové materiály z matematiky pro vyšší gymnázia Autoři projektu Student na prahu 21. století - využití ICT ve vyučování matematiky

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

Data v počítači. Informační data. Logické hodnoty. Znakové hodnoty

Data v počítači. Informační data. Logické hodnoty. Znakové hodnoty Data v počítači Informační data (elementární datové typy) Logické hodnoty Znaky Čísla v pevné řádové čárce (celá čísla) v pohyblivé (plovoucí) řád. čárce (reálná čísla) Povelová data (instrukce programu)

Více

Úterý 8. ledna. Cabri program na rýsování. Základní rozmístění sad nástrojů na panelu nástrojů

Úterý 8. ledna. Cabri program na rýsování. Základní rozmístění sad nástrojů na panelu nástrojů Úterý 8. ledna Cabri program na rýsování program umožňuje rýsování základních geometrických útvarů, měření délky úsečky, velikosti úhlu, výpočet obvodů a obsahů. Je vhodný pro rýsování geometrických míst

Více

Sčítání a odčítání Jsou-li oba sčítanci kladní, znaménko výsledku je + +421 +23 = + 444

Sčítání a odčítání Jsou-li oba sčítanci kladní, znaménko výsledku je + +421 +23 = + 444 ARITMETIKA CELÁ ČÍSLA Celá čísla jsou. -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, Celá čísla rozdělujeme na záporná (-1, -2, -3, ) kladná (1, 2, 3,.) nula 0 (není číslo kladné ani záporné) absolutní

Více

Řešení. Hledaná dimenze je (podle definice) rovna hodnosti matice. a 1 2. 1 + a 2 2 1

Řešení. Hledaná dimenze je (podle definice) rovna hodnosti matice. a 1 2. 1 + a 2 2 1 Příklad 1. Určete všechna řešení následující soustavy rovnic nad Z 2 : 0 0 0 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 1 Gaussovou eliminací převedeme zadanou soustavu na ekvivalentní soustavu v odstupňovaném

Více

Euklidovský prostor. Euklides. Euklidovy postuláty (axiomy)

Euklidovský prostor. Euklides. Euklidovy postuláty (axiomy) Euklidovský prostor Euklidovy Základy (pohled do historie) dnešní definice kartézský souřadnicový systém vlastnosti rovin v E n speciální vlastnosti v E 3 (vektorový součin) a) eprostor, 16, b) P. Olšák,

Více

8 Věta o Fourierově transformaci funkcí, které lze na sebe transformovat regulární lineární transformací souřadnic

8 Věta o Fourierově transformaci funkcí, které lze na sebe transformovat regulární lineární transformací souřadnic 8 REGULÁRNÍ LINEÁRNÍ TRANSFORMACE SOUŘADNIC 8 Věta o Fourierově transformaci funkcí, které lze na sebe transformovat regulární lineární transformací souřadnic Ze zkušenosti s Fraunhoferovými difrakčními

Více

Definice. Vektorový prostor V nad tělesem T je množina s operacemi + : V V V, tj. u, v V : u + v V : T V V, tj. ( u V )( a T ) : a u V které splňují

Definice. Vektorový prostor V nad tělesem T je množina s operacemi + : V V V, tj. u, v V : u + v V : T V V, tj. ( u V )( a T ) : a u V které splňují Definice. Vektorový prostor V nad tělesem T je množina s operacemi + : V V V, tj. u, v V : u + v V : T V V, tj. ( u V )( a T ) : a u V které splňují 1. u + v = v + u, u, v V 2. (u + v) + w = u + (v + w),

Více

Trojúhelník a čtyřúhelník výpočet jejich obsahu, konstrukční úlohy

Trojúhelník a čtyřúhelník výpočet jejich obsahu, konstrukční úlohy 5 Trojúhelník a čtyřúhelník výpočet jejich obsahu, konstrukční úlohy Trojúhelník: Trojúhelník je definován jako průnik tří polorovin. Pojmy: ABC - vrcholy trojúhelníku abc - strany trojúhelníku ( a+b>c,

Více

Tento seminář pro Vás připravuje vzdělávací agentura. Kurzy-Fido.cz. ...s námi TSP zvládnete!

Tento seminář pro Vás připravuje vzdělávací agentura. Kurzy-Fido.cz. ...s námi TSP zvládnete! Tento seminář pro Vás připravuje vzdělávací agentura Kurzy-Fido.cz...s námi TSP zvládnete! Řešení páté série (27.4.2009) 13. Hlavní myšlenka: efektivní porovnávání zlomků a desetinných čísel Postup: V

Více

Matematická témata matematický seminář A

Matematická témata matematický seminář A Vzdělávací oblast: ČLOVĚK A PŘÍRODA Vyučovací předmět: Matematický seminář A rozšiřující učivo Matematický seminář B procvičování základního učiva Ročník: 6. až 9. Cílová skupina: skupina žáků složená

Více

Seminář IVT. MS Excel, opakování funkcí

Seminář IVT. MS Excel, opakování funkcí Seminář IVT MS Excel, opakování funkcí Výuka Opakování z minulé hodiny. Založeno na výsledcích Vašich domácích úkolů, podrobné zopakování věcí, ve kterých děláte nejčastěji chyby. Nejčastější jsou následující

Více

Témata absolventského klání z matematiky :

Témata absolventského klání z matematiky : Témata absolventského klání z matematiky : 1.Dělitelnost přirozených čísel - násobek a dělitel - společný násobek - nejmenší společný násobek (n) - znaky dělitelnosti 2, 3, 4, 5, 6, 8, 9,10 - společný

Více

Matematika. Až zahájíš práci, nezapomeò:

Matematika. Až zahájíš práci, nezapomeò: 9. TØÍDA PZ 2012 9. tøída I MA D Matematika Až zahájíš práci, nezapomeò: každá úloha má jen jedno správné øešení úlohy mùžeš øešit v libovolném poøadí test obsahuje 30 úloh na 60 minut sleduj bìhem øešení

Více

4.2.15 Funkce kotangens

4.2.15 Funkce kotangens 4..5 Funkce kotangens Předpoklady: 44 Pedagogická poznámka: Pokud nemáte čas, doporučuji nechat tuto hodinu studentům na domácí práci. Nedá se na tom nic zkazit a v budoucnu to není nikde příliš potřeba.

Více

Maturitní témata od 2013

Maturitní témata od 2013 1 Maturitní témata od 2013 1. Úvod do matematické logiky 2. Množiny a operace s nimi, číselné obory 3. Algebraické výrazy, výrazy s mocninami a odmocninami 4. Lineární rovnice a nerovnice a jejich soustavy

Více

ALGEBRA LINEÁRNÍ, KVADRATICKÉ ROVNICE

ALGEBRA LINEÁRNÍ, KVADRATICKÉ ROVNICE ALGEBRA LINEÁRNÍ, KVADRATICKÉ ROVNICE A NEROVNICE, SOUSTAVY ROVNIC A NEROVNIC Gymnázium Jiřího Wolkera v Prostějově Výukové materiály z matematiky pro vyšší gymnázia Autoři projektu Student na prahu 21.

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

MATURITNÍ TÉMATA Z MATEMATIKY

MATURITNÍ TÉMATA Z MATEMATIKY MATURITNÍ TÉMATA Z MATEMATIKY 1. Základní poznatky z logiky a teorie množin Pojem konstanty a proměnné. Obor proměnné. Pojem výroku a jeho pravdivostní hodnota. Operace s výroky, složené výroky, logické

Více

Způsoby realizace této funkce:

Způsoby realizace této funkce: KOMBINAČNÍ LOGICKÉ OBVODY U těchto obvodů je výstup určen jen výhradně kombinací vstupních veličin. Hodnoty výstupních veličin nezávisejí na předcházejícím stavu logického obvodu, což znamená, že kombinační

Více

7 Kardinální informace o kritériích (část 1)

7 Kardinální informace o kritériích (část 1) 7 Kardinální informace o kritériích (část 1) Předpokládejme stejná značení jako v předchozích cvičeních. Kardinální informací o kritériích se rozumí ohodnocení jejich důležitosti k pomocí váhového vektoru

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

5.2. Funkce, definiční obor funkce a množina hodnot funkce

5.2. Funkce, definiční obor funkce a množina hodnot funkce 5. Funkce 8. ročník 5. Funkce 5.. Opakování - Zobrazení a zápis intervalů a) uzavřený interval d) otevřený interval čísla a,b krajní body intervalu číslo a patří do intervalu (plné kolečko) číslo b patří

Více

Odpřednesenou látku naleznete v kapitole 3.3 skript Diskrétní matematika.

Odpřednesenou látku naleznete v kapitole 3.3 skript Diskrétní matematika. Lineární kódy, část 2 Odpřednesenou látku naleznete v kapitole 3.3 skript Diskrétní matematika. Jiří Velebil: A7B01LAG 22.12.2014: Lineární kódy, část 2 1/12 Dnešní přednáška 1 Analýza Hammingova (7, 4)-kódu.

Více

Rozlítávací voliéra. Statická část. Technická zpráva + Statický výpočet

Rozlítávací voliéra. Statická část. Technická zpráva + Statický výpočet Stupeň dokumentace: DPS S-KON s.r.o. statika stavebních konstrukcí Ing.Vladimír ČERNOHORSKÝ Podnádražní 12/910 190 00 Praha 9 - Vysočany tel. 236 160 959 akázkové číslo: 12084-01 Datum revize: prosinec

Více

Historie matematiky a informatiky Cvičení 2

Historie matematiky a informatiky Cvičení 2 Historie matematiky a informatiky Cvičení 2 Doc. RNDr. Alena Šolcová, Ph. D., KAM, FIT ČVUT v Praze 2014 Evropský sociální fond Investujeme do vaší budoucnosti Alena Šolcová Číselně teoretické funkce (Number-Theoretic

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

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

Jaromír Kuben. Vytvořeno v rámci projektu Operačního programu Rozvoje lidských zdrojů CZ.04.1.03/3.2.15.1/0016

Jaromír Kuben. Vytvořeno v rámci projektu Operačního programu Rozvoje lidských zdrojů CZ.04.1.03/3.2.15.1/0016 VYSOKÁ ŠKOLA BÁŇSKÁ TECHNICKÁ UNIVERZITA OSTRAVA DIFERENCIÁLNÍ POČET FUNKCÍ JEDNÉ PROMĚNNÉ Jaromír Kuben Petra Šarmanová Vytvořeno v rámci projektu Operačního programu Rozvoje lidských zdrojů CZ.04..03/3..5./006

Více

1. Jordanův kanonický tvar

1. Jordanův kanonický tvar . Jordanův kanonický tvar Obecně nelze pro zadaný lineární operátor ϕ : U U najít bázi α takovou, že (ϕ) α,α by byla diagonální. Obecně však platí, že pro každý lineární operátor ϕ : U U nad komplexními

Více

FOTOGRAMMETRIE. Rekonstrukce svislého nezáměrně pořízeného snímku, známe-li obraz čtverce ve vodorovné rovině

FOTOGRAMMETRIE. Rekonstrukce svislého nezáměrně pořízeného snímku, známe-li obraz čtverce ve vodorovné rovině FOTOGRAMMETRIE Máme-li k dispozici jednu nebo několik fotografií daného objektu (objekt zobrazený v lineární perspektivě), pomocí fotogrammetrie můžeme zjistit jeho tvar, rozměr či polohu v prostoru. Známe-li

Více

Výroková logika (5) 1. Základní pojmy Ke každé větě dopište do závorky, zda věta je pravda, či nepravda.

Výroková logika (5) 1. Základní pojmy Ke každé větě dopište do závorky, zda věta je pravda, či nepravda. m_1_vyrok_priklady 6.5.011 1/9 m_1_vyrok_priklady 6.5.011 /9 Výroková logika (5) 1. Základní pojmy Ke každé větě dopište do závorky, zda věta je pravda, či nepravda. A: Číslo 6 je dělitelné 5-ti. (nepravda)

Více

Co byste měl/a zvládnout po 6. týdnu

Co byste měl/a zvládnout po 6. týdnu Co byste měl/a zvládnout po 6. týdnu Zde je uveden naprostý základ. Nejde o úplný výčet všech dovedností. Jiří Velebil: A7B01LAG Zvládnutá látka po 6. týdnu 1/8 Slovník základních pojmů Monomorfismus,

Více

Logika pro informatiky (a příbuzné obory)

Logika pro informatiky (a příbuzné obory) VŠB Technická univerzita Ostrava Logika pro informatiky (a příbuzné obory) učební text Doc. RNDr. Marie Duží, CSc. Ostrava 2012 Vydavatelství VŠB-TU Ostrava Vydání této publikace je spolufinancováno Evropským

Více

MISYS import dat MISYS. Import dat. www.gepro.cz. II/2012 Gepro, spol. s r.o. Ing. Stanislav Tomeš

MISYS import dat MISYS. Import dat. www.gepro.cz. II/2012 Gepro, spol. s r.o. Ing. Stanislav Tomeš MISYS Import dat Obsah Základní informace Import SHP typ TEXT Import SHP typ BOD Import SHP typ LINIE Import SHP typ PLOCHA Import DGN Import DXF Základní informace Import dat provádí konverzi datových

Více

7 Formátovaný výstup, třídy, objekty, pole, chyby v programech

7 Formátovaný výstup, třídy, objekty, pole, chyby v programech 7 Formátovaný výstup, třídy, objekty, pole, chyby v programech Studijní cíl Tento studijní blok má za cíl pokračovat v základních prvcích jazyka Java. Konkrétně bude věnována pozornost formátovanému výstupu,

Více

Kódy pro odstranění redundance, pro zabezpečení proti chybám. Demonstrační cvičení 5 INP

Kódy pro odstranění redundance, pro zabezpečení proti chybám. Demonstrační cvičení 5 INP Kódy pro odstranění redundance, pro zabezpečení proti chybám Demonstrační cvičení 5 INP Princip kódování, pojmy Tady potřebujeme informaci zabezpečit, utajit apod. zpráva 000 111 000 0 1 0... kodér dekodér

Více

Matematický KLOKAN 2005 kategorie Junior

Matematický KLOKAN 2005 kategorie Junior Matematický KLOKAN 2005 kategorie Junior Vážení přátelé, v následujících 75 minutách vás čeká stejný úkol jako mnoho vašich vrstevníků v řadě dalších evropských zemí. V níže uvedeném testu je zadáno čtyřiadvacet

Více

(A) o 4,25 km (B) o 42,5 dm (C) o 42,5 m (D) o 425 m

(A) o 4,25 km (B) o 42,5 dm (C) o 42,5 m (D) o 425 m . Když od neznámého čísla odečtete 54, výsledek vydělíte 3 a následně přičtete 6, získáte číslo 9. Jaká je hodnota tohoto neznámého čísla? (A) 0 (B) 03 (C) 93 (D) 89 2. Na úsečce SV, jejíž délka je 3 cm,

Více

2.1.17 Parametrické systémy lineárních funkcí II

2.1.17 Parametrické systémy lineárních funkcí II .1.17 Parametrické sstém lineárních funkcí II Předpoklad: 11 Pedagogická poznámka: Celá hodina vznikla na základě jednoho příkladu ze sbírk úloh od Jindr Petákové. S příkladem mělo několik generací studentů

Více

Kód. Proměnné. #include <iostream> using namespace std; int main(void) { cout << "Hello world!" << endl; cin.get(); return 0; }

Kód. Proměnné. #include <iostream> using namespace std; int main(void) { cout << Hello world! << endl; cin.get(); return 0; } Jazyk C++ Jazyk C++ je nástupcem jazyka C. C++ obsahuje skoro celý jazyk C, ale navíc přidává vysokoúrovňové vlastnosti vyšších jazyků. Z toho plyne, že (skoro) každý platný program v C je také platným

Více

analytické geometrie v prostoru s počátkem 18. stol.

analytické geometrie v prostoru s počátkem 18. stol. 4.. Funkce více proměnných, definice, vlastnosti Funkce více proměnných Funkce více proměnných se v matematice začal používat v rámci rozvoje analtické geometrie v prostoru s počátkem 8. stol. I v sami

Více

v z t sin ψ = Po úpravě dostaneme: sin ψ = v z v p v p v p 0 sin ϕ 1, 0 < v z sin ϕ < 1.

v z t sin ψ = Po úpravě dostaneme: sin ψ = v z v p v p v p 0 sin ϕ 1, 0 < v z sin ϕ < 1. Řešení S-I-4-1 Hledáme vlastně místo, kde se setkají. A to tak, aby nemusel pes na zajíce čekat nebo ho dohánět. X...místo setkání P...místo, kde vybíhá pes Z...místo, kde vybíhá zajíc ZX = v z t P X =

Více

Microsoft Office. Excel vyhledávací funkce

Microsoft Office. Excel vyhledávací funkce Microsoft Office Excel vyhledávací funkce Karel Dvořák 2011 Vyhledávání v tabulkách Vzhledem ke skutečnosti, že Excel je na mnoha pracovištích používán i jako nástroj pro správu jednoduchých databází,

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

h n i s k o v v z d á l e n o s t s p o j n ý c h č o č e k

h n i s k o v v z d á l e n o s t s p o j n ý c h č o č e k h n i s k o v v z d á l e n o s t s p o j n ý c h č o č e k Ú k o l : P o t ř e b : Změřit ohniskové vzdálenosti spojných čoček různými metodami. Viz seznam v deskách u úloh na pracovním stole. Obecná

Více

Objekty v GEONExTu, jejich vytváření, zobrazení, vlastnosti a manipulace s nimi, vztahy mezi objekty

Objekty v GEONExTu, jejich vytváření, zobrazení, vlastnosti a manipulace s nimi, vztahy mezi objekty Objekty v GEONExTu, jejich vytváření, zobrazení, vlastnosti a manipulace s nimi, vztahy mezi objekty Typy objektů Objekty, se kterými v programu GEONExT pracujeme, mají převážně grafické znázornění. Jednak

Více

13 Barvy a úpravy rastrového

13 Barvy a úpravy rastrového 13 Barvy a úpravy rastrového Studijní cíl Tento blok je věnován základním metodám pro úpravu rastrového obrazu, jako je např. otočení, horizontální a vertikální překlopení. Dále budo vysvětleny různé metody

Více

tj. veličina kurzívou a jednotka obyčejným písmem umístěná v oblých resp. hranatých závorkách *).

tj. veličina kurzívou a jednotka obyčejným písmem umístěná v oblých resp. hranatých závorkách *). MS OFFICE Může se zdát, že užití kancelářského balíku MS Office při výuce fyziky nepřesahuje běžné aplikace a standardní funkce, jak jsou popsány v mnoha příručkách ke všem jednotlivým částem tohoto balíku.

Více

MASARYKOVA UNIVERZITA. Řešené příklady na extrémy a průběh funkce se zaměřením na ekonomii

MASARYKOVA UNIVERZITA. Řešené příklady na extrémy a průběh funkce se zaměřením na ekonomii MASARYKOVA UNIVERZITA Přírodovědecká fakulta Řešené příklad na etrém a průběh funkce se zaměřením na ekonomii Bakalářská práce Veronika Kruttová Brno 008 Prohlášení: Prohlašuji, že jsem svou bakalářskou

Více