Diskrétní matematika. DiM /01, zimní semestr 2017/2018
|
|
- Pavlína Vaňková
- před 6 lety
- Počet zobrazení:
Transkript
1 Diskrétní matematika Petr Kovář Vysoká škola báňská Technická univerzita Ostrava DiM /01, zimní semestr 2017/2018
2 O tomto souboru Tento soubor je zamýšlen především jako pomůcka pro přednášejícího. Řadu důležitých informací v souboru nenajdete, protože přednášející je říká, ukazuje, případně maluje na tabuli. Přednášky jsou na webu k dispozici, aby studenti mohli snadno dohledat probíraná témata z přednášek, které zameškali. Pro samostatné studium doporučuji skripta: M. Kubesa: Základy diskrétní matematiky, výukový text P. Kovář: Úvod do teorie grafů, výukový text Pro přípravu ke zkoušce a písemkám doporučuji cvičebnici: P. Kovář: Cvičení z diskrétní matematiky, sbírka příkladů Vše na dm.php
3 Přehled přednášky Kapitola 4. Důkazy v diskrétní matematice základní logické symboly pojem matematického důkazu princip matematické indukce důkazy vztahů pro kombinatorické výběry binomická věta několik důkazů počítáním
4 Opakování Diskrétní pravděpodobnost jev, nezávislé a disjunktní jevy konečný pravděpodobnostní prostor pravděpodobnost, uniformní pravděpodobnostní prostor náhodná proměnná střední hodnota Zavedli jsme pojmy a symboly permutace P(n) kombinace (bez opakování) C(n, k) variace (bez opakování) V (n, k) Zavedli jsme symboly pro součet/součin členů konečné posloupnosti Odvodili jsme vztahy pro počet všech výběrů zvoleného typu.
5 Důkazy v diskrétní matematice Matematika se jako vědní discipĺına vyznačuje svou exaktností. Rozumíme tím schopnost dokázat tvrzení nade vší pochybnost. Pojem matematického důkazu se vyvíjel několik století. K nejznámějším historicky doloženým důkazům patří: grafické důkazy Pythagorovy věty (tvrzení: Babylonská tabulka cca př.n.l., Rhindův Papyrus z Egypta př.n.l., důkaz: Pythagorejská škola cca př.n.l., v Číně cca před n.l.) Euklidovy Základy cca. 300 př.n.l. V moderní matematice: pojem matematického důkazu je posloupnost elementárních ověřitelných kroků vedoucích od známých/předpokládaných faktů k novému/požadovanému tvrzení. V diskrétní matematice jsou základní předpoklady tvořeny axiomy tzv. Peanovy aritmetiky (tj. dobře známá fakta o přirozených číslech společně s principem matematické indukce).
6 Základní logické symboly Známé pojmy: Tvrzení je výrok, o kterém má smysl rozhodnout, zda je pravdivé či nepravdivé Logické hodnoty: 1/0, True/False, Pravda/Nepravda Logické spojky: NOT X, AND X Y, OR X Y Implikace: jestliže (je pravda) X, pak (musí být) Y X Y Ekvivalence: X (je pravda), právě když Y (je pravda) X Y Negace je unární operátor,,,, jsou binární operátory. Další operátory jsou kombinací: A XOR B je totéž jako (A B). Otázky Kolik existuje logických binárních operátorů? Je? : plnohodnotný ternární operátor?
7 Kvantifikátory všeobecný Pro každé x M platí tvrzení P(x) píšeme: x M : P(x) existenční Existuje x M, pro které platí tvrzení P(x) píšeme: x M : P(x) Množinu M můžeme vynechat, pokud je zřejmé o jakou M se jedná. Jak vypadá negace obecného výroku s kvantifikátorem? Příklad Vyslovte negaci výroku x M : P(x)? x M : P(x) Příklad Vyslovte negaci výroku x M : P(x)? x M : P(x) Obecné schéma pro konkrétní příklady...
8 Různá odvětví matematiky vychází z různých axiomů. Zatímco diskrétní matematika vychází z Peanových axiomů, například geometrie (nejstarší exaktně budovaná matematická discipĺına) vychází z pěti Euklidových axiomů. Pojem matematického důkazu Struktura věty (tvrzení) v matematice: P D Přesně formulované předpoklady P, za kterých platí tvrzení věty D. Podrobný postup, jak z předpokladů odvodit tvrzení věty nazýváme důkaz. Matematický důkaz nějakého tvrzení D je konečná posloupnost kroků/výroků, kde každý krok je: axiom obecně platný či předpokládaný fakt (volba axiomů závisí na matematické teorii ), předpoklad P je podmínka, na kterou se omezíme, výrok odvozený z předchozích kroků užitém některého z platných odvozovacích pravidel (závisí na použité logice). Poslední krok obsahuje jako výrok tvrzení D.
9 K čemu to budu jako absolvent potřebovat? K čemu je novorozeně? správné pochopení omezení použitých metod argumentace pro a proti navrženému řešení srovnání kvality různých řešení 100% korektnost metody/algoritmu je někdy vyžadována (autopilot, jednotka intenzivní péče)
10 Příklad O inverzním prvku Dokážeme, že v libovolné (i nekomutativní!) algebraické grupě platí komutativita operace vzhledem k násobení inverzním prvkem. Tj. jestliže A B = E, potom také B A = E. Vzpomeňte na násobení regulárních matic: jednotková matice má smysl pouze pro regulární matice, nebot existuje inverzní matice. Grupa (G, ) je množina prvků s jednou operací, pro kterou platí nějaké vlastnosti, tzv. axiomy grupy. Nás zajímají tři 1 operace je asociativní 2 v grupě existuje jednička 3 ke každému prvku existuje prvek inverzní Poznámka Při psaní důkazů můžeme některé elementární kroky vynechat, případně zkrátit. Nesmí však být porušena korektnost tvrzení (vynechat některý předpoklad). Míra zkratky závisí i na očekávaném průměrném čtenáři.
11 Grupa (G, ) je množina prvků s jednou operací, pro kterou platí tzv. axiomy grupy. Využijeme následující tři axiomy 1 operace je asociativní: A, B, C G : (A B) C = A (B C) 2 v grupě existuje jednička : E G : E A = A E = A pro A G 3 ke každému prvku existuje prvek inverzní: A G A 1 : A A 1 = E A 1 A = E. Důkaz tvrzení: A B = E předpoklad A 1 (A B) = A 1 E z axiomu 3. existuje A 1 (A 1 A) B = A 1 z axiomu 1. a axiomu 2. E B = A 1 z axiomu 3. B = A 1 z axiomu 2. B A = A 1 A B A = E z axiomu 3.
12 Základní důkazové techniky přímý důkaz: A B nepřímý důkaz: B A důkaz sporem: A B spor (spor je současná platnost T a T ) důkaz matematickou indukcí (slabá a silná) Příklad Každé liché číslo je možno napsat jako rozdíl dvou čtverců. Ukážeme přímo. Mějme liché číslo 2k + 1, kde k Z, potom 2k + 1 = k 2 + 2k + 1 k 2 = (k + 1) 2 k 2. Příklad Prvočísel je nekonečně mnoho. Víme, že každé kladné přirozené číslo je možno napsat jako součin prvočísel. Sporem: Předpokládáme, že prvočísel je konečně mnoho, označíme je p 1, p 2,..., p n (jsou všechna). Ale číslo x = p 1 p 2 p n + 1 není dělitelné ani jedním z prvočísel! Máme spor (= má současně platit nějaké tvrzení i jeho negace), proto předpoklad nepravdivý, tj. prvočísel je nekonečně mnoho.
13 Princip matematické indukce Princip matematické indukce je jedna z nejčastěji používaných důkazových technik pro tvrzení (výrokové formy) závislé na přirozeném parametru n (označujeme P(n)). Matematická indukce Mějme tvrzení P(n) s celočíselným parametrem n. Necht platí: Základ indukce: Tvrzení P(n 0 ) je pravdivé, kde n 0 = 0 nebo 1, nebo obecné celé n 0. Indukční krok: Vyslovíme indukční předpoklad: Pro nějaké n tvrzení P(n) platí. Ukážeme, že pro každé n > n 0 z platnosti P(n) plyne platnost P(n + 1). Pak P(n) platí pro všechna přirozená n n 0. Matematickou indukci lze úspěšně využívat při dokazování správnosti algoritmů. Ukážeme několik příkladů...
14 Počkat! Ale... ukážeme základ indukce, ukážeme platnost indukčního kroku (s využitím indukčního předpokladu),... nicméně tvrzení má platit pro nekonečně mnoho hodnot!?! Příklad Jak vysoko lze vystoupat na žebřík? Předpokládejme, že umíme vstoupit na první příčku, z každé příčky n vystoupit na příčku n tak umíme vystoupat libovolně vysoko!
15 Věta Součet prvních n sudých čísel je n(n + 1) = 12 = = 110 = Důkaz matematickou indukcí vzhledem k n: Dokazujeme, že n N platí n i=1 2i = n(n + 1). Základ indukce: Pro n = 1 tvrzení P(1) zní 2 = 1 2. Indukční krok: Plyne z platnosti P(n) platnost P(n + 1)? Tj. pokud n i=1 2i = n(n + 1), tak n+1 i=1 2i = (n + 1)(n + 2)? Vyslovíme indukční předpoklad P(n): Předpokládejme, že n N : n i=1 2i = n(n + 1). Nyní n+1 i=1 2i = n i=1 2i + 2(n + 1) = IP n(n + 1) + 2(n + 1) = (n + 1)(n + 2). Ukázali jsme že s využitím znalosti vztahu pro součet prvních n sudých čísel lze obdržet odpovídající vztah pro součet prvních n + 1 sudých čísel. Podle principu matematické indukce tvrzení platí n N.
16 Struktura důkazu matematickou indukcí Lze postupovat podle následujícího schématu: 1 Rozpoznáme, že se jedná o tvrzení dokazovatelné matematickou indukcí: n N, n n 0 platí P(n). 2 Ukážeme Základ indukce: Dokážeme platnost P(n 0 ). 3 Zformulujeme indukční předpoklad: n N, n n 0 aby platilo P(n). 4 Ukážeme Indukční krok: S využitím indukčního předpokladu odvodíme platnost P(n+1). (Víme, jak má tvrzení nebo vztah P(n+1) vypadat!) 5 Shrneme, že platnost tvrzení P(n) pro všechna n n 0 plyne z principu matematické indukce.
17 Další vzorový důkaz (dělitelnost čísel): Věta Pro každé přirozené číslo n je výraz n 3 + 2n dělitelný 3. Řekneme, že číslo a děĺı číslo b, jestliže k Z : b = ka. Píšeme a b. Důkaz matematickou indukcí vzhledem k n: Dokazujeme, že n N platí, že 3 děĺı n 3 + 2n. Základ indukce: Pro n = 1 tvrzení P(1) zní 3 děĺı Indukční krok: Plyne z platnosti P(n) platnost P(n + 1)? Tj. pokud 3 děĺı n 3 + 2n, tak 3 děĺı (n + 1) 3 + 2(n + 1). Vyslovíme indukční předpoklad P(n): Předpokládejme, že n N : 3 n 3 + 2n, tj. k Z : n 3 + 2n = 3k. Nyní (n + 1) 3 + 2(n + 1) = (n 3 + 3n 2 + 3n + 1) + (2n + 2) = (n 3 + 2n) + (3n 2 + 3n + 3) IP = 3k + 3(n 3 + n + 1). Evidentně 3 děĺı výsledný výraz, proto 3 děĺı (n + 1) 3 + 2(n + 1). Podle principu matematické indukce tvrzení platí n N.
18 Další vzorový důkaz (nerovnost): Věta Pro každé přirozené číslo n 4 platí n! > 2 n. Velikost faktoriálu n! roste (super)exponenciálně vzhledem k n. Důkaz matematickou indukcí vzhledem k n: Dokazujeme, že n N, n 4 platí n! > 2 n. Základ indukce: Pro n = 4 tvrzení P(4) zní 4! > 2 4, tj. 24 > 16. Indukční krok: Plyne z platnosti P(n) platnost P(n + 1)? Tj. ukážeme, že pokud n! > 2 n, tak také (n + 1)! > 2 n+1. Vyslovíme indukční předpoklad P(n): Předpokládejme, že n N, n 4, pro které platí n! > 2 n. Nyní (n + 1)! = (n + 1) n! IP > (n + 1)2 n > 2 2 n = 2 n+1. Ukázali jsme s využitím indukčního předpokladu, že (n + 1)! > 2 n+1. Podle principu matematické indukce tvrzení platí n N, n 4.
19 Další příklady: Věta Všech zobrazení libovolné b-prvkové množiny do a-prvkové množiny je a b. Důkaz matematickou indukcí podle b N 0 : Základ indukce: Pro b = 0 máme jedinou možnost (jak nic nepřiřadit: a b = a 0 = 1). Pro b = 1 máme a možných obrazů pro jediný prvek (a b = a 1 = a). Indukční krok: IP: pro nějaké b je počet různých zobrazení B A roven a b. Mějme libovolnou množinu B o b + 1 > 0 prvcích. Zvolme nějaký prvek x B a označme B = B \ {x}, B = b. Všech zobrazení z B do A je podle indukčního předpokladu a b. Pro prvek x máme navíc nezávislý výběr z a možných obrazů. Celkem je dle principu nezávislých výběrů a a b = a b+1 různých zobrazení z B do A. Podle principu matematické indukce je počet různých zobrazení z B do A roven a b pro všechna b N 0.
20 Silná matematická indukce (ve srovnání s matematickou indukcí) Matematická indukce Mějme tvrzení P(n) s celočíselným parametrem n. Necht platí: Základ indukce: Tvrzení P(n 0 ) je pravdivé, kde n 0 = 0 nebo 1, nebo obecné celé n 0. Indukční krok: Vyslovíme indukční předpoklad: Pro nějaké n tvrzení P(n) platí. Ukážeme, že pro každé n > n 0 z platnosti P(n) plyne platnost P(n + 1). Pak P(n) platí pro všechna přirozená n n 0. Silná matematická indukce Základ indukce: Tvrzení P(n 0 ) je pravdivé. Indukční krok: Indukční předpoklad: Tvrzení P(k) platí pro všechna n 0 k < n. Ukážeme, že pak platí také P(n). Pak P(n) platí pro všechna přirozená n n 0.
21 Příklad Pro nalámání čokolády rozměru p r dílků je vždy potřeba pr 1 zlomů. Důkaz silnou matematickou indukcí podle n = pr: Základ indukce: Pro n 0 = 1 máme jeden dílek a je třeba pr 1 = 0 zlomů. Indukční krok: Necht nyní tvrzení platí pro všechny čokolády o méně než n dílcích. Mějme libovolnou tabulku o n dílcích. Tabulku rozlomíme a dostaneme dvě menší tabulky o s, t dílcích, kde 1 s, t < n a s + t = n. Každou z nich umíme podle předpokladu nalámat pomocí s 1 resp. t 1 zlomů. Celkem je třeba (s 1) + (t 1) + 1 = s + t 1 = n 1 zlomů. Podle principu silné matematické indukce tvrzení platí p, r N.
22 Příklad Máme sloupeček n krabic. Budeme hrát následující hru (pro jednoho/libovolný počet hráčů): Z jednom kroku vždy rozděĺıme nějaký sloupec z krabic (z 2) na dva menší sloupce s x a y krabicemi. Za tento krok získáme počet bodů, který je dán součinem x y. Hra končí, jakmile máme n sloupců každý s jedinou krabicí. Začínáme s nulovým počtem bodů a chtěli bychom dosáhnout co největšího počtu bodů. Hráč s největším počtem bodů vyhrál. Jakou strategii zvolit, abychom získali co největší skóre? Dokažte, že žádná jiná strategie nevede k vyššímu skóre.
23 Důkazy vztahů pro kombinatorické výběry Při důkazech využijeme matematickou indukci a metodu dvojího počítání. Věta Počet všech permutací n-prvkové množiny je n!, pro každé n 0. Indukcí podle n: Základ indukce: Tvrzení platí pro n = 0, protože žádné prvky lze uspořádat jen jedním způsobem. (Stejně jednoprvkové množiny.) Indukční krok: Mějme nyní n 0 a množinu P o n + 1 prvcích, předpokládejme pro jednoduchost P = {1, 2,..., n + 1}. Zvolme první prvek p P permutace z n + 1 možností. Nezávisle na volbě prvního prvku pak sestavujeme permutace množiny P \ {p}. (Jedná se sice o permutaci jiné množiny, ale vždy můžeme prvky P \ {p} oindexovat/ přečíslovat na {1, 2,..., n}, což neovlivní počet možností.) Potom n-prvková množina {1, 2,..., n} má podle indukčního předpokladu n! permutací, proto P má celkem (n + 1) n! = (n + 1)! permutací. Podle principu matematické indukce plyne tvrzení n N 0.
24 Věta Počet všech k-prvkových variací z n-prvkové množiny je pro každé n k 0. n! (n k)!, Metodou dvojího počítání: Dvěma způsoby spočítáme počet permutací n-prvkové množiny: Už víme, že tyto permutace lze vybrat n! různými způsoby. Současně lze vzít některou k-prvkovou variaci, její prvky zapsat na začátek permutace (dodržíme pořadí) a zbývajících n k prvků seřadíme za nimi jedním z (n k)! různých způsobů. Z různých variací tímto postupem získáme různé permutace, a přitom každou permutaci lze získat z variace vybírající jejích prvních k prvků. Označíme x neznámý počet všech k-prvkových variací z n-prvkové množiny. Výše popsaným postupem vytvořit právě x (n k)! všech různých permutací n-prvkové množiny. Proto platí x (n k)! = n! x = n! (n k)!.
25 Věta Počet všech k-prvkových kombinací z n-prvkové množiny je každé n k 0. ( ) n, pro k Metodou dvojího počítání: Nyní budeme dvojím způsobem počítat všechny k-prvkové variace z n-prvkové množiny: n! Na jednu stranu už víme, že jich je (n k)!, na druhou stranu můžeme z jedné k-prvkové kombinace získat celkem k! různých variací uspořádáním prvků této kombinace. Označíme x neznámý počet všech k-prvkových kombinací z n-prvkové množiny a dostaneme, obdobně jako v předchozím důkazu, n! x k! = (n k)! n! x = k! (n k)! ( ) n x =. k
26 Důkazy vztahů s kombinačními čísly Pro kombinační čísla můžeme dokázat celou řadu zajímavých vztahů. Zabývá se jimi dokonce celá samostatná část diskrétní matematiky. Fakt (na první pohled zřejmé tvrzení) Pro všechna n 0 platí Lemma (pomocné tvrzení) Pro všechna n k 0 platí ( ) n = 0 ( ) n = 1. n ( ) ( ) n n =. k n k Tvrzení, jejichž důkaz spočívá v dosazení do definice (jedna/dvě jednoduché úpravy) považujeme za zřejmá tvrzení a důkaz se neuvádí. Pokud ale důkaz vyžaduje nějaký trik, nebo neobvyklé úpravy (byt jen jednu jedinou úpravu), je zvykem stručně vysvětlit.
27 Lemma Pro všechna n k 0 platí ( ) n + k ( ) n = k + 1 ( ) n + 1. k + 1 Přímý (dosazením a úpravou) ( ) ( ) n n n! + = k k + 1 k! (n k)! + n! (k + 1)! (n k 1)! = = n! (k + 1) + n! (n k) (k + 1)! (n k)! = (n + 1)! (k + 1)! ((n + 1) (k + 1))! = n! (n + 1) = (k + 1)! (n k)! = ( ) n + 1. k + 1 Vztahy mohou sloužit jako alternativní definice kombinačních čísel. ( ) ( ) ( ) ( ) ( ) ( ) ( ) n n n n n n n + 1 = = 1 = + =. 0 n k n k k k + 1 k + 1
28 Pascalův trojúhelník ( ) 0 = 1 0 ( ) 1 = 1 0 ( ) 2 = 1 0 ( ) 2 = 2 1 ( ) 1 = 1 1 ( ) 2 = 1 2 ( ) ( ) ( ) ( ) = 1 = 3 = 3 = ( ) ( ) ( ) ( ) ( ) = 1 = 4 = 6 = 4 = ( ) ( ) ( ) ( ) ( ) ( ) = 1 = 5 = 10 = 10 = 5 = Krajní členy mají hodnoty 1, každý vnitřní člen je součtem dvou členů bezprostředně nad ním.
29 Binomická věta Pro všechna n > 0 platí ( ) ( ) n n (1 + x) n = x + ( ) ( ) n n x x n n 1 ( ) n x n. n Důkaz Tvrzení je možno dokázat indukcí (skripta). Avšak možný je i důkaz jednoduchou úvahou (s využitím lemmatu): Algebraickém rozvoji součinu používáme pravidlo vynásobit každý člen s každým. Proto se v rozvoji vztahu (1 + x)(1 + x)... (1 + x) člen x k }{{} objeví tolikrát, kolik je možností (neuspořádaně) vybrat k z n činitelů závorek. To je právě ( n k) krát = počet k prvkových podmnožin z n prvků. Z binomické věty ihned plyne (pro přirozená n 0 a druhé pro n > 0) ( ) ( ) ( ) n n n ( ) ( ) ( ) n n n ( ) n 0 ( n 3 ) + + n ( n n ( 1) n ( n n 1 ) + ( n n ) = 2 n, ) ( ) n + ( 1) n = 0. n
30 Důkazy metodou počítání možností Někdy máme ukázat existenci nějakého objektu nebo vlastnosti, aniž jsme schopni objekt zkonstruovat nebo jinak specifikovat. Takovým důkazům říkáme nekonstruktivní, někdy také existenční. Místo abychom řešení zkonstruovali, tak se nám podaří spočítat, že řešení musí existovat. Dirichletův princip (the pigeon-hole principle) Rozmístíme-li l + 1 (nebo více) objektů do l přihrádek, v některé přihrádce musí být alespoň dva objekty.
31 Důkazy počítáním možností Existenci konkrétní možnosti (ze známé množiny) ukážeme, pokud počet možností, které nemohou nastat je menší než celkový počet možností. Příklad Vidíme, jak do tunelu vjedou tři auta a jen dvě vidíme vyjet ven. To znamená, že jedno auto v tunelu zůstalo (přestože ho nyní nevidíme). Příklad 8 kamarádů jelo na 9 dní dovolené. Každý den některá (jedna) trojice z nich šla na výlet. Dokažte, že někteří dva z nich ani jednou nebyli spolu na výletě. Důkaz rozebírání možností by asi k ničemu nevedlo... Důkaz počítáním je však snadný: Jedna trojice má celkem 3 dvojice, proto po 9 dnech se mohlo vystřídat nejvýše různých 9 3 dvojic, ale 9 3 = 27 < ( 8 2) = 28, jedna dvojice nám zde schází. Otázka Žijí na Zemi dva lidé, kteří mají stejný počet vlasů?
32 Příklad V šupĺıku je (poházeno) 30 párů černých ponožek, 10 párů hnědých ponožek a 3 páry bílých ponožek. Kolik musíme potmě vytáhnout ponožek, abychom měli jistotu, že máme alespoň jeden pár stejné barvy? Přihrádky Dirichletova principu budou odpovídat třem různým barvám. Vytáhneme-li čtyři ponožky (nerozlišujeme pravou a levou ponožku), musí být alespoň dvě ponožky stejné barvy. Otázka Máme 4 přirozená čísla. Ukažte, že mezi nimi vždy najdete dvě čísla tak, aby jejich rozdíl dělitelný číslem 3. Otázka Máme 3 přirozená čísla. Ukažte, že mezi nimi vždy najdete dvě čísla tak, aby jejich součet byl dělitelný nějakým prvočíslem.
33 Handshaking problem V místnosti je n lidí, někteří si podali ruce. Ukažte, že alespoň dva lidé podali ruku stejnému počtu lidí. Příklad Máme 5 přirozených čísel. Ukažte, že mezi nimi vždy najdeme dvě čísla tak, že jejich součet je dělitelný 9. Důkaz (chybný!) Celkem máme 9 různých zbytkových tříd po dělení číslem 9. Z pěti čísel můžeme získat 10 různých součtů. Jistě bude v každé zbytkové třídě alespoň jeden součet, v některé budou dokonce dva součty. Proto dvojice čísel, jejichž součet odpovídá zbytkové třídě 0, má součet čísel dělitelný devíti. Otázka Co je špatně v uvedeném důkazu předchozího tvrzení? Nápověda: zkuste úlohu rozebrat pro množinu pěti čísel {0, 2, 4, 6, 8}.
34 Příště Kapitola 5. Relace motivace pojem relace uspořádání a ekvivalence funkce a zobrazení skládání zobrazení princip inkluze a exkluze
Diskrétní matematika. DiM /01, zimní semestr 2016/2017
Diskrétní matematika Petr Kovář petr.kovar@vsb.cz Vysoká škola báňská Technická univerzita Ostrava DiM 470-2301/01, zimní semestr 2016/2017 O tomto souboru Tento soubor je zamýšlen především jako pomůcka
Diskrétní matematika. DiM /01, zimní semestr 2018/2019
Diskrétní matematika Petr Kovář petr.kovar@vsb.cz Vysoká škola báňská Technická univerzita Ostrava DiM 470-2301/01, zimní semestr 2018/2019 O tomto souboru Tento soubor je zamýšlen především jako pomůcka
Diskré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
Diskrétní matematika. DiM /01, zimní semestr 2016/2017
Diskrétní matematika Petr Kovář petr.kovar@vsb.cz Vysoká škola báňská Technická univerzita Ostrava DiM 470-2301/01, zimní semestr 2016/2017 O tomto souboru Tento soubor je zamýšlen především jako pomůcka
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
Matematické důkazy Struktura matematiky a typy důkazů
Matematické důkazy Struktura matematiky a typy důkazů Petr Liška Masarykova univerzita 18.9.2014 Motto: Matematika je tvořena z 50 procent formulemi, z 50 procent důkazy a z 50 procent představivostí.
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í
Maturitní témata profilová část
Seznam témat Výroková logika, úsudky a operace s množinami Základní pojmy výrokové logiky, logické spojky a kvantifikátory, složené výroky (konjunkce, disjunkce, implikace, ekvivalence), pravdivostní tabulky,
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
Ú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í
5 Pravděpodobnost. Sestavíme pravděpodobnostní prostor, který modeluje vytažení dvou ponožek ze šuplíku. Elementární jevy
Typické příklady pro zápočtové písemky DiM 70-30 (Kovář, Kovářová, Kubesa) (verze: November 5, 08) 5 Pravděpodobnost 5.. Jiří má v šuplíku rozházených osm párů ponožek, dva páry jsou černé, dva páry modré,
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
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
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
Matematická logika. Miroslav Kolařík
Matematická logika přednáška třetí 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
ALGEBRA. 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 předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti
Kapitola 5 Vektorové prostory V předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti operací sčítání a násobení
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 -
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)
1 Úvod do matematické logiky
1 Úvod do matematické logiky Logikou v běžném slova smyslu rozumíme myšlenkovou cestu, která vede k určitým závěrům. Logika je také formální věda, která zkoumá způsob vyvozování závěrů. Za zakladatele
Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 2015
Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 05 Zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia
IB112 Základy matematiky
IB112 Základy matematiky Základy kombinatoriky a kombinatorická pravděpodobnost Jan Strejček Obsah IB112 Základy matematiky: Základy kombinatoriky a kombinatorická pravděpodobnost 2/57 Výběry prvků bez
1 Lineární prostory a podprostory
Lineární prostory a podprostory Přečtěte si: Učebnice AKLA, kapitola první, podkapitoly. až.4 včetně. Cvičení. Které z následujících množin jsou lineárními prostory s přirozenými definicemi operací?. C
Unární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek
Otázka 06 - Y01MLO Zadání Predikátová logika, formule predikátové logiky, sentence, interpretace jazyka predikátové logiky, splnitelné sentence, tautologie, kontradikce, tautologicky ekvivalentní formule.
1. MATEMATICKÁ LOGIKA A MNOŽINY
. MATEMATICKÁ LOGIKA A MNOŽINY Průvodce studiem V následující kapitole si připomeneme některé význačné poznatky z matematické logiky a teorie množin, tvořící základ množinově logického aparátu. S celou
Učební plán 4. letého studia předmětu matematiky. Učební plán 6. letého studia předmětu matematiky
Učební plán 4. letého studia předmětu matematiky Ročník I II III IV Dotace 3 3+1 2+1 2+2 Povinnost povinný povinný povinný povinný Učební plán 6. letého studia předmětu matematiky Ročník 1 2 3 4 5 6 Dotace
Algebraické struktury s jednou binární operací
16 Kapitola 1 Algebraické struktury s jednou binární operací 1.1 1. Grupoid, pologrupa, monoid a grupa Chtěli by jste vědět, co jsou to algebraické struktury s jednou binární operací? No tak to si musíte
Ú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ýroková logika II. Negace. Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0).
Výroková logika II Negace Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0). Na konkrétních příkladech si ukážeme, jak se dají výroky negovat. Obecně se výrok dá negovat tak, že před
Diskrétní matematika. DiM /01, zimní semestr 2018/2019
Diskrétní matematika Petr Kovář petr.kovar@vsb.cz Vysoká škola báňská Technická univerzita Ostrava DiM 470-2301/01, zimní semestr 2018/2019 O tomto souboru Tento soubor je zamýšlen především jako pomůcka
Diskrétní matematika. DiM /01, zimní semestr 2018/2019
Diskrétní matematika Petr Kovář petr.kovar@vsb.cz Vysoká škola báňská Technická univerzita Ostrava DiM 470-2301/01, zimní semestr 2018/2019 O tomto souboru Tento soubor je zamýšlen především jako pomůcka
(Cramerovo pravidlo, determinanty, inverzní matice)
KMA/MAT1 Přednáška a cvičení, Lineární algebra 2 Řešení soustav lineárních rovnic se čtvercovou maticí soustavy (Cramerovo pravidlo, determinanty, inverzní matice) 16 a 21 října 2014 V dnešní přednášce
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é
Matematická analýza pro informatiky I. Limita posloupnosti (I)
Matematická analýza pro informatiky I. 3. přednáška Limita posloupnosti (I) Jan Tomeček tomecek@inf.upol.cz http://aix-slx.upol.cz/ tomecek/index Univerzita Palackého v Olomouci 25. února 2011 tomecek@inf.upol.cz
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
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é
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í:
Kolik existuje různých stromů na pevně dané n-prvkové množině vrcholů?
Kapitola 9 Matice a počet koster Graf (orientovaný i neorientovaný) lze popsat maticí, a to hned několika různými způsoby. Tématem této kapitoly jsou incidenční matice orientovaných grafů a souvislosti
Věta o dělení polynomů se zbytkem
Věta o dělení polynomů se zbytkem Věta. Nechť R je okruh, f, g R[x], přičemž vedoucí koeficient polynomu g 0 je jednotka okruhu R. Pak existuje jediná dvojice polynomů q, r R[x] taková, že st(r) < st(g)
Množinu všech slov nad abecedou Σ značíme Σ * Množinu všech neprázdných slov Σ + Jazyk nad abecedou Σ je libovolná množina slov nad Σ
Abecedou se rozumí libovolná konečná množina Σ. Prvky abecedy nazýváme znaky (symboly) Slovo (řetězec) v nad abecedou Σ je libovolná konečná posloupnost znaků této abecedy. Prázdné posloupnosti znaků odpovídá
2 Důkazové techniky, Indukce
Důkazové techniky, Indukce Náš hlubší úvod do matematických formalismů pro informatiku začneme základním přehledem technik matematických důkazů. Z nich pro nás asi nejdůležitější je technika důkazů matematickou
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
Dosud jsme se zabývali pouze soustavami lineárních rovnic s reálnými koeficienty.
Kapitola 4 Tělesa Dosud jsme se zabývali pouze soustavami lineárních rovnic s reálnými koeficienty. Všechna čísla byla reálná, vektory měly reálné souřadnice, matice měly reálné prvky. Také řešení soustav
grupa těleso podgrupa konečné těleso polynomy komutativní generovaná prvkem, cyklická, řád prvku charakteristika tělesa
grupa komutativní podgrupa těleso generovaná prvkem, cyklická, řád prvku Malá Fermatova věta konečné těleso charakteristika tělesa polynomy ireducibilní prvky, primitivní prvky definice: G, je grupa kde
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
teorie logických spojek chápaných jako pravdivostní funkce
Výroková logika teorie logických spojek chápaných jako pravdivostní funkce zabývá se způsoby tvoření výroků pomocí spojek a vztahy mezi pravdivostí různých výroků používá specifický jazyk složený z výrokových
Pravděpodobnost a statistika
Pravděpodobnost a statistika 1 Náhodné pokusy a náhodné jevy Činnostem, jejichž výsledek není jednoznačně určen podmínkami, za kterých probíhají, a které jsou (alespoň teoreticky) neomezeně opakovatelné,
Tematický plán Obor: Informační technologie. Vyučující: Ing. Joanna Paździorová
Tematický plán Vyučující: Ing. Joanna Paździorová 1. r o č n í k 5 h o d i n t ý d n ě, c e l k e m 1 7 0 h o d i n Téma- Tematický celek Z á ř í 1. Opakování a prohloubení učiva základní školy 18 1.1.
Diskrétní matematika. DiM /01, zimní semestr 2018/2019
Diskrétní matematika Petr Kovář petr.kovar@vsb.cz Vysoká škola báňská Technická univerzita Ostrava DiM 470-2301/01, zimní semestr 2018/2019 O tomto souboru Tento soubor je zamýšlen především jako pomůcka
TOPOLOGIE 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ě
0.1 Úvod do lineární algebry
Matematika KMI/PMATE 1 01 Úvod do lineární algebry 011 Lineární rovnice o 2 neznámých Definice 011 Lineární rovnice o dvou neznámých x, y je rovnice, která může být vyjádřena ve tvaru ax + by = c, kde
1 Řešení soustav lineárních rovnic
1 Řešení soustav lineárních rovnic 1.1 Lineární rovnice Lineární rovnicí o n neznámých x 1,x 2,..., x n s reálnými koeficienty rozumíme rovnici ve tvaru a 1 x 1 + a 2 x 2 +... + a n x n = b, (1) kde koeficienty
1. Základy logiky a teorie množin
1. Základy logiky a teorie množin A. Logika Matematická logika vznikla v 19. století. Jejím zakladatelem byl anglický matematik G. Boole (1815 1864). Boole prosadil algebraické pojetí logiky a zavedl logické
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í
Příklad z učebnice matematiky pro základní školu:
Příklad z učebnice matematiky pro základní školu: Součet trojnásobku neznámého čísla zvětšeného o dva a dvojnásobku neznámého čísla zmenšeného o pět se rovná čtyřnásobku neznámého čísla zvětšeného o jedna.
Mgr. Ladislav Zemánek Maturitní okruhy Matematika 2013-2014. 1. Obor reálných čísel
Mgr. Ladislav Zemánek Maturitní okruhy Matematika 2013-2014 1. Obor reálných čísel - obor přirozených, celých, racionálních a reálných čísel - vlastnosti operací (sčítání, odčítání, násobení, dělení) -
Systém přirozené dedukce výrokové logiky
Systém přirozené dedukce výrokové logiky Korektnost, úplnost a bezespornost Šárka Vavrečková Ústav informatiky, FPF SU Opava Poslední aktualizace: 6. října 2008 Věta o korektnosti Věta (O korektnosti Systému
Matice. a m1 a m2... a mn
Matice Nechť (R, +, ) je okruh a nechť m, n jsou přirozená čísla Matice typu m/n nad okruhem (R, +, ) vznikne, když libovolných m n prvků z R naskládáme do obdélníkového schematu o m řádcích a n sloupcích
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
Diskrétní matematika 1. týden
Diskrétní matematika 1. týden Elementární teorie čísel dělitelnost Jan Slovák Masarykova univerzita Fakulta informatiky jaro 2015 Obsah přednášky 1 Problémy teorie čísel 2 Dělitelnost 3 Společní dělitelé
Cvičení z Lineární algebry 1
Cvičení z Lineární algebry Michael Krbek podzim 2003 2392003 Hodina Jsou dána komplexní čísla z = +2 i a w = 2 i Vyjádřete c algebraickém tvaru (z + w) 3,, (zw), z w 2 Řešte v komplexním oboru rovnice
Maturitní témata z matematiky
Maturitní témata z matematiky G y m n á z i u m J i h l a v a Výroky, množiny jednoduché výroky, pravdivostní hodnoty výroků, negace operace s výroky, složené výroky, tabulky pravdivostních hodnot důkazy
Matematika (CŽV Kadaň) aneb Úvod do lineární algebry Matice a soustavy rovnic
Přednáška třetí (a pravděpodobně i čtvrtá) aneb Úvod do lineární algebry Matice a soustavy rovnic Lineární rovnice o 2 neznámých Lineární rovnice o 2 neznámých Lineární rovnice o dvou neznámých x, y je
Matematická analýza pro informatiky I. Limita funkce
Matematická analýza pro informatiky I. 5. přednáška Limita funkce Jan Tomeček tomecek@inf.upol.cz http://aix-slx.upol.cz/ tomecek/index Univerzita Palackého v Olomouci 18. března 2011 Jan Tomeček, tomecek@inf.upol.cz
DEFINICE Z LINEÁRNÍ ALGEBRY
DEFINICE Z LINEÁRNÍ ALGEBRY Skripta Matematické metody pro statistiku a operační výzkum (Nešetřilová, H., Šařecová, P., 2009). 1. definice Vektorovým prostorem rozumíme neprázdnou množinu prvků V, na které
Výroková logika. Teoretická informatika Tomáš Foltýnek
Výroková logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Teoretická informatika strana 2 Opakování z minulé přednášky Co je to formalismus a co je jeho cílem? Formulujte Russelův paradox
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
1.4.6 Stavba matematiky, důkazy
1.4.6 tavba matematiky, důkazy Předpoklady: 1401, 1404 Pedagogická poznámka: Tato hodina se velmi liší od většiny ostatních neboť jde v podstatě o přednášku. Také ji neprobíráme v prvním ročníku, ale přednáším
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 ( α), (α β), (α
Diskrétní matematika. DiM /01, zimní semestr 2018/2019
Diskrétní matematika Petr Kovář petr.kovar@vsb.cz Vysoká škola báňská Technická univerzita Ostrava DiM 470-2301/01, zimní semestr 2018/2019 O tomto souboru Tento soubor je zamýšlen především jako pomůcka
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
maticeteorie 1. Matice A je typu 2 4, matice B je typu 4 3. Jakých rozměrů musí být matice X, aby se dala provést
Úlohy k zamyšlení 1. Zdůvodněte, proč třetí řádek Hornerova schématu pro vyhodnocení polynomu p v bodě c obsahuje koeficienty polynomu r, pro který platí p(x) = (x c) r(x) + p(c). 2. Dokažte, že pokud
2. Elementární kombinatorika
2.1. Kombinace, variace, permutace bez opakování 2. Elementární kombinatorika Definice 2.1. Kombinace je neuspořádaná k-tice prvků z dané n-prvkové množiny. Variace je uspořádaná k-tice prvků z dané n-prvkové
Pomocný text. Polynomy
Pomocný text Polynomy Tato série bude o polynomech a to zejména o polynomech jedné proměnné (pokud nebude uvedeno explicitně, že jde o polynom více proměnných). Formálně je někdy polynom jedné proměnné
Pavel Horák LINEÁRNÍ ALGEBRA A GEOMETRIE 1 UČEBNÍ TEXT
Pavel Horák LINEÁRNÍ ALGEBRA A GEOMETRIE 1 UČEBNÍ TEXT 2 0 1 7 Obsah 1 Vektorové prostory 2 1 Vektorový prostor, podprostory........................ 2 2 Generování podprostor u............................
Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan. 2.
Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan 2. Homomorfismy V souvislosti se strukturami se v moderní matematice studují i zobrazení,
Ú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ů
10. Vektorové podprostory
Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA II, letní semestr 2000/2001 Michal Marvan Definice. Bud V vektorový prostor nad polem P. Podmnožina U V se nazývá podprostor,
Matematika 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í
Predikátová logika. Teoretická informatika Tomáš Foltýnek
Predikátová logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz strana 2 Opakování z minulé přednášky Z čeho se skládá jazyk výrokové logiky? Jaká jsou schémata pro axiomy VL? Formulujte
Maticí typu (m, n), kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru:
3 Maticový počet 3.1 Zavedení pojmu matice Maticí typu (m, n, kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru: a 11 a 12... a 1k... a 1n a 21 a 22...
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
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
Zimní semestr akademického roku 2014/ prosince 2014
Cvičení k předmětu BI-ZMA Tomáš Kalvoda Katedra aplikované matematiky FIT ČVUT Matěj Tušek Katedra matematiky FJFI ČVUT Obsah Cvičení Zimní semestr akademického roku 014/015. prosince 014 Předmluva iii
4 Pojem grafu, ve zkratce
Petr Hliněný, FI MU Brno, 2014 1 / 24 FI: IB000: Pojem grafu 4 Pojem grafu, ve zkratce Třebaže grafy jsou jen jednou z mnoha struktur v matematice a vlastně pouze speciálním případem binárních relací,
Číselné posloupnosti
Číselné posloupnosti Jiří Fišer KMA, PřF UP Olomouc ZS09 Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 1 / 43 Pojem posloupnosti Každé zobrazení N do R nazýváme číselná posloupnost. 1 a 1, 2 a 2, 3 a
Limita a spojitost funkce
Přednáška 5 Limita a spojitost funkce V této přednášce se konečně dostaneme k diferenciálnímu počtu funkce jedné reálné proměnné. Diferenciální počet se v podstatě zabývá lokálním chováním funkce v daném
Množ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,
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,
Afinita je stručný název pro afinní transformaci prostoru, tj.vzájemně jednoznačné afinní zobrazení bodového prostoru A n na sebe.
4 Afinita Afinita je stručný název pro afinní transformaci prostoru, tj.vzájemně jednoznačné afinní zobrazení bodového prostoru A n na sebe. Poznámka. Vzájemně jednoznačným zobrazením rozumíme zobrazení,
Matematika III. 4. října Vysoká škola báňská - Technická univerzita Ostrava. Matematika III
Vysoká škola báňská - Technická univerzita Ostrava 4. října 2018 Podmíněná pravděpodobnost Při počítání pravděpodobnosti můžeme k náhodnému pokusu přidat i nějakou dodatečnou podmínku. Podmíněná pravděpodobnost
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
PŘEDNÁŠKA 7 Kongruence svazů
PŘEDNÁŠKA 7 Kongruence svazů PAVEL RŮŽIČKA Abstrakt. Definujeme svazové kongruence a ukážeme jak pro vhodné binární relace svazu ověřit, že se jedná o svazové kongruence. Popíšeme svaz Con(A) kongruencí
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
Základní pojmy matematické logiky
KAPITOLA 1 Základní pojmy matematické logiky Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. 1. Výroková logika Co je
kombinatorika září, 2015 Kombinatorika Opakovací kurz 2015 Radka Hájková
Kombinatorika Opakovací kurz 2015 Radka Hájková 1) Děti z hudební školy Písnička, mezi nimiž byla i dvojčata Dita a Zita, psaly v rámci hudební nauky písemnou práci z not. Kolik možností oznámkování mohla
Těleso racionálních funkcí
Těleso racionálních funkcí Poznámka. V minulém semestru jsme libovolnému oboru integrity sestrojili podílové těleso. Pro libovolné těleso R je okruh polynomů R[x] oborem integrity, máme tedy podílové těleso
Úvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška osmá Miroslav Kolařík Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Kombinatorika: pravidla součtu a součinu 2 Kombinatorika:
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
Maturitní otázky z předmětu MATEMATIKA
Wichterlovo gymnázium, Ostrava-Poruba, příspěvková organizace Maturitní otázky z předmětu MATEMATIKA 1. Výrazy a jejich úpravy vzorce (a+b)2,(a+b)3,a2-b2,a3+b3, dělení mnohočlenů, mocniny, odmocniny, vlastnosti