prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. BI-ZMA ZS 2009/2010

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. BI-ZMA ZS 2009/2010"

Transkript

1 Základní pojmy prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. Katedra matematiky České vysoké učení technické v Praze c Čestmír Burdík, Edita Pelantová 2009 Základy matematické analýzy 1. přednáška BI-ZMA ZS 2009/2010 Evropský sociální fond. Praha & EU: Investujeme do vaší budoucnosti (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

2 Výrok Definice V logice je výrok tvrzení, u kterého má smysl otázka, zda je či není pravdivý. Definice Výroková funkce je předpis P(x), který každému prvku x přiřazuje výrok. (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

3 Logické spojky A B platí A a zároveň platí B, platí oba dva výroky A, B, (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

4 Logické spojky A B platí A a zároveň platí B, platí oba dva výroky A, B, A B platí A nebo platí B, tedy platí alespoň jeden z výroků A, B, (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

5 Logické spojky A B platí A a zároveň platí B, platí oba dva výroky A, B, A B platí A nebo platí B, tedy platí alespoň jeden z výroků A, B, A B, B A platí B, A implikuje B, z A plyne B, pokud platí A, pak (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

6 Logické spojky A B platí A a zároveň platí B, platí oba dva výroky A, B, A B platí A nebo platí B, tedy platí alespoň jeden z výroků A, B, A B, B A platí B, A implikuje B, z A plyne B, pokud platí A, pak A B A je ekvivalentní s B; A platí právě tehdy, když platí B; A platí tehdy a jen tehdy, když platí B; platí-li A, platí B, neplatí-li A, neplatí B, (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

7 Logické kvantifikátory Logické kvantifikátory identicky rovno (např. dvě funkce mají všude na dané množině stejné hodnoty), (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

8 Logické kvantifikátory Logické kvantifikátory identicky rovno (např. dvě funkce mají všude na dané množině stejné hodnoty), df = definitoricky rovno (při definici nového pojmu), (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

9 Logické kvantifikátory Logické kvantifikátory identicky rovno (např. dvě funkce mají všude na dané množině stejné hodnoty), df = definitoricky rovno (při definici nového pojmu), obecný kvantifikátor, tj. všechna, pro všechna, pro každé..., (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

10 Logické kvantifikátory Logické kvantifikátory identicky rovno (např. dvě funkce mají všude na dané množině stejné hodnoty), df = definitoricky rovno (při definici nového pojmu), obecný kvantifikátor, tj. všechna, pro všechna, pro každé..., existenční kvantifikátor, tj. existuje, pro nějaké..., (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

11 Logické kvantifikátory Logické kvantifikátory identicky rovno (např. dvě funkce mají všude na dané množině stejné hodnoty), df = definitoricky rovno (při definici nového pojmu), obecný kvantifikátor, tj. všechna, pro všechna, pro každé..., existenční kvantifikátor, tj. existuje, pro nějaké...,! existuje právě jedno, (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

12 Množina Definice M = {...} množina zadaná výčtem prvků nebo charakteristickou vlastností svých prvků, x M čteme x (je) prvkem M Obecně budeme množiny všech prvů x M, pro které je pravdivá výroková forma A(x), zapisovat ve tvaru {x M P(x)}. V případě, že M značí množinu všech x, která lze do výrokové formy dosazovat, budeme používat i značení {x P(x)}. (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

13 Operace s množinami Dvě množiny A a B jsou stejné, zapsáno A = B, když A a B mají stejné prvky. (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

14 Operace s množinami Dvě množiny A a B jsou stejné, zapsáno A = B, když A a B mají stejné prvky. Množina A se nazývá podmnožina množiny B, zapsáno A B, když každý prvek množiny A je obsažen v množině B. (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

15 Operace s množinami Dvě množiny A a B jsou stejné, zapsáno A = B, když A a B mají stejné prvky. Množina A se nazývá podmnožina množiny B, zapsáno A B, když každý prvek množiny A je obsažen v množině B. Zřejmě, A = B, když současně platí A B a B A. (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

16 Operace s množinami Dvě množiny A a B jsou stejné, zapsáno A = B, když A a B mají stejné prvky. Množina A se nazývá podmnožina množiny B, zapsáno A B, když každý prvek množiny A je obsažen v množině B. Zřejmě, A = B, když současně platí A B a B A. Když A B a A B, nazýváme A vlastní podmnožinou množiny B. (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

17 Operace s množinami Dvě množiny A a B jsou stejné, zapsáno A = B, když A a B mají stejné prvky. Množina A se nazývá podmnožina množiny B, zapsáno A B, když každý prvek množiny A je obsažen v množině B. Zřejmě, A = B, když současně platí A B a B A. Když A B a A B, nazýváme A vlastní podmnožinou množiny B. Důležitá je množina neobsahující žádný prvek. Taková množina existuje pouze jedna a je zvykem ji značit a nazývat prázdná množina. Prázdná množina je podmnožinou každé množiny. (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

18 Operace s množinami Když A a B jsou dvě množiny, definujeme sjednocení A B množin A a B A B = { x x A nebo x B}; Množiny A a B nazývame disjunktní, když A B =. (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

19 Operace s množinami Když A a B jsou dvě množiny, definujeme sjednocení A B množin A a B A B = { x x A nebo x B}; průnik A B množin A a B A B = { x x A a x B}; Množiny A a B nazývame disjunktní, když A B =. (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

20 Operace s množinami Když A a B jsou dvě množiny, definujeme sjednocení A B množin A a B A B = { x x A nebo x B}; průnik A B množin A a B A B = { x x A a x B}; rozdíl A\B množin A a B A\B = { x x A a x / B}. Množiny A a B nazývame disjunktní, když A B =. (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

21 Uspořádaná n-tice Definice Jestliže x a y jsou prvky (nějakých množin), zavedeme symbol (x, y) pro uspořádanou dvojici prvků x a y. Definujeme: (x, y) = (z, t) právě když x = z a y = t. Podobně definujeme i uspořádanou n-tici prvků x 1, x 2,..., x n, již označujeme (x 1, x 2,..., x n ). (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

22 Kartézský součin Definice Necht A a B jsou množiny. Symbolem A B označujeme množinu všech uspořádaných dvojic tvaru (x, y), kde x A a y B. Formálně zapsáno A B = { (x, y) x A, y B }. A B se nazývá kartézský součin množin A a B. (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

23 Relace Definice Relace mezi množinami A a B je libovolná podmnožina R kartézského součinu A B. Je-li A = B, mluvíme o relaci na A. Náleži-li dvojice (x, y) relaci R, t.j., (x, y) R, říkáme také, že x a y jsou v relaci R, a zapisujeme též xry. (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

24 Množina všech podmnožin Příklad 1 Množinu všech podmnožin množiny A označíme P(A). Této množině se také říká potenční množina, proto písmeno P v označení. Na P(A) zavedeme relaci R 1 takto X R 1 Y X Y (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

25 Další příklady. Příklad 2 Řekneme, že přímky p a q v rovině jsou v relaci R 2, když p a q jsou rovnoběžné. (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

26 Další příklady. Příklad 2 Řekneme, že přímky p a q v rovině jsou v relaci R 2, když p a q jsou rovnoběžné. Příklad 3 Řekneme, že přímky p a q v rovině jsou v relaci R 3, když p a q jsou na sebe kolmé. (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

27 Další příklady. Příklad 2 Řekneme, že přímky p a q v rovině jsou v relaci R 2, když p a q jsou rovnoběžné. Příklad 3 Řekneme, že přímky p a q v rovině jsou v relaci R 3, když p a q jsou na sebe kolmé. Příklad 4 Na množině studentů FIT zavedeme relaci podle data jejich narození. Řekneme, že dva studenti jsou v relaci R 4, jestliže mají narozeniny ve stejný den. (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

28 Další příklady. Příklad 2 Řekneme, že přímky p a q v rovině jsou v relaci R 2, když p a q jsou rovnoběžné. Příklad 3 Řekneme, že přímky p a q v rovině jsou v relaci R 3, když p a q jsou na sebe kolmé. Příklad 4 Na množině studentů FIT zavedeme relaci podle data jejich narození. Řekneme, že dva studenti jsou v relaci R 4, jestliže mají narozeniny ve stejný den. Příklad 5 Na množině N definujeme relaci mr 5 n, když m děĺı n. (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

29 Ekvivalence Definice Řekneme, že relace R na množině M je ekvivalence, když má následující tři vlastnosti pro každé x M platí xrx kdykoliv xry, pak i yrx (reflexivita) (symetrie) ze vztahů xry a y Rz plyne xrz (tranzitivita) (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

30 Uspořádání Definice Relace na množině M se nazývá uspořádání, když má následující tři vlastnosti: pro každé x M platí x x jestliže x y a y x, pak x = y jestliže x y a y z, pak x z (reflexivita) (antisymetrie) (tranzitivita) (FIT) Základní pojmy BI-ZMA ZS 2009/ / 14

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

1. Množiny, zobrazení, relace

1. Množiny, zobrazení, relace Matematická analýza I přednášky M. Málka cvičení A. Hakové a R. Otáhalové Zimní semestr 2004/05 1. Množiny, zobrazení, relace První kapitola je věnována základním pojmům teorie množin. Pojednává o množinách

Více

METRICKÉ A NORMOVANÉ PROSTORY

METRICKÉ A NORMOVANÉ PROSTORY PŘEDNÁŠKA 1 METRICKÉ A NORMOVANÉ PROSTORY 1.1 Prostor R n a jeho podmnožiny Připomeňme, že prostorem R n rozumíme množinu uspořádaných n tic reálných čísel, tj. R n = R } R {{ R }. n krát Prvky R n budeme

Více

množinu definujeme axiomaticky: nesnažíme se ji zkonstruovat (dokonce se ani nezabýváme otázkou,

množinu definujeme axiomaticky: nesnažíme se ji zkonstruovat (dokonce se ani nezabýváme otázkou, Matematická analýza I přednášky M. Málka cvičení A. Hakové a R. Otáhalové Zimní semestr 2004/05 2. Reálná čísla, funkce reálné proměnné V této kapitole zavádíme množinu, na níž stojí celá matematická analýza:

Více

Matematika. Kamila Hasilová. Matematika 1/34

Matematika. Kamila Hasilová. Matematika 1/34 Matematika Kamila Hasilová Matematika 1/34 Obsah 1 Úvod 2 GEM 3 Lineární algebra 4 Vektory Matematika 2/34 Úvod Zkouška písemná, termíny budou včas vypsány na Intranetu UO obsah: teoretická a praktická

Více

Funkce. Definiční obor a obor hodnot

Funkce. Definiční obor a obor hodnot Funkce Definiční obor a obor hodnot Opakování definice funkce Funkce je předpis, který každému číslu z definičního oboru, který je podmnožinou množiny všech reálných čísel R, přiřazuje právě jedno reálné

Více

Reálná čísla. Sjednocením množiny racionálních a iracionálních čísel vzniká množina

Reálná čísla. Sjednocením množiny racionálních a iracionálních čísel vzniká množina Reálná čísla Iracionální číslo je číslo vyjádřené ve tvaru nekonečného desetinného rozvoje, ve kterém se nevyskytuje žádná perioda. Při počítání je potřeba iracionální číslo vyjádřit zaokrouhlené na určitý

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

Základy fuzzy logiky 1

Základy fuzzy logiky 1 A Tutorial Základy fuzzy logiky 1 George J. Klir Petr Osička State University of New York (SUNY) Binghamton, New York 13902, USA gklir@binghamton.edu Palacky University, Olomouc, Czech Republic prepared

Více

Oproti definici ekvivalence jsme tedy pouze zaměnili symetričnost za antisymetričnost.

Oproti definici ekvivalence jsme tedy pouze zaměnili symetričnost za antisymetričnost. Kapitola 3 Uspořádání a svazy Pojem uspořádání, který je tématem této kapitoly, představuje (vedle zobrazení a ekvivalence) další zajímavý a důležitý speciální případ pojmu relace. 3.1 Uspořádání Definice

Více

Diskrétní matematika. Martin Kovár

Diskrétní matematika. Martin Kovár Diskrétní matematika Martin Kovár Tento text byl vytvořen v rámci realizace projektu CZ.1.07/2.2.00/15.0156, Inovace výuky matematických předmětů v rámci studijních programů FEKT a FIT VUT v Brně, realizované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

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

Předmluva. (ke druhému vydání) Toto skriptum odpovídá současnému obsahu předmětu Teoretická informatika pro obor

Předmluva. (ke druhému vydání) Toto skriptum odpovídá současnému obsahu předmětu Teoretická informatika pro obor 2 Předmluva (ke druhému vydání) Toto skriptum odpovídá současnému obsahu předmětu Teoretická informatika pro obor Výpočetní technika na Elektrotechnické fakultě ČVUT. Jak název napovídá, hlavním cílem

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

J. Zendulka: Databázové systémy 4 Relační model dat 1

J. Zendulka: Databázové systémy 4 Relační model dat 1 4. Relační model dat 4.1. Relační struktura dat... 3 4.2. Integritní pravidla v relačním modelu... 9 4.2.1. Primární klíč... 9 4.2.2. Cizí klíč... 11 4.2.3. Relační schéma databáze... 13 4.3. Relační algebra...

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

Posloupnosti a jejich konvergence POSLOUPNOSTI

Posloupnosti a jejich konvergence POSLOUPNOSTI Posloupnosti a jejich konvergence Pojem konvergence je velmi důležitý pro nediskrétní matematiku. Je nezbytný všude, kde je potřeba aproximovat nějaké hodnoty, řešit rovnice přibližně, používat derivace,

Více

Učební texty k státní bakalářské zkoušce Matematika Algebra. študenti MFF 15. augusta 2008

Učební texty k státní bakalářské zkoušce Matematika Algebra. študenti MFF 15. augusta 2008 Učební texty k státní bakalářské zkoušce Matematika Algebra študenti MFF 15. augusta 2008 1 8 Algebra Požadavky Grupa, okruh, těleso definice a příklady Podgrupa, normální podgrupa, faktorgrupa, ideál

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

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

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

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

Diskrétní matematika Roman Čada Tomáš Kaiser Zdeněk Ryjáček Katedra matematiky FAV Západočeská univerzita v Plzni 2004

Diskrétní matematika Roman Čada Tomáš Kaiser Zdeněk Ryjáček Katedra matematiky FAV Západočeská univerzita v Plzni 2004 Diskrétní matematika Roman Čada Tomáš Kaiser Zdeněk Ryjáček Katedra matematiky FAV Západočeská univerzita v Plzni 2004 ii Úvodem Máte před sebou text k přednášce Diskrétní matematika pro první ročník na

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

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

Funkce, funkční závislosti Lineární funkce

Funkce, funkční závislosti Lineární funkce Funkce, funkční závislosti Lineární funkce Obsah: Definice funkce Grafické znázornění funkce Konstantní funkce Lineární funkce Vlastnosti lineárních funkcí Lineární funkce - příklady Zdroje Z Návrat na

Více

Matematika pro studenty ekonomie. Doc. RNDr. Jiří Moučka, Ph.D. RNDr. Petr Rádl

Matematika pro studenty ekonomie. Doc. RNDr. Jiří Moučka, Ph.D. RNDr. Petr Rádl Doc. RNDr. Jiří Moučka, Ph.D. RNDr. Petr Rádl Matematika pro studenty ekonomie Vydala Grada Publishing, a.s. U Průhonu 22, 70 00 Praha 7 tel.: +420 234 264 40, fax: +420 234 264 400 www.grada.cz jako svou

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

Základní vlastnosti eukleidovského prostoru

Základní vlastnosti eukleidovského prostoru Kapitola 2 Základní vlastnosti eukleidovského prostoru 2.1 Eukleidovský prostor Eukleidovský prostor a jeho podprostory. Metrické vlastnosti, jako např. kolmost, odchylka, vzdálenost, obsah, objem apod.

Více

1. Několik základních pojmů ze středoškolské matematiky. Na začátku si připomeneme následující pojmy:

1. Několik základních pojmů ze středoškolské matematiky. Na začátku si připomeneme následující pojmy: Opakování středoškolské matematiky Slovo úvodem: Tato pomůcka je určena zejména těm studentům presenčního i kombinovaného studia na VŠFS, kteří na středních školách neprošli dostatečnou průpravou z matematiky

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

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

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

Numerace. Numerace je nauka, jejímž cílem je osvojení pojmu přirozené číslo.

Numerace. Numerace je nauka, jejímž cílem je osvojení pojmu přirozené číslo. Numerace Numerace je nauka, jejímž cílem je osvojení pojmu přirozené číslo. Numerace má tyto dílčí úkoly: 1) Naučit žáky číst číslice a správně vyslovovat názvy čísel. 2) Naučit žáky zapisovat čísla v

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

Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA II, letní semestr 2000/2001 Michal Marvan

Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA II, letní semestr 2000/2001 Michal Marvan Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA II, letní semestr 2000/2001 Michal Marvan 11. Lineární zobrazení V celé přednášce pojednáváme o vektorových prostorech nad

Více

Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz. Algebra Struktury s jednou operací

Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz. Algebra Struktury s jednou operací Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Algebra Struktury s jednou operací Teoretická informatika 2 Proč zavádíme algebru hledáme nástroj pro popis objektů reálného světa (zejména

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

19 Hilbertovy prostory

19 Hilbertovy prostory M. Rokyta, MFF UK: Aplikovaná matematika III kap. 19: Hilbertovy prostory 34 19 Hilbertovy prostory 19.1 Úvod, základní pojmy Poznámka (připomenutí). Necht (X,(, )) je vektorový prostor se skalárním součinem

Více

6. Úhel a jeho vlastnosti

6. Úhel a jeho vlastnosti 6. Úhel a jeho vlastnosti 6.1 Úhel, osa úhlu 6.1.1 Úhel Úhel je část roviny ohraničená dvěma polopřímkami se společným počátkem. Polopřímkám říkáme ramena úhlu. Jejich společný počátek nazýváme vrchol

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

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

Matematické základy kryptografických algoritmů Eliška Ochodková

Matematické základy kryptografických algoritmů Eliška Ochodková Matematické základy kryptografických algoritmů Eliška Ochodková Text byl vytvořen v rámci realizace projektu Matematika pro inženýry 21. století (reg. č. CZ.1.07/2.2.00/07.0332), na kterém se společně

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

MATEMATIKA. vyšší úroveň obtížnosti DIDAKTICKÝ TEST MAGVD10C0T01. Testový sešit neotvírejte, počkejte na pokyn!

MATEMATIKA. vyšší úroveň obtížnosti DIDAKTICKÝ TEST MAGVD10C0T01. Testový sešit neotvírejte, počkejte na pokyn! MATEMATIKA vyšší úroveň obtížnosti MAGVD10C0T01 DIDAKTICKÝ TEST Didaktický test obsahuje 21 úloh. Časový limit pro řešení didaktického testu je uveden na záznamovém archu. Povolené pomůcky: psací a rýsovací

Více

5. Formalizace návrhu databáze

5. Formalizace návrhu databáze 5. Formalizace návrhu databáze 5.1. Úvod do teorie závislostí... 2 5.1.1. Funkční závislost... 2 5.1.2. Vícehodnotová závislost (multizávislost)... 7 5.1.3. Závislosti na spojení... 9 5.2. Využití teorie

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

Kapitola 3: Relační model. Základní struktura. Relační schéma. Instance relace

Kapitola 3: Relační model. Základní struktura. Relační schéma. Instance relace - 3.1 - Struktura relačních databází Relační algebra n-ticový relační kalkul Doménový relační kalkul Rozšířené operace relační algebry Modifikace databáze Pohledy Kapitola 3: Relační model Základní struktura

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

[1] Vzhledem ke zvolené bázi určujeme souřadnice vektorů...

[1] Vzhledem ke zvolené bázi určujeme souřadnice vektorů... [1] Báze Každý lineární (pod)prostor má svou bázi Vzhledem ke zvolené bázi určujeme souřadnice vektorů... a) base, 4, b) P. Olšák, FEL ČVUT, c) P. Olšák 2010, d) BI-LIN, e) L, f) 2009/2010, g)l. Viz p.

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

Název: Odraz a lom světla

Název: Odraz a lom světla Název: Odraz a lom světla Autor: Mgr. Petr Majer Název školy: Gymnázium Jana Nerudy, škola hl. města Prahy Předmět (mezipředmětové vztahy) : Fyzika (Matematika, Informatika) Tematický celek: Optika Ročník:

Více

FUNKCE INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ

FUNKCE INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ FUNKCE Gymnázium Jiřího Wolkera v Prostějově Výukové materiály z matematiky pro vyšší gymnázia Autoři projektu Student na prahu. století - využití ICT ve vyučování matematiky na gymnáziu INVESTICE DO ROZVOJE

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

MATEMATIKA 1 pro obory Finance a řízení a Cestovní ruch

MATEMATIKA 1 pro obory Finance a řízení a Cestovní ruch MATEMATIKA 1 pro obory Finance a řízení a Cestovní ruch Marie Hojdarová Jana Krejčová Martina Zámková RNDr. Marie Hojdarová, CSc., RNDr. Jana Krejčová, Ph.D., RNDr. Ing. Martina Zámková, Ph.D. ISBN: 978-80-87035-94-8

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

2.6. Vlastní čísla a vlastní vektory matice

2.6. Vlastní čísla a vlastní vektory matice 26 Cíle V této části se budeme zabývat hledáním čísla λ které je řešením rovnice A x = λ x (1) kde A je matice řádu n Znalost řešení takové rovnice má řadu aplikací nejen v matematice Definice 261 Nechť

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

1. 1 P Ř I R O Z E N Á Č Í S L A

1. 1 P Ř I R O Z E N Á Č Í S L A 1. Č Í S E L N É O B O R Y 1. 1 P Ř I R O Z E N Á Č Í S L A Přirozená čísla (definice, značení, množinový zápis) Číslice (cifry 0 9) Číslo (rozvinutý resp. zkrácený zápis přirozeného čísla v desítkové

Více

Trojúhelník. MATEMATIKA pro 1. ročníky tříletých učebních oborů. Ing. Miroslav Čapek srpen 2011

Trojúhelník. MATEMATIKA pro 1. ročníky tříletých učebních oborů. Ing. Miroslav Čapek srpen 2011 MATEMATIKA pro 1. ročníky tříletých učebních oborů Trojúhelník Ing. Miroslav Čapek srpen 2011 Projekt Využití e-learningu k rozvoji klíčových kompetencí reg. č.: CZ.1.07/1.1.10/03.0021 je spolufinancován

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

III/2 Inovace a zkvalitnění výuky prostřednictvím ICT

III/2 Inovace a zkvalitnění výuky prostřednictvím ICT Název školy Gymnázium, Šternberk, Horní nám. 5 Číslo projektu CZ.1.07/1.5.00/34.0218 Šablona III/2 Inovace a zkvalitnění výuky prostřednictvím ICT Označení materiálu VY_32_INOVACE_Hor002 Vypracoval(a),

Více

7.2.12 Vektorový součin I

7.2.12 Vektorový součin I 7 Vektorový součin I Předpoklad: 708, 7 Při násobení dvou čísel získáváme opět číslo Skalární násobení vektorů je zcela odlišné, protože vnásobením dvou vektorů dostaneme číslo, ted něco jiného Je možné

Více

PRAVDĚPODOBNOST A STATISTIKA aneb Krátký průvodce skripty [1] a [2]

PRAVDĚPODOBNOST A STATISTIKA aneb Krátký průvodce skripty [1] a [2] PRAVDĚPODOBNOST A STATISTIKA aneb Krátký průvodce skripty [1] a [2] Použitá literatura: [1]: J.Reif, Z.Kobeda: Úvod do pravděpodobnosti a spolehlivosti, ZČU Plzeň, 2004 (2. vyd.) [2]: J.Reif: Metody matematické

Více

Matematické struktury

Matematické struktury . Texty k přednášce Matematické struktury Aleš Pultr Katedra aplikované matematiky a ITI, MFF University Karlovy, 2005 . 2 Obsah Místo úvodu Kapitola I : Množiny, relace, zobrazení 1. Množiny : dohoda

Více

TROJÚHELNÍK 180. Definice. C neleží v přímce. Potom trojúhelníkem ABC nazveme průnik polorovin ABC, BCA, Nechť body. Viz příloha: obecny_trojuhelnik

TROJÚHELNÍK 180. Definice. C neleží v přímce. Potom trojúhelníkem ABC nazveme průnik polorovin ABC, BCA, Nechť body. Viz příloha: obecny_trojuhelnik TROJÚHELNÍK Definice Nechť body A, B, C neleží v přímce. Potom trojúhelníkem ABC nazveme průnik polorovin ABC, BCA, CAB. Viz příloha: obecny_trojuhelnik Definice trojúhelníku Uzavřená, jednoduchá (neprotínající

Více

Analýza a modelování dat 3. přednáška. Helena Palovská

Analýza a modelování dat 3. přednáška. Helena Palovská Analýza a modelování dat 3. přednáška Helena Palovská Historie databázových modelů Relační model dat Codd, E.F. (1970). "A Relational Model of Data for Large Shared Data Banks". Communications of the ACM

Více

4. Topologické vlastnosti množiny reálných

4. Topologické vlastnosti množiny reálných Matematická analýza I přednášky M. Málka cvičení A. Hakové a R. Otáhalové Zimní semestr 2004/05 4. Topologické vlastnosti množiny reálných čísel V této kapitole definujeme přirozenou topologii na množině

Více

MATEMATIKA A 3 Metodický list č. 1

MATEMATIKA A 3 Metodický list č. 1 Metodický list č. 1 Název tématického celku: Úvod do problematiky diskrétní matematiky Cíl: Cílem tohoto tématického celku je vymezení oblasti diskrétní matematiky a příprava na další výklad kurzu. Jedná

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

2. spojitost (7. cvičení) 3. sudost/lichost, periodicita (3. cvičení) 4. první derivace, stacionární body, intervaly monotonie (10.

2. spojitost (7. cvičení) 3. sudost/lichost, periodicita (3. cvičení) 4. první derivace, stacionární body, intervaly monotonie (10. MA. cvičení průběh funkce Lukáš Pospíšil,202 Průběh funkce Pod úkolem vyšetřete průběh funkce budeme rozumět nalezení všech kvalitativních vlastností zadané funkce - tedy bude potřeba zjistit o funkci

Více

Základní pojmy a úvod do teorie pravděpodobnosti. Ing. Michael Rost, Ph.D.

Základní pojmy a úvod do teorie pravděpodobnosti. Ing. Michael Rost, Ph.D. Základní pojmy a úvod do teorie pravděpodobnosti Ing. Michael Rost, Ph.D. Co je to Statistika? Statistiku lze definovat jako vědní obor, zabývající se hromadnými jevy a procesy. Statistika zahrnuje jak

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

1 Mnohočleny a algebraické rovnice

1 Mnohočleny a algebraické rovnice 1 Mnohočleny a algebraické rovnice 1.1 Pojem mnohočlenu (polynomu) Připomeňme, že výrazům typu a 2 x 2 + a 1 x + a 0 říkáme kvadratický trojčlen, když a 2 0. Číslům a 0, a 1, a 2 říkáme koeficienty a písmenem

Více

Základní vlastnosti křivek

Základní vlastnosti křivek křivka množina bodů v rovině nebo v prostoru lze chápat jako trajektorii pohybu v rovině či v prostoru nalezneme je také jako množiny bodů na ploše křivky jako řezy plochy rovinou, křivky jako průniky

Více

Ve srovnání s křivkami, kterými jsme se zabývali v Kapitole 5, je plocha matematicky

Ve srovnání s křivkami, kterými jsme se zabývali v Kapitole 5, je plocha matematicky Kapitola 8 Plocha a její obsah 1 efinice plochy Plochu intuitivně chápeme jako útvar v prostoru, který vznikne spojitou deformací části roviny Z geometrického pohledu je plochu možno interpretovat jako

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

(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

Požadavky k opravným zkouškám z matematiky školní rok 2014-2015

Požadavky k opravným zkouškám z matematiky školní rok 2014-2015 Požadavky k opravným zkouškám z matematiky školní rok 2014-2015 1. ročník (první pololetí, druhé pololetí) 1) Množiny. Číselné obory N, Z, Q, I, R. 2) Absolutní hodnota reálného čísla, intervaly. 3) Procenta,

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

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

Diskrétní Matematika (456-533 DIM)

Diskrétní Matematika (456-533 DIM) Diskrétní Matematika (456-5 DIM) Doc. RNDr. Petr Hliněný, Ph.D. petr.hlineny@vsb.cz 7. července 005 Verze.0. Copyright c 004 005 Petr Hliněný. Obsah 0. Předmluva.................................... iv

Více

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

Disjunktivní a konjunktivní lní tvar formule. 2.přednáška Disjunktivní a konjunktivní normáln lní tvar formule 2.přednáška 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

Více

Matematika I, část I Vzájemná poloha lineárních útvarů v E 3

Matematika I, část I Vzájemná poloha lineárních útvarů v E 3 3.6. Vzájemná poloha lineárních útvarů v E 3 Výklad A. Vzájemná poloha dvou přímek Uvažujme v E 3 přímky p, q: p: X = A + ru q: X = B + sv a hledejme jejich společné body, tj. hledejme takové hodnoty parametrů

Více

Základní pojmy teorie grafů [Graph theory]

Základní pojmy teorie grafů [Graph theory] Část I Základní pojmy teorie grafů [Graph theory] V matematice grafem obvykle rozumíme grafické znázornění funkční závislosti. Pro tento předmět je však podstatnější pohled jiný. V teorii grafů rozumíme

Více

MATEMATIKA STUDIJNÍ POŽADAVKY PRO JEDNOTLIVÉ ROČNÍKY STUDIA

MATEMATIKA STUDIJNÍ POŽADAVKY PRO JEDNOTLIVÉ ROČNÍKY STUDIA MATEMATIKA STUDIJNÍ POŽADAVKY PRO JEDNOTLIVÉ ROČNÍKY STUDIA Osmileté studium 1. ročník 1. Opakování a prohloubení učiva 1. 5. ročníku Číslo, číslice, množiny, přirozená čísla, desetinná čísla, číselné

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

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

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

Spolehlivost soustav

Spolehlivost soustav 1 Spolehlivost soustav Spolehlivost soustav 1.1 Koherentní systémy a strukturní funkce Budeme se zabývat modelováním spolehlivosti zřízení s ohledem na spolehlivost jeho komponent. Jedním z hlavních cílů

Více

PŘEDMĚT: MATEMATIKA Školní výstupy Učivo Průřezová témata Poznámky, přesahy

PŘEDMĚT: MATEMATIKA Školní výstupy Učivo Průřezová témata Poznámky, přesahy PŘEDMĚT: MATEMATIKA ROČNÍK: PRVNÍ/KVINTA Školní výstupy Učivo Průřezová témata Poznámky, přesahy Žák určuje číselný obor daného čísla (N, Z, Q, R) a rozlišuje základní vlastnosti číselných oborů pracuje

Více

Název školy. Moravské gymnázium Brno s.r.o. Mgr. Marie Chadimová Mgr. Věra Jeřábková. Autor

Název školy. Moravské gymnázium Brno s.r.o. Mgr. Marie Chadimová Mgr. Věra Jeřábková. Autor Číslo projektu CZ.1.07/1.5.00/34.0743 Název škol Moravské gmnázium Brno s.r.o. Autor Tematická oblast Mgr. Marie Chadimová Mgr. Věra Jeřábková Matematika. Funkce. Definice funkce, graf funkce. Tet a příklad.

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

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

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

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

JEDNODUCHÉ LINEÁRNÍ A KVADRATICKÉ FUNKCE V GEOGEBŘE

JEDNODUCHÉ LINEÁRNÍ A KVADRATICKÉ FUNKCE V GEOGEBŘE Obsah JEDNODUCHÉ LINEÁRNÍ A KVADRATICKÉ FUNKCE V GEOGEBŘE...2 Co je to funkce?...2 Existuje snadnější definice funkce?...2 Dobře, pořád se mi to zdá trochu moc komplikonavané. Můžeme se na základní pojmy

Více