Teorie množin- stručný přehled. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 2
|
|
- Silvie Krausová
- před 5 lety
- Počet zobrazení:
Transkript
1 Teorie množin- stručný přehled doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky FIT České vysoké učení technické v Praze c Josef Kolar, 2011 Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 2 Evropský sociální fond. Praha& EU: Investujeme do vaší budoucnosti doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 1/ 35
2 Cantorovo pojetí Cojetomnožina? Množina(neformálně) je neuspořádaný soubor přesně specifikovaných objektů(prvků množiny). Neformální přístup vede na paradoxy, např.: Russelův:Buď Mmnožinavšechmnožin xtakových,že x / x. Platí M M?Pokud M M,potomzdefinice Mplyne M / M, naopakzm / Mplyne M M. Únik: na začátku předpokládáme nějakou množinu U, s jejímiž prvky a částmi pracujeme. Richardův: Buď n nejmenší přirozené číslo, které nejde definovat méně než třiceti slovy českého jazyka. Problém: věty, které mluví samy o sobě. doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 2/ 35
3 Vyhneme se paradoxům Bez paradoxů- axiomatická teorie množin(např. Zermelova-Fraenkelova), pro nás není teorie množin cílem, ale nástrojem. Příklad zadání množiny: výčet A={1,2,3} vlastnost B= {n;njesudé}??cotamchybí?? Typická universa přirozenáčíslan={0,1,2,3,...},n + = {1,2,3,...} celáčíslaz={0,1, 1,2, 2,3,...} racionálníčíslaq={p/q;p Z q N + } reálná čísla R Modifikátory vymezující podmnožiny universa: Z = {n Z;n <0},Q + = {x Q;x >0},R = {x R;x <0} doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 3/ 35
4 Inkluze a potenční množina Inkluze( býtpodmnožinou ): A B Definice: A B df ( x) x A x B Vlastnosti: A,A A, (A B) (B C) (A C), (A=B) (A B) (B A),... Vlastnípodmnožina-A B (A B) (A B) Potenční množina P(A)- množina všech podmnožin množiny A Příklad: A={1,2,3} P(A)={,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}} Vlastnosti (A B) (P(A) P(B))?proč? doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 4/ 35
5 Operace s množinami Definice 1 doplněkmnožiny A(vuniversu U): A={x U; x / A} průnikmnožin AaB: A B= {x; x A x B} sjednocenímnožin AaB: A B= {x; x A x B} rozdílmnožin AaB: A B= {x; x A x B} kartézskýsoučinmnožin AaB: A B= {(a,b); a A b B} Uspořádanádvojice(a,b)alenenímnožinovýpojem-costím? doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 5/ 35
6 Program pro kartézský součin Postup: prokaždé a Aaprokaždé b Bpřidejdo A Bdvojici(a,b) Program v jazyce systému Mathematica(iterační verze): cartprod[a_, B_]:= Module[ {C}, (* na kumulaci vysledku *) C = {}; (* init prazdnym seznamem *) Do[ Do[ C = Prepend[C, {a, b}], a, A], (* a se bere z A *) b, B]; (* b se bere z B *) C] (* vysledna hodnota *) Nyní ale přepneme na funkcionální programování! doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 6/ 35
7 Kartézský součin funkcionálně Funkcionální verze programu používá následující struktury a standardní fukce: List[a,b,...]={a,b,...} -vytvoříseznamobsahujícíprvky a,b,... F unction[arg, body] - představuje funkci parametru arg s tělem body Map[f,s] -aplikujefunkci fnaprvkyseznamu s Apply[f,args]=f[args] -aplikujefunkci fnaargumenty args Join[a,b,...] -spojíseznamy a,b,... dojednoho cartp[a_, B_]:= Apply[Join, Map[Function[a, Map[Function[b,{a,b}], B]], A]] Otázka: Nebylo by jednodušší udělat Join[Map[Function[a, Map[Function[b, \{a,b\}], B]], A]]?? doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 7/ 35
8 Generujeme potenční množinu Jak získáme potenční množinu konečné množiny A? je-li Aprázdná,pak P(A)={ } je-li Aneprázdná,vezmemelibovolnýprvek a A apotom pro B= A {a}vytvořímepotenčnímnožinu P(B) prokaždé X P(B)(tj. X B)vytvořímepodmnožinu X {a} apřidámekp(b),jinýmislovy P(A) = P(A {a}) {X {a}; X P(A {a})} powerset[{}]:= {{}} (* vysledek pro emptyset *) powerset[x_]:= pshelper[first[x], powerset[rest[x]]] (* pomocná funkce, která provede hlavní operace *) pshelper[a_,p_]:= Union[p, Map[Function[x, Prepend[x,a]], p]] doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 8/ 35
9 Pro hloubavé Úloha Navrhněte vlastní algoritmy pro operace sjednocení, průniku, rozdílu množin. doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 9/ 35
10 Vlastnosti operací Věta2 Zákony komutativnosti A B= B A Zákony asociativnosti A (B C)=(A B) C A (B C)=(A B) C Zákony distributivnosti A (B C)=(A B) (A C) A (B C)=(A B) (A C) Zákony jednotky A = A=A Zákony nuly A U= U A=U A B= B A A U= U A=A A = A= doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 10/ 35
11 Vlastnosti operací Věta3 Zákony doplňku Zákon involuce A A=A A=U A A=A A= (A)=A Zákony idempotence A A=A A A=A Zákony absorpce A (A B)=A A (A B)=A De Morganovy zákony A (B C)=(A B) (A C) A (B C)=(A B) (A C) vtradičnípodobě(pro A=U): B C= B C B C= B C doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 11/ 35
12 Zobecnění operací na více argumentů Definice 4 Nechť A 1,A 2,...,A n jsoumnožinyvestejnémuniversu U. n k=1 A k= {x U; k {1,2,...,n}:x A k } n k=1 A k= {x U; k {1,2,...,n}:x A k } A 1 A 2... A n = = {(a 1,a 2,...,a n ); a 1 A 1 a 2 A 2... a n A n } Pokud A i = Aprovšechna i,pakznačíme A A... A=A n doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 12/ 35
13 Jiná možnost definice zobecnění Definice 5 n k=1 A k je-li n=1,pak n k=1 A k= A 1 je-li n >1,pak n k=1 A k=( n 1 k=1 A k) A n n k=1 A k je-li n=1,pak n k=1 A k= A 1 je-li n >1,pak n k=1 A k=( n 1 k=1 A k) A n A 1 A 2... A n je-li n=2,paksejednáo normální kartézskýsoučin A1 A 2 je-li n >2,pak A1... A n 1 A n =(A 1... A n 1 ) A n Jakou roli hraje v těchto variantách asociativnost definovaných operací? Vlastnosti zobecněných operací? doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 13/ 35
14 Programpro A 1 A n Jakvytvořímekartézskýsoučin A 1 A 2... A n? Použijeme velmi šikovnou funkcionální konstrukci- redukci: Fold[f,a 0,{a 1,a 2,...,a n }]=f(f(...f(f(a 0,a 1 ),a 2 ),...),a n ) např. Fold[f,0,{1, 2, 3}] = f[f[f[0,1],2],3] cartpn[s_]:= Fold[cartP, {{}}, s] cartpn[{{1,2}, {a, b, c}}] Out[]= {{{{}, 1}, a}, {{{}, 1}, b}, {{{}, 1}, c}, {{{}, 2}, a}, {{{}, 2}, b}, {{{}, 2}, c}} Toalenenípřesněto,cochceme... doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 14/ 35
15 Programpro A 1 A n -vylepšení Je zapotřebí provést malé doladění: odstranit vnitřní podseznamy zařídit proměnný počet argumentů funkce cartpn. Funkce Flatten stáhne všechny prvky víceúrovňového seznamu do jediné úrovně. cartpn[s_]:= Map[Flatten, Fold[cartP, {{}}, s]] cartpn[{{1, 2}, {a, b, c}}] Out[]={{1, a}, {1, b}, {1, c}, {2, a}, {2, b}, {2, c}} doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 15/ 35
16 Zobrazení Definice 6 Nechť A,B jsoumnožiny zobrazení f(z)množiny Adomnožiny B (píšeme f: A B): f (A B)taková,že a Aexistujenejvýšejedno b B tak,že (a,b) f(obvyklýzápis f(a)=b). D(f)={a A; (a,b) f} A jedefiničníoborzobrazení f R(f)={b B; (a,b) f} B jeoborhodnotzobrazení f zobrazení f: A Bjesurjektivní(na): R(f)=B zobrazení f: A Bjeinjektivní(prosté): ( x,y A)(x y f(x) f(y)) zobrazení f: A Bjebijektivní(vzájemnějednoznačné): fje injektivní a na doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 16/ 35
17 Zobrazení Definice 7 proparciálnízobrazení f: A Bplatí D(f) A prototálnízobrazení f: A Bplatí D(f)=A(předpokládáme) restrikce(zúžení)zobrazení f: A Bnamnožinu M Aje f M : M Btakové,že f M (a)=f(a)prokaždé a M obrazmnožiny M Avzobrazení f: A Bje f[m]={f(a); a M} vzormnožiny N Bvzobrazení f: A Bje f 1 [N]={a A; f(a) N} Otázka: Jaké budou počty různých typů zobrazení na konečných množinách? doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 17/ 35
18 Jak programujeme zobrazení Jak můžeme v našem funkcionálním prostředí reprezentovat zobrazení? Intenzionálně- pomocí definice funkce Extenzionálně- jako množinu uspořádaných dvojic, tedy jako seznam dvouprvkových seznamů Předpokládáme extenzionální reprezentaci zobrazení na konečných množinách a sestavíme několik jednoduchých algoritmů. doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 18/ 35
19 Test a hodnota zobrazení FunkceisMapzjistí,zdaprokaždé a D(f)existujenejvýšejedna dvojice(a,b) f,avkladnémpřípaděvrátíjakovýsledekdefiniční obor D(f)zobrazení f.vopačnémpřípaděvracíprázdnýseznam. Funkce funval vrací hodnotu zobrazení f pro argument a. ismap[f_] := ismaptest[f /. {a_, _} -> a]; (* prvni slozky *) ismaptest[l_] := If[Length[DeleteDuplicates[L]] == Length[L], L, {}] funval[{}, a_] := {}; funval[f_, a_] := If[ f[[1,1]] == a, f[[1,2]], funval[rest[f], a] ] doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 19/ 35
20 Pro hloubavé Úloha Vytvořte funkce isinjective[f] testující injektivnost zobrazení f, která v kladném případěvracíoborhodnot R(f)zobrazení f,jinaknil. mapset[f,m], která vytvoří obraz množiny M v zobrazení f invmapset[f,n], která vytvoří vzor množiny N v zobrazení f doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 20/ 35
21 Složení zobrazení Definice 8 Zobrazení f: A B a g: C D jsoushodná,právěkdyž (A=C) (B= D) ( a A)f(a)=g(a) Složení(f g) zobrazení f: A B a g: B C: (f g)(a)=g(f(a)) pro a A Poznámka:Obrácenákonvenceprosložení f a g je g f.vlastnosti složení zobrazení: (f g) h=f (g h) (f id B )=f, id A f= f OBRAZEK doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 21/ 35
22 Mocnina zobrazení Definice 9 Prozobrazení f: A A a n N sedefinuje n-támocninazobrazení f takto: f 0 = id A -identickézobrazení(identita)na A f 1 = f(zbytečnýpřípad) f n+1 = f n fpro n 1(resp. n 0) doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 22/ 35
23 Inverzní zobrazení Definice 10 Pro f: A Bnazvemezobrazení g: B Ainverznímkzobrazení f, jestliže f g= id A a g f= id B. Pokud takové zobrazení g existuje, tak řekneme, že f je invertibilní a jeho inverznízobrazeníznačíme f 1. Vlastnosti: je-li f: A Binvertibilní,pak f 1 (b)=a f(a)=b f 1 jetakéinvertibilníaplatí(f 1 ) 1 = f jsou-li f: A Ba g: B Cinvertibilní,paki(f g)jeinvertibilní aplatí (f g) 1 = g 1 f 1 f: A B jeinvertibilní,právěkdyž f jebijekce doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 23/ 35
24 Algoritmus složení zobrazení Vytvoříme několik funkcí realizujících operace se zobrazeními. Funkce compmap[f,g] realizuje složením zobrazení g a f. Funkce isrev[f] testuje reverzibilitu zobrazení a v kladném případě vrátíoborhodnot R(f). FunkceinvMap[f]vracíinverznízobrazení f 1 kzobrazení f. compmap[f_, g_] := Map[Function[x, {x, mapval[g, mapval[f, x]]}], ismap[f]] isrev[f_] := isrevtest[f /. {_, b_} -> b]; (* substituce *) isrevtest[l_] := If[Length[DeleteDuplicates[L]] == Length[L], L, {}] invmap[f_] := Map[Reverse,f] doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 24/ 35
25 Vlastnosti zobrazení Věta 11 Nechť f: A B a g: B C jsouzobrazení.potom jsou-li fa gprostázobrazení,takje f gprosté jsou-li fa gzobrazenína,takje f gna jsou-li fa gbijekce,takje f gbijekce. Věta 12 Nechť f: A BjezobrazeníaA,Bmajíkonečněmnohoprvků.Potom má-li Bvíceprvkůnež A,pak fnemůžebýtna má-li Avíceprvkůnež B,pak fnemůžebýtprosté pokud AaBnemajístejněprvků,pak fnemůžebýtbijekce je-li fbijekce,takmají AaBstejnýpočetprvků mají-li AaBstejnýpočetprvků,pakje fprostépravětehdy,kdyžje fna. doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 25/ 35
26 Mohutnost množin Jak srovnávat množiny podle velikosti? Definice 13 Říkáme, že množiny A, B mají stejnou mohutnost(značeno A = B ),právěkdyžexistujebijekce Ana B. Mohutnost množiny A je menší nebo rovna mohutnosti množiny B, značeno A B, jestliže existuje prosté zobrazení A do B. Mohutnost A je striktně(ostře) menší než mohutnost B, značeno A < B,jestliže A B,aleneplatí A = B. značení A B vyjadřujepřípad,kdyneplatí A = B. doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 26/ 35
27 Srovnávání mohutností Věta 14 Platí A = A a A A, jestliže B A,pak B A, jestliže A B a B C,pak A C, jestliže A B a B = C,pak A C, podobnějestliže A = B a B C,pak A C, jestliže A = B a B = C,pak A = C, (Cantor-Bernstein-Schroeder) jestliže A B a B A, pak A = B. doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 27/ 35
28 Konečné a nekonečné množiny Definice 15 Množina A se nazývá konečná, jestliže A= (pakpíšeme A =0), neboexistujetakové m N,že A = {1,2,...,m} (pakpíšeme A =m). Jinak se množina nazývá nekonečná. Množina A se nazývá spočetná, jestliže má stejnou mohutnost jako množina N. Množina A se nazývá nespočetná, jestliže je nekonečná, ale není spočetná. Věta 16 N je nejmenší nekonečná množina, přesně N A pro každou nekonečnou množinu A. doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 28/ 35
29 Vlastnosti konečných množin Věta 17 Je-li Akonečná,pakjeikaždájejípodmnožina Bkonečnáaplatí B A. Je-linavíc Bpodmnožinavlastní,pak B < A. Jsou-li A,Bkonečnémnožiny,pakjeiA Bkonečnáaplatí A B A + B. Jsou-linavíc A,Bdisjunktní,pak A B = A + B. Jsou-li A,Bkonečnémnožiny,pakje A Bkonečnáaplatí A B = A B. doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 29/ 35
30 Počítání s konečnými mohutnosti Věta 18 Nechťjsoumnožiny A i pro i=1,2,...,n konečné.potomplatí: n i=1 A ijekonečnámnožinaa n A i i=1 n A i. i=1 Jsou-linavíc A i navzájemdisjunktní,takje n A i = i=1 n A i. i=1 A 1 A n jekonečnámnožinaa A 1 A n = A 1 A n. doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 30/ 35
31 Princip inkluse a exkluse Princip inkluse a exkluse Věta 19 Jsou-li A, B konečné množiny, pak A B = A + B A B Jsou-li A,B,Ckonečnémnožiny,pak A B C = A + B + C A B A C B C + A B C obecnéznění... doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 31/ 35
32 Mohutnost nekonečných množin Velikost nekonečných množin má(také) jiné vlastnosti než známe z množin konečných. Věta 20 Je-li A nekonečná množina, tak má vlastní podmnožinu se stejnou mohutností. Nechť A,Bjsoumnožiny, Bjenekonečnáa A B.Pak A B = B. Nechť A i pro i=1,...,mnebo i Njsoumnožiny,kde A 1 je nekonečná,anechť A i A 1 provšechna i,pak n i=1 A i = A 1. Nechť A,Bjsoumnožiny, Bjenekonečnáa A B,pak A B = B. Nechť A i pro i=1,...,mnebo i Njsoumnožiny,kde A 1 je nekonečná,anechť A i A 1 provšechna i.potomje A 1 A 2 = A 1. doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 32/ 35
33 Spočetné a nespočetné množiny Některé základní spočetné množiny Věta 21 množina Z je spočetná množinan Njespočetná množinaz Zjespočetná Důkaz: f(n)=2npro n 0af(n)= 2n 1jebijekceZnaN další dva případy přes diagonální procházení kvadrantu Jak je to s dalšími číselnými množinami? množina racionálních čísel Q je spočetná množina reálných čísel z intervalu(0, 1) je nespočetná množina reálných čísel R je nespočetná doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 33/ 35
34 Spočetné a nespočetné množiny Věta 22 Jestližeje Akonečnámnožina,pak P(A) =2 A. (Cantor)Prokaždoumnožinu Aplatí A < P(A). Notace 23 Nechť A,Bjsoumnožiny.Symbolem B A značímemnožinuvšech zobrazenízado B. Věta 24 Nechť A,Bjsoukonečnémnožiny.Pak B A = B A. Nechť Ajemnožina.Pak P(A) = {0,1} A. doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 34/ 35
35 Pro hloubavé Úlohy Předpokládáme, že množiny A a B jsou konečné: Je-li A B, jak budemem generovat všechna prostá zobrazení f: A Bakolikjichje? Je-li A B, jak budeme generovat všechna surjektivní zobrazení f: A Bakolikjichje? doc. Josef Kolář (FIT ČVUT) Teorie množin- stručný přehled ZDM, ZS 2011/12, Lekce 2 35/ 35
Ekvivalence. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 5
doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky FIT České vysoké učení technické v Praze c Josef Kolar, 2011 Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 5 Evropský sociální fond.
VíceTeorie množin. Čekají nás základní množinové operace kartézské součiny, relace zobrazení, operace. Teoretické základy informatiky.
Teorie množin V matematice je všechno množina I čísla jsou definována pomocí množin Informatika stojí na matematice Znalosti Teorie množin využijeme v databázových systémech v informačních systémech při
VíceMarie Duží
Marie Duží marie.duzi@vsb.cz Co je to množina? Množina je soubor prvků a je svými prvky plně určena; množinu s prvky a, b, c značíme: {a, b, c}. Prvkem množiny může být opět množina, množina nemusí mít
VíceMatematická 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íceNAIVNÍ 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íceTeoretická 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íceKapitola 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Ú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íceprof. 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íceNaivní teorie množin. Naivní pojem množiny Funkce jako nálepkovací schéma Konečnost, nekonečnost Spočetnost, nespočetnost
Naivní teorie množin Jiří Velebil: YD01MLO 27. února 2008: Naivní teorie množin 1/16 Definice Množinou A rozumíme souhrn určitých a rozlišitelných objektů x existujících v naší mysli. Těmto objektům říkáme
Více3 Množiny, Relace a Funkce
3 Množiny, Relace a Funkce V přehledu matematických formalismů informatiky se v této lekci zaměříme na základní datové typy matematiky, tj. na množiny, relace a funkce. O množinách jste sice zajisté slyšeli
VíceZáklady teorie množin
Základy teorie množin Teorie Výběr základních pojmů: Množina Podmnožina Prázdná množina Označení běžně používaných množin Množinová algebra (sjednocení, průnik, rozdíl) Doplněk množiny Potenční množina
VíceÚ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íceZobrazení. prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. Katedra matematiky BI-ZMA ZS 2009/2010
Zobrazení 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 2.
Více1. 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íceMnožiny, relace, zobrazení
Množiny, relace, zobrazení Množiny Množinou rozumíme každý soubor určitých objektů shrnutých v jeden celek. Zmíněné objekty pak nazýváme prvky dané množiny. Pojem množina je tedy synonymem pojmů typu soubor,
VíceDoporuč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íce1. 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íceAplikovaná 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íceMatematika I. Přednášky: Mgr. Radek Výrut, Zkouška:
Přednášky: Mgr. Radek Výrut, Matematika I katedra matematiky, UL-605, rvyrut@kma.zcu.cz tel.: 377 63 2658 Zkouška: Písemná část zkoušky - příklady v rozsahu zápočtových prací Ústní část zkoušky - základní
VíceÚvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška pátá Miroslav Kolařík Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008 a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní
VíceTeorie 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íceBakalář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íceProjekty - Úvod do funkcionální analýzy
Projekty - Úvod do funkcionální analýzy Projekt č. 1. Nechť a, b R, a < b. Dokažte, že prostor C( a, b ) = f : R R: f je spojitá na D(f) = a, b s metrikou je úplný. ρ(f, g) = max f(x) g(x) x a,b Projekt
VíceTURINGOVY STROJE. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze
TURINGOVY STROJE Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze BI-GRA, LS 2010/2011, Lekce 12 Evropský sociální fond Praha & EU: Investujeme do vaší
VíceZá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íceTeorie množin Pavel Podbrdský
Teorie množin Pavel Podbrdský V matematice se s pojmem množina setkáváte na každém kroku. Jistě jste obeznámenispojmemmnožinyvšechpřirozenýchčísel,množinyvšechbodůvrovině,... Cílem této přednášky bude
VíceVysoké učení technické v Brně Fakulta informačních technologií. Regulární pologrupy. Semestrální práce do předmětu Algebra, Kombinatorika, Grafy
Vysoké učení technické v Brně Fakulta informačních technologií Regulární pologrupy Semestrální práce do předmětu Algebra, Kombinatorika, Grafy Tomáš Masopust Brno, 2006 Obsah Úvod 1 1 Základní definice
VíceKategorie. Od množin ke kategorii. Pepa Svoboda
Kategorie Pepa Svoboda Abstrakt. Přednáška je úvodem do teorie kategorií abstraktní matematické teorie, která hraje klíčovou roli v moderní matematice. Od množin ke kategorii Základními matematickými objekty
VíceLineární algebra Kapitola 1 - Základní matematické pojmy
Lineární algebra Kapitola 1 - Základní matematické pojmy 1.1 Relace a funkce V celém textu budeme používat následující označení pro číselné množiny: N množina všech přirozených čísel bez nuly, N={1, 2,
VíceKapitola 1: Reálné funkce 1/13
Kapitola 1: Reálné funkce 1/13 Číselné množiny N, N 0, Z, Q, I, R, C Definice: Kartézský součin M N množin M a N je množina všech uspořádaných dvojic, ve kterých je první složka prvkem množiny M a druhá
VíceKapitola 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íceAplikovaná numerická matematika
Aplikovaná numerická matematika 6. Metoda nejmenších čtverců doc. Ing. Róbert Lórencz, CSc. České vysoké učení technické v Praze Fakulta informačních technologií Katedra počítačových systémů Příprava studijních
Více1 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Úvod do informatiky. Miroslav Kolařík. Zpracováno dle učebního textu prof. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008.
Úvod do informatiky přednáška třetí Miroslav Kolařík Zpracováno dle učebního textu prof. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Množiny, relace a funkce úvod Množiny, relace a funkce
VícePROHLEDÁVÁNÍ GRAFŮ. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze
PROHLEDÁVÁNÍ GRAFŮ Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze BI-GRA, LS 2010/2011, Lekce 4 Evropský sociální fond Praha & EU: Investujeme do
VíceDiskrétní matematika. DiM /01, zimní semestr 2017/2018
Diskrétní matematika Petr Kovář petr.kovar@vsb.cz Vysoká škola báňská Technická univerzita Ostrava DiM 470-2301/01, zimní semestr 2017/2018 O tomto souboru Tento soubor je zamýšlen především jako pomůcka
VíceMnožiny, základní číselné množiny, množinové operace
2 Množiny, základní číselné množiny, množinové operace Pokud kliknete na některý odkaz uvnitř textu kromě prezentace, zobrazí se odpovídající příklad nebo tabulka. Levý Alt+šipka doleva nebo ikona Vás
VíceALGEBRA. Téma 4: Grupy, okruhy a pole
SLEZSKÁ UNIVERZITA V OPAVĚ Matematický ústav v Opavě Na Rybníčku 1, 746 01 Opava, tel. (553) 684 611 DENNÍ STUDIUM Téma 4: Grupy, okruhy a pole Základní pojmy unární operace, binární operace, asociativita,
VíceZáklady teorie množin
1 Základy teorie množin Z minula: 1. zavedení pojmů relace, zobrazení (funkce); prostá zobrazení, zobrazení na, bijekce 2. rozklady, relace ekvivalence, kongruence, faktorizace 3. uspořádání a některé
VícePozná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íceKapitola 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ícePojem 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Řešení rekurentních rovnic 2. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 11
Řešení rekurentních rovnic 2 doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky FIT České vysoké učení technické v Praze c Josef Kolar, 2011 Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce
VíceJazyk 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Řešení rekurentních rovnic 3. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 12
Řešení rekurentních rovnic 3 doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky FIT České vysoké učení technické v Praze c Josef Kolar, 2011 Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce
VíceÚvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška šestá Miroslav Kolařík Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008 a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní
VíceÚvod do lineární algebry
Úvod do lineární algebry 1 Aritmetické vektory Definice 11 Mějme n N a utvořme kartézský součin R n R R R Každou uspořádanou n tici x 1 x 2 x, x n budeme nazývat n rozměrným aritmetickým vektorem Prvky
Více1 Kardinální čísla. množin. Tvrzení: Necht X Cn. Pak: 1. X Cn a je to nejmenší prvek třídy X v uspořádání (Cn, ),
Pracovní text k přednášce Logika a teorie množin 4.1.2007 1 1 Kardinální čísla 2 Ukázali jsme, že ordinální čísla reprezentují typy dobrých uspořádání Základy teorie množin Z minula: 1. Věta o ordinálních
Více(,b)={x IR;x < b} (otevřenýinterval) a,b ={x IR;a x b} (uzavřenýinterval)
A definice a tvrzení 1 c phabala 2010 Definice a tvrzení Reálná osa Značení(populární číselné množiny. IN přirozenáčísla1,2,3,4,... IN 0 = IN {0}={0,1,2,3,4,...} Z celáčísla0,1,-1,2,-2,3,-3,... IQ racionální
VíceHistorie 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íceAplikovaná numerická matematika - ANM
Aplikovaná numerická matematika - ANM 3 Řešení soustav lineárních rovnic iterační metody doc Ing Róbert Lórencz, CSc České vysoké učení technické v Praze Fakulta informačních technologií Katedra počítačových
Více1. Matematická analýza definice (MP leden 2010)
1. Matematická analýza definice (MP leden 2010) Základní pojmy a definice 1. Definujte metrický prostor, otevřené a uzavřené množiny, hraniční bod množiny. Metrickýprostor jedvojice(m, d),kde M jemnožinabodů
VíceTOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 4. PREDNÁŠKA - SOUČIN PROSTORŮ A TICHONOVOVA VĚTA.
TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 4. PREDNÁŠKA - SOUČIN PROSTORŮ A TICHONOVOVA VĚTA. PAVEL RŮŽIČKA 4.1. (Kvazi)kompaktnost a sub-báze. Buď (Q, ) uspořádaná množina. Řetězcem v Q budeme rozumět lineárně
VíceMatematická analýza ve Vesmíru. Jiří Bouchala
Matematická analýza ve Vesmíru Jiří Bouchala Katedra aplikované matematiky jiri.bouchala@vsb.cz www.am.vsb.cz/bouchala - p. 1/21 Matematická analýza ve Vesmíru. proměnné - p. 2/21 Definice. Funkcí (přesněji:
VíceOkruhy, podokruhy, obor integrity, těleso, homomorfismus. 1. Rozhodněte, zda daná množina M je podokruhem okruhu (C, +, ): f) M = { a
Sbírka příkladů z okruhů a polynomů Algebra I Okruhy, podokruhy, obor integrity, těleso, homomorfismus 1. Rozhodněte, zda daná množina M je podokruhem okruhu (C, +, ): a) M = {a + i a R}, b) M = {a + i
Víceanalytické 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íceAutomaty a gramatiky(bi-aag) Motivace. 1. Základní pojmy. 2 domácí úkoly po 6 bodech 3 testy za bodů celkem 40 bodů
BI-AAG (2011/2012) J. Holub: 1. Základní pojmy p. 2/29 Hodnocení předmětu BI-AAG (2011/2012) J. Holub: 1. Základní pojmy p. 4/29 Automaty a gramatiky(bi-aag) 1. Základní pojmy Jan Holub Katedra teoretické
VíceOmezenost funkce. Definice. (shora, zdola) omezená na množině M D(f ) tuto vlastnost. nazývá se (shora, zdola) omezená tuto vlastnost má množina
Přednáška č. 5 Vlastnosti funkcí Jiří Fišer 22. října 2007 Jiří Fišer (KMA, PřF UP Olomouc) KMA MMAN1 Přednáška č. 4 22. října 2007 1 / 1 Omezenost funkce Definice Funkce f se nazývá (shora, zdola) omezená
VíceCvičení 5. Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc.
5 Přednášející: Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. Katedra počítačových systémů Katedra teoretické informatiky Fakulta informačních technologií České vysoké učení technické v
VíceIV. 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íceTeoretická 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íceCí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íceVLASTNOSTI GRAFŮ. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze. BI-GRA, LS 2010/2011, Lekce 5
VLASTNOSTI GRAFŮ Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze BI-GRA, LS 2010/2011, Lekce 5 Evropský sociální fond Praha & EU: Investujeme do vaší
VíceLogika, 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íceLineární algebra : Lineární prostor
Lineární algebra : Lineární prostor (3. přednáška) František Štampach, Karel Klouda LS 2013/2014 vytvořeno: 17. dubna 2014, 14:43 1 2 3.1 Aximotické zavedení lineárního prostoru Číselné těleso Celou lineární
VíceZá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íceMatematická indukce a správnost programů. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 13
Matematická indukce a správnost programů doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky FIT České vysoké učení technické v Praze c Josef Kolar, 2011 Základy diskrétní matematiky, BI-ZDM ZS
VíceFuzzy množiny, Fuzzy inference system. Libor Žák
Fuzzy množiny, Fuzzy inference system Proč právě fuzzy množiny V řadě případů jsou parametry, které vstupují a ovlivňují vlastnosti procesu, popsané pomocí přibližných nebo zjednodušených pojmů. Tedy
VíceDnešní látka Variačně formulované okrajové úlohy zúplnění prostoru funkcí. Lineární zobrazení.
Předmět: MA4 Dnešní látka Variačně formulované okrajové úlohy zúplnění prostoru funkcí. Lineární zobrazení. Literatura: Kapitola 2 a)-c) a kapitola 4 a)-c) ze skript Karel Rektorys: Matematika 43, ČVUT,
VíceMatematická analýza III.
1. - limita, spojitost Miroslav Hušek, Lucie Loukotová UJEP 2010 Úvod Co bychom měli znát limity posloupností v R základní vlastnosti funkcí jedné proměnné (definiční obor, monotónnost, omezenost,... )
Více3. přednáška 15. října 2007
3. přednáška 15. října 2007 Kompaktnost a uzavřené a omezené množiny. Kompaktní množiny jsou vždy uzavřené a omezené, a v euklidovských prostorech to platí i naopak. Obecně to ale naopak neplatí. Tvrzení
Více2. přednáška 8. října 2007
2. přednáška 8. října 2007 Konvergence v metrických prostorech. Posloupnost bodů (a n ) M v metrickém prostoru (M, d) konverguje (je konvergentní), když v M existuje takový bod a, že lim n d(a n, a) =
VíceJednoznačné a nejednoznačné gramatiky
BI-AAG (2011/2012) J. Holub: 11. Bezkontextové gramatiky p. 2/36 Jednoznačné a nejednoznačné gramatiky BI-AAG (2011/2012) J. Holub: 11. Bezkontextové gramatiky p. 4/36 Automaty a gramatiky(bi-aag) 11.
VíceZáklady teorie pravděpodobnosti
Základy teorie pravděpodobnosti Náhodná veličina Roman Biskup (zapálený) statistik ve výslužbě, aktuálně analytik v praxi ;-) roman.biskup(at)email.cz 12. února 2012 Statistika by Birom Základy teorie
VíceAplikovaná 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íceOrganizace. 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íceInovace a zkvalitnění výuky prostřednictvím ICT
Střední průmyslová škola a Vyšší odborná škola technická Brno, Sokolská 1 Šablona: Téma: Název: Autor: Inovace a zkvalitnění výuky prostřednictvím ICT Funkce Funkce a její vlastnosti Ing. Vacková Věra
VíceUspořádání. Základy diskrétní matematiky, BI-ZDM ZS 2014/15, Lekce 4 https://edux.fit.cvut.cz/courses/bi-zdm/
Uspořádání doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky FIT České vysoké učení technické v Praze c Josef Kolar, 2014 Základy diskrétní matematiky, BI-ZDM ZS 2014/15, Lekce 4 https://edux.fit.cvut.cz/courses/bi-zdm/
VíceNP-ÚPLNÉ PROBLÉMY. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze
NP-ÚPLNÉ PROBLÉMY Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze BI-GRA, LS 2010/2011, Lekce 13 Evropský sociální fond Praha & EU: Investujeme do
Více0. Ú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íceKATEDRA INFORMATIKY UNIVERZITA PALACKÉHO ALGEBRA DAGMAR SKALSKÁ VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN
KATEDRA INFORMATIKY PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITA PALACKÉHO ALGEBRA DAGMAR SKALSKÁ VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN EVROPSKÝM SOCIÁLNÍM FONDEM A STÁTNÍM ROZPOČTEM ČESKÉ REPUBLIKY Olomouc
VícePož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ícePřijímací zkouška - matematika
Přijímací zkouška - matematika Jméno a příjmení pište do okénka Číslo přihlášky Číslo zadání 1 Grafy 1 Pro který z následujících problémů není znám žádný algoritmus s polynomiální časovou složitostí? Problém,
Vícetransformace je posunutí plus lineární transformace má svou matici vzhledem k homogenním souřadnicím [1]
[1] Afinní transformace je posunutí plus lineární transformace má svou matici vzhledem k homogenním souřadnicím využití například v počítačové grafice Evropský sociální fond Praha & EU. Investujeme do
VíceZÁKLADY ARITMETIKY A ALGEBRY I
1 ZÁKLADY ARITMETIKY A ALGEBRY I (Cvičení) 1. Úvod, jazyk matematiky V učebnici Lineární algebra pročítejte definice a věty, uvědomujte si jejich strukturu, i když prozatím neznáte a nechápete (aaniprozatímchápatnemůžete)jejichmatematický
VícePolynomy nad Z p Konstrukce faktorových okruhů modulo polynom. Alena Gollová, TIK Počítání modulo polynom 1/30
Počítání modulo polynom 3. přednáška z algebraického kódování Alena Gollová, TIK Počítání modulo polynom 1/30 Obsah 1 Polynomy nad Zp Okruh Zp[x] a věta o dělení se zbytkem 2 Kongruence modulo polynom,
Více1 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íceBáze a dimense. Odpřednesenou látku naleznete v kapitolách a 3.6 skript Abstraktní a konkrétní lineární algebra.
Báze a dimense Odpřednesenou látku naleznete v kapitolách 3.1 3.3 a 3.6 skript Abstraktní a konkrétní lineární algebra. Jiří Velebil: A7B01LAG 15.10.2015: Báze a dimense 1/19 Minulé přednášky 1 Lineární
VíceRELACE, 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íceMatematická indukce. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 3
doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky FIT České vysoké učení technické v Praze c Josef Kolar, 2011 Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 3 Evropský sociální fond.
VíceINVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.
INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 Relace, zobrazení, algebraické struktury Michal Botur Přednáška
Více6. Základy výpočetní geometrie
6. Základy výpočetní geometrie BI-EP1 Efektivní programování 1 ZS 2011/2012 Ing. Martin Kačer, Ph.D. 2010-11 Martin Kačer Katedra teoretické informatiky Fakulta informačních technologií České vysoké učení
VíceLineární algebra : Skalární součin a ortogonalita
Lineární algebra : Skalární součin a ortogonalita (15. přednáška) František Štampach, Karel Klouda frantisek.stampach@fit.cvut.cz, karel.klouda@fit.cvut.cz Katedra aplikované matematiky Fakulta informačních
Více15. 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íceBooleovy algebry. Irina Perfilieva. logo
Booleovy algebry Irina Perfilieva Irina.Perfilieva@osu.cz 25. března 2010 Outline 1 Komplementární svazy 2 Booleovy algebry 3 Věty o Booleových algebrách Outline 1 Komplementární svazy 2 Booleovy algebry
VíceLineární algebra : Polynomy
Lineární algebra : Polynomy (2. přednáška) František Štampach, Karel Klouda frantisek.stampach@fit.cvut.cz, karel.klouda@fit.cvut.cz Katedra aplikované matematiky Fakulta informačních technologií České
Více3. Algebraické systémy
Markl: 3.1. Morfismy a kongruence /ras31.doc/ Strana 1 3. Algebraické systémy Na rozdíl od klasické algebry, jejíž ústředním tématem jsou rovnice a potřebný aparát pro jejich řešení /matice, polynomy,.../,
VíceUčební texty k státní bakalářské zkoušce Matematika Skalární součin. študenti MFF 15. augusta 2008
Učební texty k státní bakalářské zkoušce Matematika Skalární součin študenti MFF 15. augusta 2008 1 10 Skalární součin Požadavky Vlastnosti v reálném i komplexním případě Norma Cauchy-Schwarzova nerovnost
VíceLogika 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