Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:

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

Download "Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:"

Transkript

1 Přednášky: Mgr. Radek Výrut, Matematika I katedra matematiky, UL-605, rvyrut@kma.zcu.cz tel.: Zkouška: Písemná část zkoušky - příklady v rozsahu zápočtových prací Ústní část zkoušky - základní pochopení pojmů Literatura: (i) Karel Rektorys: Přehled užité matematiky (ii) Hans j. Bartsch: Matematické vzorce (iii) Mr. Trial: (iv) Mr. Google: (*) Josef Polák: Přehled středoškolské matematiky

2 Základní matematická terminologie Struktura matematického textu: axióm, definice, věta, lemma, důsledek, }{{} důkaz poznámka, příklad. Výrok V je takový jazykový výraz (sdělení), o němž má po obsahové stránce smysl tvrdit, že je buď pravdivý anebo nepravdivý, přičemž nastává právě jedna z těchto možností. Pravdivostní hodnota výroku V je číslo 0 nebo 1, přičemž: - pravdivostní hodnota 1 (pravda), je-li výrok pravdivý, - pravdivostní hodnota 0 (nepravda), je-li výrok nepravdivý. Logické spojky výroky můžeme negovat nebo spojovat pomocí logických spojek a vytvářet tak složené výroky: Negace: A, A, A negace A Konjunkce: A B A a B, A a současně B Disjunkce: A B A nebo B Implikace: A B z A plyne B, jestliže A, pak B Ekvivalence: A B A je ekvivalentní s B, A právě tehdy když B. A B A A B A B A B A B Výroková forma V (x) je takový jazykový výraz (sdělení) obsahující jednu nebo více proměnných x, který se po dosazení přípustných hodnost proměnných stává výrokem.

3 Základní kvantifikátory: pro každé, pro všechna (z ang. All) existuje (alespoň jedno) (z ang. Exists)! existuje právě jedno Základní kvantifikované výroky: x D : V (x) pro všechna x D platí V (x), x D : V (x) existuje (alespoň jedno) x D takové, že platí V (x),!x D : V (x) existuje právě jedno x D takové, že platí V (x). Množiny Množina M je soubor libovolných navzájem různých objektů m o kterých lze jednoznačně rozhodnout, zda do množiny patří, či nikoli. Každý z objektů m, který patří do množiny M, se nazývá prvek množiny M (píšeme m M). Množinové operace: A B := { x : x A x B, A je podmnožina B } A B := {x; x A x B}, A průnik B A B := {x; x A x B}, A sjednoceno s B A B := {x; x A x B}, A mínus B (popř. A \ B) A = B A B B A, A je rovno B. A B f : A B(f je bijektivní), A je ekvivalentní s B. Mohutnost množiny: A má konečně mnoho (n) prvků: m(a) = n, A má nekonečně mnoho prvků: A má spočetně mnoho prvků: m(a) = m(n) tj. A N, A má nespočetně mnoho prvků: m(a) > m(n) tj. A N. Disjunktní množiny: A B =

4 Číselné množiny reálná čísla R např.: π, 0, 3, 13 25,... racionální čísla Q např.: 0, 1 5, 4,... iracionální čísla R \ Q např.: π, e, 2 celá čísla Z např.: 0, ±1, ±2, ±3,... racionální lomená čísla Q \ Z např.: 1 3, 5 9, 12 13,... přirozená čísla N např.: 1, 2, 3, 4,... N N 0 Z Q R ( N0 = {0} N ) Operace v číselných množinách Vlastnosti operací sčítání a násobení: komutativnost: a + b = b + a, a b = b a, asociativnost: a + (b + c) = (a + b) + c, a (b c) = (a b) c, neutralita: a + 0 = a, a 1 = a, distributivnost: a (b + c) = a b + a c. Uspořádání vždy platí právě jedna z relací: a < b, a = b, a > b a dále pak (i) a < b b < c = a < c (ii) a > 0 b > 0 = a b > 0 (iii) a < b = a + c < b + c

5 Podmnožiny R( R 1 ), R 2, R 3 Intervaly - speciální podmnožiny R a, b := {x R : a x b}, - uzavřený interval, (a, b) := {x R : a < x < b}, - otevřený interval, (a, b := {x R : a < x b}, - polouzavřený interval, a, b) := {x R : a x < b}, - polouzavřený interval, a, + ) := {x R : a x}, (a, + ) := {x R : a < x}, (, b := {x R : x b}, (, b) := {x R : x < b}, Omezené číselné množiny Dále předpokládejme, že A R, B R. Definice (omezené množiny) Když c R, x A : x c, říkáme, že množina A je shora omezená. Když d R, x A : x d, říkáme, že množina A je zdola omezená. Množina A je omezená, je-li omezená zdola i shora. Definice (minimum a maximum množiny) Číslo a A se nazývá minimem množiny A, platí-li a x, x A. Číslo b A se nazývá maximem množiny A, platí-li x b, x A. Značíme a = min A, b = max A. Definice (absolutní hodnota) Absolutní hodnota reálného čísla x R je větší z čísel x a x, tj. Lemma 1. a, b R : a + b a + b, x := max{x, x}. 2. a, b R : a b a b a + b, 3. a R : a 2 = a.

6 Definice (supremum, infimum) Nechť A je neprázdná podmnožina množiny R. a) Supremem množiny A je číslo sup A, které má tyto vlastnosti: 1. x A : x sup A, 2. ε > 0 x A : x > sup A ε. b) Infimem množiny A je číslo inf A, které má tyto vlastnosti: 1. x A : x inf A, 2. ε > 0 x A : x < inf A + ε. Lemma Nechť v množině A R existuje max A (resp. min A). Potom max A = sup A (resp. min A = inf A). Věta (o existenci suprema a infima) a) Každá neprázdná shora omezená podmnožina množiny R má právě jedno supremum. b) Každá neprázdná zdola omezená podmnožina množiny R má právě jedno infimum. Definice inf := +, sup :=. Lemma a) A sup A inf A. b) A B sup A sup B inf A inf B c) Konečná množina má vždy maximum a minimum.

0. ÚVOD - matematické symboly, značení,

0. ÚVOD - matematické symboly, značení, 0. ÚVOD - matematické symboly, značení, číselné množiny Výroky Výrok je každé sdělení, u kterého lze jednoznačně rozhodnout, zda je či není pravdivé. Každému výroku lze proto přiřadit jedinou pravdivostní

Více

Matematická analýza 1

Matematická analýza 1 Matematická analýza 1 ZS 2019-20 Miroslav Zelený 1. Logika, množiny a základní číselné obory 2. Limita posloupnosti 3. Limita a spojitost funkce 4. Elementární funkce 5. Derivace 6. Taylorův polynom Návod

Více

1 Základní pojmy. 1.1 Množiny

1 Základní pojmy. 1.1 Množiny 1 Základní pojmy V této kapitole si stručně připomeneme základní pojmy, bez jejichž znalostí bychom se v dalším studiu neobešli. Nejprve to budou poznatky z logiky a teorie množin. Dále se budeme věnovat

Více

Text může být postupně upravován a doplňován. Datum poslední úpravy najdete u odkazu na stažení souboru. Veronika Sobotíková

Text může být postupně upravován a doplňován. Datum poslední úpravy najdete u odkazu na stažení souboru. Veronika Sobotíková Tento text není samostatným studijním materiálem. Jde jen o prezentaci promítanou na přednáškách, kde k ní přidávám slovní komentář. Některé důležité části látky píšu pouze na tabuli a nejsou zde obsaženy.

Více

Aplikovaná matematika I, NMAF071

Aplikovaná matematika I, NMAF071 M. Rokyta, MFF UK: Aplikovaná matematika I kap. 1: Úvod, čísla, zobrazení, posloupnosti 1 Aplikovaná matematika I, NMAF071 M. Rokyta, KMA MFF UK ZS 2013/14 Sylabus = obsah (plán) přednášky [a orientační

Více

Matematika 1A. PetrSalačaJiříHozman Fakulta přírodovědně-humanitní a pedagogická Technická univerzita v Liberci

Matematika 1A. PetrSalačaJiříHozman Fakulta přírodovědně-humanitní a pedagogická Technická univerzita v Liberci Matematika 1A. PetrSalačaJiříHozman Fakulta přírodovědně-humanitní a pedagogická Technická univerzita v Liberci petr.salac@tul.cz jiri.hozman@tul.cz 26.9.2016 Fakulta přírodovědně-humanitní a pedagogická

Více

Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...

Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R... Kapitola 1 Úvod 1.1 Značení N... přirozená čísla (1, 2, 3,...). Z... celá čísla ( 3, 2, 1, 0, 1, 2,...). Q... racionální čísla ( p, kde p Z a q N) q R... reálná čísla C... komplexní čísla 1.2 Výroky -

Více

p 2 q , tj. 2q 2 = p 2. Tedy p 2 je sudé číslo, což ale znamená, že

p 2 q , tj. 2q 2 = p 2. Tedy p 2 je sudé číslo, což ale znamená, že KAPITOLA 1: Reálná čísla [MA1-18:P1.1] 1.1. Číselné množiny Přirozená čísla... N = {1,, 3,...} nula... 0, N 0 = {0, 1,, 3,...} = N {0} Celá čísla... Z = {0, 1, 1,,, 3,...} Racionální čísla... { p } Q =

Více

Bakalářská matematika I

Bakalářská matematika I do předmětu Mgr. Jaroslav Drobek, Ph. D. Katedra matematiky a deskriptivní geometrie Bakalářská matematika I Podmínky absolvování předmětu Zápočet Zkouška 1 účast na přednáškách alespoň v minimálním rozsahu,

Více

1 Množiny, výroky a číselné obory

1 Množiny, výroky a číselné obory 1 Množiny, výroky a číselné obory 1.1 Množiny a množinové operace Množinou rozumíme každé shrnutí určitých a navzájem různých objektů (které nazýváme prvky) do jediného celku. Definice. Dvě množiny jsou

Více

Matematika B101MA1, B101MA2

Matematika B101MA1, B101MA2 Matematika B101MA1, B101MA2 Zařazení předmětu: povinný předmět 1.ročníku bc studia 2 semestry Rozsah předmětu: prezenční studium 2 + 2 kombinované studium 16 + 0 / semestr Zakončení předmětu: ZS zápočet

Více

Základy matematiky pro FEK

Základy matematiky pro FEK Základy matematiky pro FEK 4. přednáška Blanka Šedivá KMA zimní semestr 2016/2017 Blanka Šedivá (KMA) Základy matematiky pro FEK zimní semestr 2016/2017 1 / 27 Množiny Zavedení pojmu množina je velice

Více

Požadavky k ústní části zkoušky Matematická analýza 1 ZS 2014/15

Požadavky k ústní části zkoušky Matematická analýza 1 ZS 2014/15 Požadavky k ústní části zkoušky Matematická analýza 1 ZS 2014/15 Klíčové pojmy Neznalost některého z klíčových pojmů bude mít za následek ukončení zkoušky se známkou neprospěl(a). supremum infimum limita

Více

Matematika 2 Úvod ZS09. KMA, PřF UP Olomouc. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 1 / 25

Matematika 2 Úvod ZS09. KMA, PřF UP Olomouc. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 1 / 25 Matematika 2 Úvod Jiří Fišer KMA, PřF UP Olomouc ZS09 Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 1 / 25 Studijní materiály web předmětu: aix-slx.upol.cz/ fiser St. Trávníček: Matematická analýza kag.upol.cz/travnicek/1-matan.

Více

IV. Základní pojmy matematické analýzy IV.1. Rozšíření množiny reálných čísel

IV. Základní pojmy matematické analýzy IV.1. Rozšíření množiny reálných čísel Matematická analýza IV. Základní pojmy matematické analýzy IV.1. Rozšíření množiny reálných čísel na množině R je definováno: velikost (absolutní hodnota), uspořádání, aritmetické operace; znázornění:

Více

1.3. Číselné množiny. Cíle. Průvodce studiem. Výklad

1.3. Číselné množiny. Cíle. Průvodce studiem. Výklad 1.3. Cíle Cílem kapitoly je seznámení čtenáře s axiomy číselných oborů a jejich podmnožin (intervalů) a zavedení nových pojmů, které nejsou náplní středoškolských osnov. Průvodce studiem Vývoj matematiky

Více

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α 1. JAZYK ATEATIKY 1.1 nožiny nožina je souhrn objektů určitých vlastností, které chápeme jako celek. ZNAČENÍ. x A x A θ A = { { a, b a A = B A B 0, 1 2 a, a,..., a n x patří do množiny A x nepatří do množiny

Více

goniometrickém tvaru z 1 = z 1 (cosα 1 +isinα 1 ), z 2 = z 2 (cosα 2 +isinα 2 ) Jejich součin = z 1 ( z 2 z 2 Jejich podíl: n-tá mocnina:

goniometrickém tvaru z 1 = z 1 (cosα 1 +isinα 1 ), z 2 = z 2 (cosα 2 +isinα 2 ) Jejich součin = z 1 ( z 2 z 2 Jejich podíl: n-tá mocnina: KMA/MAT1 Matematika 1 Přednáška č. 2 Jiří Fišer 26. září 2016 Jiří Fišer (KMA, PřF UP Olomouc) KMA MAT1 26. září 2016 1 / 24 Součin, podíl a mocniny komplexních čísel v goniometrickém tvaru Dvě nenulová

Více

LOGIKA VÝROKOVÁ LOGIKA

LOGIKA VÝROKOVÁ LOGIKA LOGIKA Popisuje pravidla odvozování jedněch tvrzení z druhých. Je to myšlenková cesta ke správným závěrům. Vznikla jako součást filosofie. Zakladatelem byl Aristoteles. VÝROKOVÁ LOGIKA Obsahuje syntaktická,

Více

Aplikovaná matematika 1 NMAF071, ZS

Aplikovaná matematika 1 NMAF071, ZS Aplikovaná matematika 1 NMAF071, ZS 2012-13 Milan Pokorný MÚ MFF UK Sylabus = obsah (plán) přednášky 1. Úvod: něco málo o logice, teorii množin, číslech a zobrazeních; posloupnosti 2. Funkce jedné reálné

Více

a = a 0.a 1 a 2 a 3...

a = a 0.a 1 a 2 a 3... Reálná čísla Definice 1 Nekonečným desetinným rozvojem čísla a nazýváme výraz a = a 0.a 1 a 2 a 3... kde a 0 je celé číslo a každé a i, i =1, 2,... je jedna z číslic 0,...,9. Pokud existuje m N takové,

Více

Organizace. Zápočet: test týden semestru (pátek) bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část

Organizace. Zápočet: test týden semestru (pátek) bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část Matematika I 1/15 2/15 Organizace Zápočet: test 6. + 11. týden semestru (pátek) 80 bodů 50 79 bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část www.vscht.cz/mat Výuka www.vscht.cz/mat/jana.nemcova

Více

1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU

1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU Obsah 1. Pojmy... 2 1.1. Formule výrokového počtu... 2 1.2. Množina... 3 1.2.1. Operace s množinami... 3 1.2.2. Relace... 3 2. Číselné obory... 5 2.1. Uzavřenost množiny na operaci... 5 2.2. Rozšíření

Více

1. Posloupnosti čísel

1. Posloupnosti čísel 1. Posloupnosti čísel 1.1. Posloupnosti a operace s nimi Definice 1.1 Posloupnost reálných čísel ( = reálná posloupnost ) je zobrazení, jehož definičním oborem je množina N a oborem hodnot je nějaká podmnožina

Více

1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU

1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU Obsah 1. Pojmy... 2 1.1. Formule výrokového počtu... 2 1.2. Množina... 3 1.2.1. Operace s množinami... 3 1.2.2. Relace... 3 2. Číselné obory... 5 2.1. Uzavřenost množiny na operaci... 5 2.2. Rozšíření

Více

Matematika pro informatiky KMA/MATA

Matematika pro informatiky KMA/MATA Matematika pro informatiky KMA/MATA Informace k předmětu Mgr. Přemysl Rosa rosapr00@pf.jcu.cz, J349 Konzultační hodiny v ZS: úterý 10-11, čtvrtek 15-16 nebo individuálně po předchozí domluvě aktivní účast

Více

Příklad 4.1 Zapište pomocí kvantifikátorů definice minima, maxima, infima a suprema podmnožiny R. Čemu se rovná sup a inf? 2n M = 3n + 1 n N.

Příklad 4.1 Zapište pomocí kvantifikátorů definice minima, maxima, infima a suprema podmnožiny R. Čemu se rovná sup a inf? 2n M = 3n + 1 n N. 4 4. týden 4.1 supremum a infimum množiny Příklad 4.1 Zapište pomocí kvantifikátorů definice minima, maxima, infima a suprema podmnožiny R. Čemu se rovná sup a inf? Příklad 4.2 Zkuste uhádnout sup M, inf

Více

I. Úvodní pojmy. Obsah

I. Úvodní pojmy. Obsah I. Úvodní pojmy Obsah 1 Matematická logika 2 1.1 Výrok,logickéoperátory,výrokovéformuleaformy... 2 1.2 Logickávýstavbamatematiky... 3 1.2.1 Základnímetodydůkazůmatematickýchvět..... 3 1.2.2 Negacevýroků.....

Více

I. Úvod. I.1. Množiny. I.2. Výrokový a predikátový počet

I. Úvod. I.1. Množiny. I.2. Výrokový a predikátový počet I. Úvod I.1. Množiny Množinou rozumíme každé shrnutí určitých a navzájem různých objektů (které nazýváme prvky) do jediného celku. Značení. Symbol x A značí, že element x je prvkem množiny A. Značení x

Více

MATEMATICKÁ ANALÝZA 1 - ZIMNÍ SEMESTR PŘEDNÁŠKA

MATEMATICKÁ ANALÝZA 1 - ZIMNÍ SEMESTR PŘEDNÁŠKA MATEMATICKÁ ANALÝZA 1 - ZIMNÍ SEMESTR 2018 2019 PŘEDNÁŠKA LUBOŠ PICK 1. Logika, množiny a základní číselné obory 1.1. Logika. Logika je věda o formální správnosti myšlení. Formálně logická správnost spočívá

Více

Poznámka. Je-li f zobrazení, ve kterém potřebujeme zdůraznit proměnnou, píšeme f(x) (resp. f(y), resp. f(t)) je zobrazení místo f je zobrazení.

Poznámka. Je-li f zobrazení, ve kterém potřebujeme zdůraznit proměnnou, píšeme f(x) (resp. f(y), resp. f(t)) je zobrazení místo f je zobrazení. 2. ZOBRAZENÍ A FUNKCE 2.1 Zobrazení 2. 1. 1 Definice: Nechť A a B jsou množiny. Řekneme že f je zobrazení množiny A do množiny B jestliže (i) f A B (ii) ke každému z množiny A eistuje právě jedno y z množiny

Více

Zavedení a vlastnosti reálných čísel

Zavedení a vlastnosti reálných čísel Zavedení a vlastnosti reálných čísel jsou základním kamenem matematické analýzy. Konstrukce reálných čísel sice není náplní matematické analýzy, ale množina reálných čísel R je pro matematickou analýzu

Více

Doporučené příklady k Teorii množin, LS 2018/2019

Doporučené příklady k Teorii množin, LS 2018/2019 Doporučené příklady k Teorii množin, LS 2018/2019 1. přednáška, 21. 2. 2019 1. Napište množina x je prázdná (přesněji množina x nemá žádné prvky ) formulí základního jazyka teorie množin. 2. Dokažte ((x

Více

Matematická analýza pro informatiky I.

Matematická analýza pro informatiky I. Matematická analýza pro informatiky I. 1. přednáška Jan Tomeček tomecek@inf.upol.cz http://aix-slx.upol.cz/ tomecek/index Univerzita Palackého v Olomouci 14. února 2011 Jan Tomeček, tomecek@inf.upol.cz

Více

MATEMATIKA I. Marcela Rabasová

MATEMATIKA I. Marcela Rabasová MATEMATIKA I Marcela Rabasová Obsah: 1. Úvod 1.1. Osnovy předmětu 1.2. Literatura 1.3. Podmínky absolvování předmětu 1.4. Použité označení a symbolika 2. Funkce jedné reálné proměnné 2.1. Definice 2.2.

Více

Úvod do informatiky. Miroslav Kolařík

Úvod do informatiky. Miroslav Kolařík Úvod do informatiky přednáška sedmá Miroslav Kolařík Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Čísla a číselné obory 2 Princip indukce 3 Vybrané

Více

PŘEDNÁŠKA 2 POSLOUPNOSTI

PŘEDNÁŠKA 2 POSLOUPNOSTI PŘEDNÁŠKA 2 POSLOUPNOSTI 2.1 Zobrazení 2 Definice 1. Uvažujme libovolné neprázdné množiny A, B. Zobrazení množiny A do množiny B je definováno jako množina F uspořádaných dvojic (x, y A B, kde ke každému

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

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

prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. BI-ZMA ZS 2009/2010 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

Více

1. ÚVOD. Arnošt Žídek, Iveta Cholevová. 15. října 2013 FBI VŠB-TUO

1. ÚVOD. Arnošt Žídek, Iveta Cholevová. 15. října 2013 FBI VŠB-TUO FBI VŠB-TUO 15. října 2013 Kontaktní informace Mgr. Iveta Cholevová, Ph. D. iveta.cholevova@vsb.cz A829, 597 324 146 Mgr. Arnošt Žídek, Ph. D. arnost.zidek@vsb.cz A832, 597 324 177 Předpokládané znalosti

Více

1. Matematická logika

1. Matematická logika Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/07.0018 1. Matematická logika Základem každé vědy (tedy i matematiky i fyziky) je soubor jistých znalostí. To, co z těchto izolovaných poznatků

Více

Základy logiky a teorie množin

Základy logiky a teorie množin Pracovní text k přednášce Logika a teorie množin (I/2007) 1 1 Struktura přednášky Matematická logika 2 Výroková logika Základy logiky a teorie množin Petr Pajas pajas@matfyz.cz Predikátová logika 1. řádu

Více

Večerní kurzy matematiky Letní studentská konference Tudy Cesta Nevede

Večerní kurzy matematiky Letní studentská konference Tudy Cesta Nevede Večerní kurzy matematiky Letní studentská konference Tudy Cesta Nevede 1 Výroková logika výroky:a,b pravdivost výroku: 0 nepravda, 1 pravda logické spojky: A negace A A B konjunkce A B disjunkce A B implikace

Více

Matematika I. Katedra matematiky a deskriptivní geometrie mdg.vsb.cz

Matematika I. Katedra matematiky a deskriptivní geometrie mdg.vsb.cz Matematika I Úvod Mgr. Iveta Cholevová, Ph. D iveta.cholevova@vsb.cz A 829, 597 324 146 Mgr. Jaroslav Drobek, Ph. D. jaroslav.drobek@vsb.cz, A 837, 597 324 101 Mgr. Arnošt Žídek arnost.zidek@vsb.cz, A

Více

Svazy. Jan Paseka. Masarykova univerzita Brno. Svazy p.1/37

Svazy. Jan Paseka. Masarykova univerzita Brno. Svazy p.1/37 Svazy Jan Paseka Masarykova univerzita Brno Svazy p.1/37 Abstrakt Zmíníme se krátce o úplných a distributivních svazech, resp. jaké vlastnosti má řetězec reálných čísel. Svazy p.2/37 Abstrakt V této kapitole

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

1. Matematická logika

1. Matematická logika MATEMATICKÝ JAZYK Jazyk slouží člověku k vyjádření soudů a myšlenek. Jeho psaná forma má tvar vět. Každá vědní disciplína si vytváří svůj specifický jazyk v úzké návaznosti na jazyk živý. I matematika

Více

Základy matematiky pro FEK

Základy matematiky pro FEK Základy matematiky pro FEK 1. přednáška 22.9.2016 Blanka Šedivá KMA zimní semestr 2016/2017 Blanka Šedivá (KMA) Základy matematiky pro FEK zimní semestr 2016/2017 1 / 19 Organizační pokyny přednášející:

Více

1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7

1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7 1 Výroková logika 1 Výroková logika 1 2 Predikátová logika 3 3 Důkazy matematických vět 4 4 Doporučená literatura 7 Definice 1.1 Výrokem rozumíme každé sdělení, o kterém má smysl uvažovat, zda je, či není

Více

Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.

Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie. Zpracoval: hypspave@fel.cvut.cz 5. Výroková logika, formule výrokové logiky a jejich pravdivostní ohodnocení, splnitelné formule, tautologie, kontradikce, sémantický důsledek, tautologicky ekvivalentní

Více

Spojování výroků (podmínek) logickými spojkami

Spojování výroků (podmínek) logickými spojkami Spojování výroků (podmínek) logickými spojkami Spojování výroků logickými spojkami a) Konjunkce - spojení A B; Pravdivostní tabulka konjunkce A B A B 0 0 0 0 1 0 1 0 0 1 1 1 AND; A a současně B Konjunkce

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

Teoretická informatika Tomáš Foltýnek Teorie čísel Nekonečno

Teoretická informatika Tomáš Foltýnek Teorie čísel Nekonečno Tomáš Foltýnek foltynek@pef.mendelu.cz Teorie čísel Nekonečno strana 2 Opakování z minulé přednášky Jak je definována podmnožina, průnik, sjednocení, rozdíl? Jak je definována uspořádaná dvojice a kartézský

Více

Limita posloupnosti, limita funkce, spojitost. May 26, 2018

Limita posloupnosti, limita funkce, spojitost. May 26, 2018 Limita posloupnosti, limita funkce, spojitost May 26, 2018 Definice (Okolí bodu) Okolím bodu a R (také ε- okolím) rozumíme množinu U(a, ε) = {x R; x a < ε} = (a ε, a + ε), bod a se nazývá střed okolí a

Více

Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin.

Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin. 1.2. Cíle Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin. Průvodce studiem Množina je jedním ze základních pojmů moderní matematiky. Teorii množin je možno budovat

Více

Matematická indukce, sumy a produkty, matematická logika

Matematická indukce, sumy a produkty, matematická logika Matematická indukce, sumy a produkty, matematická logika 8.9. -.0.009 Matematická indukce Jde o následující vlastnost přirozených čísel: Předpokládejme:. Nějaké tvrzení platí pro.. Platí-li tvrzení pro

Více

1. Základy matematiky

1. Základy matematiky 1. Základy matematiky 1A. Výroková logika 1. Základy matematiky Verze 2. prosince 2017 V této části stručně uvedeme základy matematiky. Matematika se zabývá abstraktními pojmy, které vznikly zobecněním

Více

Doporučená literatura 1. Jako doplněk k přednáškám: V. Hájková, M. Johanis, O. John, O.F.K. Kalenda a M. Zelený: Matematika (kapitoly I IV)

Doporučená literatura 1. Jako doplněk k přednáškám: V. Hájková, M. Johanis, O. John, O.F.K. Kalenda a M. Zelený: Matematika (kapitoly I IV) Přednáška Matematika I v prvním semestru 2013-2014 Spojení na přednášejícího a konzultace Petr Holický, Matematicko fyzikální fakulta Katedra matematické analýzy Sokolovská 83, 2. patro e-mail: holicky@karlin.mff.cuni.cz

Více

Matematika I. (Obor: Informatika a logistika) Technická univerzita v Liberci Pedagogická fakulta Katedra matematiky a didaktiky matematiky

Matematika I. (Obor: Informatika a logistika) Technická univerzita v Liberci Pedagogická fakulta Katedra matematiky a didaktiky matematiky Technická univerzita v Liberci Pedagogická fakulta Katedra matematiky a didaktiky matematiky Matematika I (Obor: Informatika a logistika) Václav Finěk Strana 1 Zpět Vpřed c 008 Vaclav.Finek@tul.cz 0.11.008

Více

Booleovská algebra. Booleovské binární a unární funkce. Základní zákony.

Booleovská algebra. Booleovské binární a unární funkce. Základní zákony. Booleovská algebra. Booleovské binární a unární funkce. Základní zákony. Tomáš Bayer bayertom@natur.cuni.cz Katedra aplikované geoinformatiky a kartografie, Přírodovědecká fakulta UK. Tomáš Bayer bayertom@natur.cuni.cz

Více

Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech

Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech 1. července 2008 1 Funkce v R n Definice 1 Necht n N a D R n. Reálnou funkcí v R n (reálnou funkcí n proměnných) rozumíme zobrazení

Více

Základní pojmy teorie množin Vektorové prostory

Základní pojmy teorie množin Vektorové prostory Základní pojmy teorie množin Přednáška MATEMATIKA č. 1 Katedra ekonometrie FEM UO Brno kancelář 69a, tel. 973 442029 email:jiri.neubauer@unob.cz 7. 10. 2010 Základní pojmy teorie množin Základní pojmy

Více

Posloupnosti a jejich konvergence

Posloupnosti a jejich konvergence 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, integrály.

Více

RELACE, OPERACE. Relace

RELACE, OPERACE. Relace RELACE, OPERACE Relace Užití: 1. K popisu (evidenci) nějaké množiny objektů či jevů, které lze charakterizovat pomocí jejich vlastnostmi. Entita je popsána pomocí atributů. Ty se vybírají z domén. Různé

Více

Výroková a predikátová logika - II

Výroková a predikátová logika - II Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 1 / 17 Předběžnosti Základní pojmy n-ární relace a funkce

Více

1. Základy matematiky

1. Základy matematiky 1. Základy matematiky 1A. Výroková logika 1. Základy matematiky 1A. Výroková logika Logika se v češtině běžně používá ve smyslu myšlenková cesta, která vede k určitým závěrům. Logika patří k základům matematiky.

Více

Kapitola 1: Reálné funkce 1/13

Kapitola 1: Reálné funkce 1/13 Kapitola 1: Reálné funkce 1/13 Číselné množiny 2/13 N = {1, 2, 3, 4,... }... přirozená čísla N 0 = N {0} = {0, 1, 2, 3, 4,... } Z = {..., 2, 1, 0, 1, 2, 3, 4,... }... celá čísla Q = { p q p, q Z}... racionální

Více

VÝROKOVÁ LOGIKA. Výrok srozumitelná oznamovací věta (výraz, sdělení), která může být buď jen pravdivá nebo jen nepravdivá..

VÝROKOVÁ LOGIKA. Výrok srozumitelná oznamovací věta (výraz, sdělení), která může být buď jen pravdivá nebo jen nepravdivá.. VÝROKOVÁ LOGIKA Teorie: Logika je vědní obor zabývající se studiem různých forem vyjadřování a pravidel správného posuzování. (Matematická logika je součástí tohoto vědního oboru a ve velké míře užívá

Více

Úvod do matematiky. Mgr. Radek Horenský, Ph.D. Důkazy

Úvod do matematiky. Mgr. Radek Horenský, Ph.D. Důkazy Úvod do matematiky Mgr. Radek Horenský, Ph.D. Důkazy Matematika a matematické chápání jako takové je založeno na logické výstavbě. Základními stavebními prvky jsou definice, věty a důkazy. Definice zavádějí

Více

Bakalářská matematika I

Bakalářská matematika I 1. Funkce Diferenciální počet Mgr. Jaroslav Drobek, Ph. D. Katedra matematiky a deskriptivní geometrie Bakalářská matematika I Některé užitečné pojmy Kartézský součin podrobnosti Definice 1.1 Nechť A,

Více

Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce

Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce Marie Duží marie.duzi@vsb.cz 1 Úvod do teoretické informatiky (logika) Naivní teorie množin Co je to množina? Množina je soubor prvků

Více

1 Výrok a jeho negace

1 Výrok a jeho negace 1 Výrok a jeho negace Výrokem se rozumí sdělení, u něhož má smysl otázka, zda je, či není pravdivé. Budeme určovat tzv. pravdivostní hodnotu výroku (PH). Příklady výroků: V Úhlopříčky čtverce jsou na sebe

Více

NAIVNÍ TEORIE MNOŽIN, okruh č. 5

NAIVNÍ TEORIE MNOŽIN, okruh č. 5 NAIVNÍ TEORIE MNOŽIN, okruh č. 5 Definování množiny a jejích prvků Množina je souhrn nějakých věcí. Patří-li věc do množiny X, říkáme, že v ní leží, že je jejím prvkem nebo že množina X tuto věc obsahuje.

Více

Logika, výroky, množiny

Logika, výroky, množiny Logika, výroky, množiny Martina Šimůnková 23. srpna 2017 Učební text k předmětu Matematická analýza pro studenty FP TUL Jazyk matematiky Budeme používat dva jazyky: jazyk matematiky a běžně používaný jazyk.

Více

M - Výroková logika VARIACE

M - Výroková logika VARIACE M - Výroková logika Autor: Mgr. Jaromír Juřek Kopírování a další šíření povoleno pouze s uvedením odkazu na www.jarjurek.cz. VARIACE 1 Tento dokument byl kompletně vytvořen, sestaven a vytištěn v programu

Více

RNDr. Blanka Šedivá, PhD. Katedra matematiky FAV Západočeská univerzita v Plzni.

RNDr. Blanka Šedivá, PhD. Katedra matematiky FAV Západočeská univerzita v Plzni. KMA/ZM1 Přednášky RNDr. Blanka Šedivá, PhD. Katedra matematiky FAV Západočeská univerzita v Plzni sediva@kma.zcu.cz Obsah 0.1 Matematické objekty, matematické definice, matematické věty.............. 4

Více

Výroková logika - opakování

Výroková logika - opakování - opakování ormální zavedení Výroková formule: Máme neprázdnou nejvýše spočetnou množinu A výrokových proměnných. 1. Každá proměnná je výroková formule 2. Když α, β jsou formule, potom ( α), (α β), (α

Více

Matematika 1 Jiˇr ı Fiˇser 19. z aˇr ı 2016 Jiˇr ı Fiˇser (KMA, PˇrF UP Olomouc) KMA MAT1 19. z aˇr ı / 19

Matematika 1 Jiˇr ı Fiˇser 19. z aˇr ı 2016 Jiˇr ı Fiˇser (KMA, PˇrF UP Olomouc) KMA MAT1 19. z aˇr ı / 19 Matematika 1 Jiří Fišer 19. září 2016 Jiří Fišer (KMA, PřF UP Olomouc) KMA MAT1 19. září 2016 1 / 19 Zimní semestr KMA MAT1 1 Úprava algebraických výrazů. Číselné obory. 2 Kombinatorika, základy teorie

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

Technická univerzita v Liberci. Pedagogická fakulta. Katedra matematiky a didaktiky matematiky. Matematika I a II. (Obor: Informatika a logistika)

Technická univerzita v Liberci. Pedagogická fakulta. Katedra matematiky a didaktiky matematiky. Matematika I a II. (Obor: Informatika a logistika) Technická univerzita v Liberci Pedagogická fakulta Katedra matematiky a didaktiky matematiky Matematika I a II (Obor: Informatika a logistika) Václav Finěk 1 Obsah 1 Základní pojmy 5 1.1 Množiny a číselné

Více

Matematická logika. Miroslav Kolařík

Matematická logika. Miroslav Kolařík Matematická logika přednáška šestá Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika

Více

Teorie množin. pro fajnšmekry - TeMno. Lenka Macálková BR Solutions Orličky. Lenka (Brkos 2010) TeMno

Teorie množin. pro fajnšmekry - TeMno. Lenka Macálková BR Solutions Orličky. Lenka (Brkos 2010) TeMno Teorie množin pro fajnšmekry - TeMno Lenka Macálková BR Solutions 2010 - Orličky 23.2. 27.2.2010 Lenka (Brkos 2010) TeMno 23.2. 27.2.2010 1 / 42 Bylo nebylo... Starověké Řecko - nekonečnost nepochopená

Více

PŘEDNÁŠKA 5 Konjuktivně disjunktivní termy, konečné distributivní svazy

PŘEDNÁŠKA 5 Konjuktivně disjunktivní termy, konečné distributivní svazy PŘEDNÁŠKA 5 Konjuktivně disjunktivní termy, konečné distributivní svazy PAVEL RŮŽIČKA Abstrakt. Ukážeme, že každý prvek distributivního svazu odpovídá termu v konjuktivně-disjunktivním (resp. disjunktivně-konjunktivním)

Více

Základy teorie množin

Základy teorie množin 1 Základy teorie množin Z minula: 1. Cantorovu větu (x P(x)) 2. základní vlastnosti disjunktního sjednocení, kartézského součinu a množinové mocniny (z hlediska relací, ) 3. vztah P(a) a 2 4. větu (2 a

Více

Matematická logika. Rostislav Horčík. horcik

Matematická logika. Rostislav Horčík.  horcik Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 15 Sémantická věta o dedukci Věta Pro

Více

Jazyk matematiky. 2.1. Matematická logika. 2.2. Množinové operace. 2.3. Zobrazení. 2.4. Rozšířená číslená osa

Jazyk matematiky. 2.1. Matematická logika. 2.2. Množinové operace. 2.3. Zobrazení. 2.4. Rozšířená číslená osa 2. Jazyk matematiky 2.1. Matematická logika 2.2. Množinové operace 2.3. Zobrazení 2.4. Rozšířená číslená osa 1 2.1 Matematická logika 2.1.1 Výrokový počet logická operace zapisujeme čteme česky negace

Více

Požadavky na zápočet a zkoušku

Požadavky na zápočet a zkoušku 1/6 Požadavky na zápočet a zkoušku Zápočet vstupní test aktivní účast na cvičeních dva zápočtové testy Maximální počet bodů, který můžete získat je 200 bodů. 80 bodů zápočet 50-79 bodů souhrnný test (1

Více

Matematika I (KMI/5MAT1)

Matematika I (KMI/5MAT1) Přednáška první aneb Úvod do algebry (opakování ze SŠ a možná i ZŠ) Seznámení s předmětem Osnova přednášky seznámení s předmětem množiny pojem množiny operace s množinami číselné obory intervaly mocniny

Více

1 Báze a dimenze vektorového prostoru 1

1 Báze a dimenze vektorového prostoru 1 1 Báze a dimenze vektorového prostoru 1 Báze a dimenze vektorového prostoru 1 2 Aritmetické vektorové prostory 7 3 Eukleidovské vektorové prostory 9 Levá vnější operace Definice 5.1 Necht A B. Levou vnější

Více

Reálné posloupnosti 1. Reálné posloupnosti

Reálné posloupnosti 1. Reálné posloupnosti Reálné posloupnosti Reálné posloupnosti Intervaly otevřený interval (a, b) = {x R, a < x < b}; polouzavřený interval (a, b = {x R, a < x b}; uzavřený interval a, b = {x R, a x b}; otevřený neomezený interval

Více

MATEMATIKA I. prof. RNDr. Gejza Dohnal, CSc. II. Základy matematické analýzy

MATEMATIKA I. prof. RNDr. Gejza Dohnal, CSc. II. Základy matematické analýzy MATEMATIKA I. prof. RNDr. Gejza Dohnal, CSc. II. Základy matematické analýzy 1 Matematika I. I. Lineární algebra II. Základy matematické analýzy III. Diferenciální počet IV. Integrální počet 2 Matematika

Více

Limita a spojitost funkce a zobrazení jedné reálné proměnné

Limita a spojitost funkce a zobrazení jedné reálné proměnné Přednáška 4 Limita a spojitost funkce a zobrazení jedné reálné proměnné V několika následujících přednáškách budeme studovat zobrazení jedné reálné proměnné f : X Y, kde X R a Y R k. Protože pro každé

Více

Formální systém výrokové logiky

Formální systém výrokové logiky Formální systém výrokové logiky 1.Jazyk výrokové logiky Nechť P = {p,q,r, } je neprázdná množina symbolů, které nazýváme prvotní formule. Symboly jazyka L P výrokové logiky jsou : a) prvky množiny P, b)

Více

Kapitola Základní množinové pojmy Princip rovnosti. Dvě množiny S a T jsou si rovny (píšeme S = T ) prvek T je také prvkem S.

Kapitola Základní množinové pojmy Princip rovnosti. Dvě množiny S a T jsou si rovny (píšeme S = T ) prvek T je také prvkem S. 1 Kapitola 1 Množiny 11 Základní množinové pojmy Pojem množiny nedefinujeme, pouze připomínáme, že množina je souhrn, nebo soubor navzájem rozlišitelných objektů, kterým říkáme prvky 111 Princip rovnosti

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

Petr Hasil. c Petr Hasil (MUNI) Množiny, číselné obory, funkce MA I (M1101) 1 / 125

Petr Hasil. c Petr Hasil (MUNI) Množiny, číselné obory, funkce MA I (M1101) 1 / 125 Množiny, číselné obory, funkce Petr Hasil Přednáška z Matematické analýzy I c Petr Hasil (MUNI) Množiny, číselné obory, funkce MA I (M1101) 1 / 125 Obsah 1 Množiny a číselné obory Množinové operace Reálná

Více

Matematika II. dvouletý volitelný předmět

Matematika II. dvouletý volitelný předmět Název předmětu: Zařazení v učebním plánu: O7A, C3A, S5A, O8A, C4A, S6A dvouletý volitelný předmět Cíle předmětu Tento předmět je koncipován s cílem umožnit studentům dosáhnout lepší výsledky ve společné

Více

Pavel Burda Radim Havelek Radoslava Hradecká Pavel Kreml

Pavel Burda Radim Havelek Radoslava Hradecká Pavel Kreml VYSOKÁ ŠKOLA BÁŇSKÁ TECHNICKÁ UNIVERZITA OSTRAVA MATEMATIKA I Pavel Burda Radim Havelek Radoslava Hradecká Pavel Kreml Vytvořeno v rámci projektu Operačního programu Rozvoje lidských zdrojů CZ4/5/6 Studijní

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