Ekvivalence. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 5
|
|
- Marcel Bílek
- před 5 lety
- Počet zobrazení:
Transkript
1 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. Praha& EU: Investujeme do vaší budoucnosti doc. Josef Kolář (FIT ČVUT) Ekvivalence ZDM, ZS 2011/12, Lekce 5 1/ 19
2 Definice ekvivalence Co je to ekvivalence? Ekvivalence(neformálně) je vzájemný vztah příbuznosti mezi nějakými objekty, ovšem ne každá příbuznost je ekvivalence. Příklad 1 Jednoduché příklady příbuznosti: relace asb df osoba ajesourozencemosoby b relace abb df osoba ajebratrancemosoby b Definice 2 ( ekvivalence) Binární relaci R na množině A nazýváme ekvivalencí na A, pokud je reflexivní, symetrická a tranzitivní. Jsou relace S a B uvedené výše ekvivalencemi? doc. Josef Kolář (FIT ČVUT) Ekvivalence ZDM, ZS 2011/12, Lekce 5 2/ 19
3 Rozklad na množině Připomeneme si pojem rozkladu, s nímž má ekvivalence těsný vztah. Definice 3 ( rozklad na množině) Pro neprázdnou množinu A nazýváme systém A={A i : i I }neprázdnýchpodmnožinmnožiny Arozklademna množině A, pokud splňuje následující dvě podmínky: i I A i= A (podmínkapokrytí) A i A j = provšechna i,j I,i j (podmínkadisjunkce) Prvky A i tohotosystémunazývámetřídamirozkladunamnožině A. S -sudáceláčísla, L -licháceláčísla, {S,L}jerozkladmnožiny Z celých čísel B = {0,1} -množinavšechbinárníchřetězů, B ij -podmnožina binárních řetězů, které obsahují přesně i nul a j jedniček, pak {B ij : i,j N}jerozklademnamnožině B. doc. Josef Kolář (FIT ČVUT) Ekvivalence ZDM, ZS 2011/12, Lekce 5 3/ 19
4 Třída prvku v ekvivalenci Definice 4 (třídaprvku)nechť Rjeekvivalencenamnožině A,potomprokaždý prvek a Anazývámetřídouprvku avekvivalenci Rpodmnožinu [a] R = {x A; xra}. Věta5 Nechť Rjerelaceekvivalencenanějakémnožině A,nechť a A.Potom mají třídy prvků v ekvivalenci R následující vlastnosti: 1 prokaždé b,c [a] R platí brc, 2 prokaždé b [a] R a c Aplatí brc c [a] R, 3 prokaždé b [a] R platí[a] R =[b] R, 4 prokaždé a,b Aplatí arb [a] R =[b] R, 5 provšechna a,b Aplatí,žebuď[a] R =[b] R,nebo[a] R [b] R =. doc. Josef Kolář (FIT ČVUT) Ekvivalence ZDM, ZS 2011/12, Lekce 5 4/ 19
5 Důkaz: Ekvivalence 1 prokaždé b,c [a] R platí brc: b,c [a] R bra cra SY bra arc TR brc 2 prokaždé b [a] R a c Aplatí brc c [a] R : b [a] R brc bra brc SY,TR cra c [a] R 3 prokaždé b [a] R platí[a] R =[b] R : Je b [a] R,vezměmelibovolné c [b] R.Pakje crb SY,2 c [a] R. Dokázalijsmetedy[b] R [a] R. Nechťnaopak c [a] R,tj. cra.nyní b [a] R bra SY arb.je ale cra arb TR crb c [b] R.Dokázalijsme[a] R [b] R. 4 prokaždé a,b Aplatí arb [a] R =[b] R : Důsledektvrzení3: arb a [b] R 3 [a]r =[b] R. Nechťnaopak[a] R =[b] R.Pak a [a] R =[b] R,tedy a [b] R a arb přímopodledefinice[b] R. doc. Josef Kolář (FIT ČVUT) Ekvivalence ZDM, ZS 2011/12, Lekce 5 5/ 19
6 Rozklad definovaný ekvivalencí Věta6 Každá ekvivalence na neprázdné množině X definuje rozklad na této množině a každý rozklad na X definuje ekvivalenci. Důkaz: ekvivalence rozklad: Uvažujeme systém všechn různých tříd prvků [a] R,a X.Každátřídajeneprázdná(neboť a [a] R )azestejného důvodu a X [a] R = X(podmínkapokrytí). Podle části 5 předchozí věty jsou každé dvě různé třídy disjunktní, takže je splněna i podmínka disjunkce. rozklad ekvivalence:je-li {X i : i I} rozkladna X,pak definujeme ekvivalenci R na X takto: xry ( i I) x X i y X i Rjepakekvivalencína X,neboťmávlastnosti(RE),(SY)a(TR) (ověřit!) doc. Josef Kolář (FIT ČVUT) Ekvivalence ZDM, ZS 2011/12, Lekce 5 6/ 19
7 Faktorová množina Podle předchozí věty tedy: je-li Rekvivalencena X,pak systémtříd {[a] R ;a X}tvořírozkladna X. Nové pojmy a značení: 1 Tentosystémtřídseoznačujejako X/Ranazývásefaktorovou množinou množiny X podle ekvivalence R. 2 Zobrazení f: a [a] R nazývámepřirozenýmzobrazenímmnožiny X na faktorovou množinu X/R. 3 Pokudnehrozínedorozumění,značímesymbolem atřídu[a] R (určenou ovšem svým libovolným prvkem). doc. Josef Kolář (FIT ČVUT) Ekvivalence ZDM, ZS 2011/12, Lekce 5 7/ 19
8 Kongruence (mod p) Příklad 7 NamnožiněcelýchčíselZzavedemerelaci (mod p)prozvolené (nenulové) přirozené číslo p vztahem a b(mod p) df a b jedělitelné p. Tato relace je ekvivalencí(ověřit!) na Z a nazýváme ji kongruencí modulo p(nebotéžpodlemodulu p).jakáceláčíslajsouspolu kongruentní modulo p? Faktorovoumnožinu Z/ (mod p)tvoří ptříd Z p = {0,1,...,p 1} - tzv. úplná soustava zbytkových tříd modulo p. doc. Josef Kolář (FIT ČVUT) Ekvivalence ZDM, ZS 2011/12, Lekce 5 8/ 19
9 Vlastnosti ekvivalencí Věta8 Nechť R,S jsouekvivalencenamnožině X.Potomplatí: 1 R Sjeekvivalencena X 2 R Sjeekvivalencena X (R S) (S R) R S. Důkaz: R S: R S: (RE): X R X S X (R S) (SY): R=R 1 S= S 1 R S= R 1 S 1 =(R S) 1 (TR): R R R S S S (R S) (R S) (R R) (R S) (S R) (S S) (R R) (S S) (RE) a(sy) pro sjednocení ekvivalencí jsou zaručené (TR): R R R S S S (R S) (R S) = (R R) (R S) (S R) (S S) R S (R S) (S R) R S. doc. Josef Kolář (FIT ČVUT) Ekvivalence ZDM, ZS 2011/12, Lekce 5 9/ 19
10 Jak udělat ekvivalenci Jak pro zadanou relaci R získáme co nejmenší ekvivalenci S, která tuto relaci obsahuje? reflexivnostzajistímepomocí S = R X symetriizajistímesymetrizací,tj.pomocí S = R R 1 tranzitivnostzajistímepomocítranzitivníhouzávěru S = R + V jakém pořadí budeme tyto úpravy provádět? S=( R), kde R=R R 1 jesymetrizacerelace R Lze zadanou ekvivalenci R plně charakterizovat pomocí nějaké její minimální podmnožiny S R? Relace Sbymohlabýtasymetrická(atedyireflexivní)ataké bez tranzitivity - všechny tyto vlastnosti už umíme doplnit. doc. Josef Kolář (FIT ČVUT) Ekvivalence ZDM, ZS 2011/12, Lekce 5 10/ 19
11 Ekvivalence určená zobrazením Věta9 Nechť R je ekvivalence na množině X. Potom existuje zobrazení f: X Xtakové,žeplatí R=f f 1 Důkaz:(návod) Nechť X/R={X i ;i I}jerozkladmnožinyXpodleekvivalenceR. Vkaždétřídě X i zvolímejedenprvek x i jakožtoreprezentantatřídy X i.zobrazení fbudepřiřazovatkaždémuprvku x Xreprezentanta x i třídy X i =[x] R. Reprezentace ekvivalence pomocí tohoto zobrazení není ovšem minimální(proč?). Poznámka: Za zobrazení f jsme mohli vzít i přirozené zobrazení f: X P(X), f(a)=[a] R. doc. Josef Kolář (FIT ČVUT) Ekvivalence ZDM, ZS 2011/12, Lekce 5 11/ 19
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Ř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ícePojem relace patří mezi pojmy, které prostupují všemi částmi matematiky.
Relace. Pojem relace patří mezi pojmy, které prostupují všemi částmi matematiky. Definice. Mějme množiny A a B. Binární relace R z množiny A do množiny B je každá množina uspořádaných dvojic (a, b), kde
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í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í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ícePŘ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í
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í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í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íceAritmetika s didaktikou I.
Katedra matematiky PF UJEP Aritmetika s didaktikou I. KM1 / 0001 Přednáška 02 Opakování základních pojmů - 2. část O čem budeme hovořit: Binární relace a jejich vlastnosti Speciální typy binárních relací
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í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í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ícePumping lemma - podstata problému. Automaty a gramatiky(bi-aag) Pumping lemma - problem resolution. Pumping lemma - podstata problému
BI-AAG (2011/2012) J. Holub: 10. Vlastnosti regulárních jazyků p. 2/22 Pumping lemma - podstata problému BI-AAG (2011/2012) J. Holub: 10. Vlastnosti regulárních jazyků p. 4/22 Automaty a gramatiky(bi-aag)
VíceKongruence na množině celých čísel
121 Kapitola 4 Kongruence na množině celých čísel 4.1 Relace kongruence na množině celých čísel Vraťme se k úvahám o dělení se zbytkem. Na základní škole jsme se naučili, že když podělíme číslo 11 číslem
VícePrincip rozšíření a operace s fuzzy čísly
Center for Machine Perception presents Princip rozšíření a operace s fuzzy čísly Mirko Navara Center for Machine Perception Faculty of Electrical Engineering Czech Technical University Praha, Czech Republic
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íceRelace. R, S vyjmenovaním prvků. Sestrojte grafy relací R, S. Určete relace
Relace 1. Nechť A = {n N; n < 10}, B = {m N; m 12}, R = {[m, n] A B; m + 1 = n}, S = {[m, n] A B; m 2 = n}. Zapište relace R, S vyjmenovaním prvků. Sestrojte grafy relací R, S. Určete relace R R, S S,
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íceMatematika 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í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í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ícePro 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íceKapitola 1. Relace. podle definice podmnožinou každé množiny. 1 Neříkáme už ale, co to je objekt. V tom právě spočívá intuitivnost našeho přístupu.
Kapitola 1 Relace Úvodní kapitola je věnována důležitému pojmu relace. Protože relace popisují vztahy mezi prvky množin a navíc jsou samy množinami, bude vhodné množiny nejprve krátce připomenout. 1.1
VíceKritéria dělitelnosti Divisibility Criterions
VŠB Technická univerzita Ostrava Fakulta elektrotechniky a informatiky Katedra aplikované matematiky Kritéria dělitelnosti Divisibility Criterions 2014 Veronika Balcárková Ráda bych na tomto místě poděkovala
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í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í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íceMatematická 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í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íceCvičení 1. Úvod do teoretické informatiky(2014/2015) cvičení 1 1
Úvod do teoretické informatiky(2014/2015) cvičení 1 1 Cvičení 1 Příklad 1: Pro každý z následujících formálních zápisů množin uveďte(svými slovy), jaké prvky daná množina obsahuje: a) {1,3,5,7,...} b)
VíceORIENTOVANÉ GRAFY, REPREZENTACE GRAFŮ
ORIENTOVANÉ GRAFY, REPREZENTACE GRAFŮ Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze BI-GRA, LS 2/2, Lekce Evropský sociální fond Praha & EU: Investujeme
VíceRelace a kongruence modulo
Relace a kongruence modulo Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 1/17 Definice Binární relace R na množině A je podmnožina R A A. Píšeme x R y (čteme: x je v relaci R s y)
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í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íceMETRICKÉ A NORMOVANÉ PROSTORY
PŘEDNÁŠKA 1 METRICKÉ A NORMOVANÉ PROSTORY 1.1 Prostor R n a jeho podmnožiny Připomeňme, že prostorem R n rozumíme množinu uspořádaných n tic reálných čísel, tj. R n = R } R {{ R }. n krát Prvky R n budeme
Víceprof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. BI-ZMA ZS 2009/2010
Věty o přírustku funkce 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é
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í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í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í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í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í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íceB i n á r n í r e l a c e. Patrik Kavecký, Radomír Hamřík
B i n á r n í r e l a c e Patrik Kavecký, Radomír Hamřík Obsah 1 Kartézský součin dvou množin... 3 2 Binární relace... 6 3 Inverzní relace... 8 4 Klasifikace binární relací... 9 5 Ekvivalence... 12 2 1
VíceLogika II. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12
Logika II. 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íceLineární algebra : Lineární (ne)závislost
Lineární algebra : Lineární (ne)závislost (4. 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í
VíceVektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice
Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice Vektorové podprostory K množina reálných nebo komplexních čísel, U vektorový prostor nad K. Lineární kombinace vektorů u 1, u 2,...,u
VíceNechť M je množina. Zobrazení z M M do M se nazývá (binární) operace
Kapitola 2 Algebraické struktury Řada algebraických objektů má podobu množiny s nějakou dodatečnou strukturou. Například vektorový prostor je množina vektorů, ty však nejsou jeden jako druhý : jeden z
Ví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íceMATICE. a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij]
MATICE Matice typu m/n nad tělesem T je soubor m n prvků z tělesa T uspořádaných do m řádků a n sloupců: a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij] a m1 a m2 a mn Prvek a i,j je prvek matice A na místě
VíceCvičení z logiky II.
Cvičení z logiky II. 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 https://edux.fit.cvut.cz/courses/bi-mlo/lectures/
VíceMatematika pro informatiky
(FIT ČVUT v Praze) Konvexní analýza 13.týden 1 / 1 Matematika pro informatiky Jaroslav Milota Fakulta informačních technologíı České vysoké učení technické v Praze Letní semestr 2010/11 Extrémy funkce
VíceMatematika pro informatiku 2
Matematika pro informatiku 2 Doc. RNDr. Alena Šolcová, Ph. D., KTI FIT ČVUT v Praze 21. února 2011 Evropský sociální fond Investujeme do vaší budoucnosti Alena Šolcová Lámejte si hlavu - L1 Určete všechny
VíceMIDTERM D. Příjmení a jméno:
MIDTERM D Příjmení a jméno: 1 2 3 4 5 6 7 8 9 10 11 12 1 Doplňte místo otazníku ten ze symbolů, aby platil vztah (log n) / (log n 2 ) =?(1/ n): A) o B) O (a současně nelze použít ani o ani Θ) C) Θ D) Ω
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íceTeoretická informatika - Úkol č.1
Teoretická informatika - Úkol č.1 Lukáš Sztefek, xsztef01 18. října 2012 Příklad 1 (a) Gramatika G 1 je čtveřice G 1 = (N, Σ, P, S) kde, N je konečná množina nonterminálních symbolů N = {A, B, C} Σ je
VíceKATEDRA INFORMATIKY UNIVERZITA PALACKÉHO LINEÁRNÍ ALGEBRA 1 OLGA KRUPKOVÁ VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN
KATEDRA INFORMATIKY PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITA PALACKÉHO LINEÁRNÍ ALGEBRA 1 OLGA KRUPKOVÁ VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN EVROPSKÝM SOCIÁLNÍM FONDEM A STÁTNÍM ROZPOČTEM ČESKÉ REPUBLIKY
VíceTOKY V SÍTÍCH II. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze
TOKY V SÍTÍCH II Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze BI-GRA, LS 010/011, Lekce 10 Evropský sociální fond Praha & EU: Investujeme do vaší
VíceMatematická 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í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í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íceVlastnosti regulárních jazyků
Vlastnosti regulárních jazyků Podobně jako u dalších tříd jazyků budeme nyní zkoumat následující vlastnosti regulárních jazyků: vlastnosti strukturální, vlastnosti uzávěrové a rozhodnutelné problémy pro
Ví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í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íceMgr. Rudolf Blažek, Ph.D. prof. RNDr. Roman Kotecký Dr.Sc.
Náhodné veličiny III Mgr. Rudolf Blažek, Ph.D. prof. RNDr. Roman Kotecký Dr.Sc. Katedra teoretické informatiky Fakulta informačních technologií České vysoké učení technické v Praze c Rudolf Blažek, Roman
VíceFormá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íceZákladní datové struktury III: Stromy, haldy
Základní datové struktury III: Stromy, haldy prof. Ing. Pavel Tvrdík CSc. Katedra počítačových systémů Fakulta informačních technologií České vysoké učení technické v Praze c Pavel Tvrdík, 2010 Efektivní
VíceUčební texty k státní bakalářské zkoušce Matematika Diskrétní matematika. študenti MFF 15. augusta 2008
Učební texty k státní bakalářské zkoušce Matematika Diskrétní matematika študenti MFF 15. augusta 2008 1 16 Diskrétní matematika Požadavky Uspořádané množiny Množinové systémy, párování, párování v bipartitních
VíceStruktura a architektura počítačů (BI-SAP) 5
Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Struktura a architektura počítačů (BI-SAP) 5 doc. Ing. Hana Kubátová, CSc. Katedra číslicového návrhu Fakulta informačních technologii
VíceUčební texty k státní bakalářské zkoušce Matematika Algebra. študenti MFF 15. augusta 2008
Učební texty k státní bakalářské zkoušce Matematika Algebra študenti MFF 15. augusta 2008 1 8 Algebra Požadavky Grupa, okruh, těleso definice a příklady Podgrupa, normální podgrupa, faktorgrupa, ideál
VíceZadání semestrálního projektu Algoritmy II. letní semestr 2017/2018
Zadání semestrálního projektu Algoritmy II. letní semestr 2017/2018 doc. Mgr. Jiří Dvorský, Ph.D. Verze zadání 6. dubna 2018 První verze Obecné pokyny 1. Celkem jsou k dispozici tři zadání příkladů. 2.
VíceRelace a kongruence modulo
Relace a kongruence modulo Jiří Velebil: A7B01MCS 10. října 2011: Relace a kongruence modulo 1/19 Definice Binární relace R na množině A je podmnožina R A A. Píšeme x R y (čteme: x je v relaci R s y) místo
VíceZáklady matematické analýzy
Základy matematické analýzy Spojitost funkce Ing. Tomáš Kalvoda, Ph.D. 1, Ing. Daniel Vašata 2 1 tomas.kalvoda@fit.cvut.cz 2 daniel.vasata@fit.cvut.cz Katedra aplikované matematiky Fakulta informačních
VíceV: Pro nulový prvek o lineárního prostoru L platí vlastnosti:
Zpracoval: hypspave@fel.cvut.cz. Základní vlastnosti abstraktních lineárních prostorů. Lineární závislost, nezávislost, báze, souřadnice vzhledem k bázi, matice lineárního zobrazení vzhledem k bázím.skalární
VíceMaticí 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...
VíceAUTOMATY A GRAMATIKY
AUTOMATY A 1 GRAMATIKY Pavel Surynek Univerzita Karlova v Praze Matematicko-fyzikální fakulta Katedra teoretické informatiky a matematické logiky Stručný přehled přednášky Automaty Formální jazyky, operace
VíceLogika III. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12
Logika III. 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íceI. Ú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íceFormální jazyky a gramatiky Teorie programovacích jazyků
Formální jazyky a gramatiky Teorie programovacích jazyků doc. Ing. Jiří Rybička, Dr. ústav informatiky PEF MENDELU v Brně rybicka@mendelu.cz Připomenutí základních pojmů ABECEDA jazyk je libovolná podmnožina
VíceÚlohy k procvičování textu o svazech
Úlohy k procvičování textu o svazech Číslo za pomlčkou v označení úlohy je číslo kapitoly textu, která je úlohou procvičovaná. Každá úloha je vyřešena o několik stránek později. Kontrolní otázky - zadání
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í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í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í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íceKaž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í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íceÚVOD DO ARITMETIKY. Michal Botur
ÚVOD DO ARITMETIKY Michal Botur 2011 2 Obsah 1 Algebraické základy 3 1.1 Binární relace.................................. 3 1.2 Zobrazení a operace............................... 7 1.3 Algebry s jednou
VíceLineární algebra : Násobení matic a inverzní matice
Lineární algebra : Násobení matic a inverzní matice (8. 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í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í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í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í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íceHistorie matematiky a informatiky Cvičení 1
Historie matematiky a informatiky Cvičení 1 Doc. RNDr. Alena Šolcová, Ph. D., KAM, FIT ČVUT v Praze 2014 Evropský sociální fond Investujeme do vaší budoucnosti Alena Šolcová Kapitola z teorie čísel Co
Více1. Množiny, zobrazení, relace
Matematická analýza I přednášky M. Málka cvičení A. Hakové a R. Otáhalové Zimní semestr 2004/05 1. Množiny, zobrazení, relace První kapitola je věnována základním pojmům teorie množin. Pojednává o množinách
VícePravděpodobnost a statistika (BI-PST) Cvičení č. 2
Pravděpodobnost a statistika (BI-PST) Cvičení č. 2 J. Hrabáková, I. Petr, F. Štampach, D. Vašata Katedra aplikované matematiky Fakulta informačních technologií České vysoké učení technické v Praze ZS 2014/2015
VícePatří-li do množiny A právě prvky a, b, c, d, budeme zapisovat A = {a, b, c, d}.
2 Množiny a intervaly lgebraické výrazy 2.1 Množiny Chápání množiny lze shrnout takto: Množinou rozumíme každé shrnutí určitých a navzájem různých předmětů m našeho nazírání nebo myšlení (které nazýváme
Více/1: Teoretická informatika(ti) přednáška 4
456-330/1: Teoretická informatika(ti) přednáška 4 prof. RNDr Petr Jančar, CSc. katedra informatiky FI VŠB-TUO www.cs.vsb.cz/jancar LS 2009/2010 Petr Jančar (FI VŠB-TU) Teoretická informatika(ti) LS 2009/2010
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íceZá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