WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA



Podobne dokumenty
Zbiory wyznaczone przez funkcje zdaniowe

GRAFY i SIECI. Graf: G = ( V, E ) - para uporządkowana

PODSTAWY BAZ DANYCH Wykład 3 2. Pojęcie Relacyjnej Bazy Danych

Zadania. I. Podzielność liczb całkowitych

Propozycja przedmiotowego systemu oceniania wraz z określeniem wymagań edukacyjnych (zakres podstawowy)

Wymagania na ocenę dopuszczającą z matematyki klasa II Matematyka - Babiański, Chańko-Nowa Era nr prog. DKOS /02

Wprowadzenie: Do czego służą wektory?

usuwa niewymierność z mianownika wyrażenia typu

Programy współbieżne

PODSTAWY BAZ DANYCH Wykład 2 2. Pojęcie Relacyjnej Bazy Danych

Oznaczenia: K wymagania konieczne; P wymagania podstawowe; R wymagania rozszerzające; D wymagania dopełniające; W wymagania wykraczające

PEWNIK DEDEKINDA i jego najprostsze konsekwencje

RBD Relacyjne Bazy Danych

Wykład 2. Pojęcie całki niewłaściwej do rachunku prawdopodobieństwa

Relacje. Relacje / strona 1 z 18

MATEMATYKA DYSKRETNA. doc. dr hab. inż. Marek Libura

Algebra Boola i podstawy systemów liczbowych. Ćwiczenia z Teorii Układów Logicznych, dr inż. Ernest Jamro. 1. System dwójkowy reprezentacja binarna

Notatki z Analizy Matematycznej 4. Jacek M. Jędrzejewski

Wymagania kl. 2. Uczeń:

4.3. Przekształcenia automatów skończonych

Podstawy układów logicznych

VI. Rachunek całkowy. 1. Całka nieoznaczona

Wykład 2. Granice, ciągłość, pochodna funkcji i jej interpretacja geometryczna

Wyznacznikiem macierzy kwadratowej A stopnia n nazywamy liczbę det A określoną następująco:

KONKURS MATEMATYCZNY dla uczniów gimnazjów w roku szkolnym 2012/13. Propozycja punktowania rozwiązań zadań

Przekształcenia automatów skończonych

Macierz. Wyznacznik macierzy. Układ równań liniowych

Analiza matematyczna i algebra liniowa

WYMAGANIA EDUKACYJNE Z MATEMATYKI W KLASIE IIc ZAKRES PODSTAWOWY I ROZSZERZONY

Szczegółowe wymagania edukacyjne z matematyki, klasa 2C, poziom podstawowy

2. FUNKCJE WYMIERNE Poziom (K) lub (P)

Pierwiastek z liczby zespolonej

Maciej Grzesiak. Iloczyn skalarny. 1. Iloczyn skalarny wektorów na płaszczyźnie i w przestrzeni. a b = a b cos ϕ. j) (b x. i + b y

SZTUCZNA INTELIGENCJA

Temat lekcji Zakres treści Osiągnięcia ucznia

WYKŁAD 5. Typy macierzy, działania na macierzach, macierz układu równań. Podstawowe wiadomości o macierzach

Wymagania edukacyjne matematyka klasa 2 zakres podstawowy 1. SUMY ALGEBRAICZNE

MATeMAtyka 3 inf. Przedmiotowy system oceniania wraz z określeniem wymagań edukacyjnych. Zakres podstawowy i rozszerzony. Dorota Ponczek, Karolina Wej

Katalog wymagań programowych na poszczególne stopnie szkolne. Matematyka. Poznać, zrozumieć

O RELACJACH MIĘDZY GRUPĄ OBROTÓW, A GRUPĄ PERMUTACJI

ELEKTRONIKA CYFROWA. Materiały y pomocnicze do wykład sem.. 1

Wektor kolumnowy m wymiarowy macierz prostokątna o wymiarze n=1 Wektor wierszowy n wymiarowy macierz prostokątna o wymiarze m=1

Laura Opalska. Klasa 1. Gimnazjum nr 1 z Oddziałami Integracyjnym i Sportowymi im. Bł. Salomei w Skale

4. RACHUNEK WEKTOROWY

WYMAGANIA I KRYTERIA OCENIANIA DO EGZAMINU POPRAWKOWEGO MATEMATYKA. Zakresie podstawowym i rozszerzonym. Klasa II rok szkolny 2011/2012

Podstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik

4.6. Gramatyki regularne

Badanie regularności w słowach

Pierwiastek z liczby zespolonej

Podstawy programowania obiektowego

Analiza Matematyczna (część II)

Zbiory rozmyte. Teoria i zastosowania we wnioskowaniu aproksymacyjnym

Weryfikacja modelowa jest analizą statyczną logiki modalnej

Zbiory. Specjalnym zbiorem jest zbiór pusty nie zawierajacy żadnych elementów. Oznaczamy go symbolem.

RACHUNEK CAŁKOWY. Funkcja F jest funkcją pierwotną funkcji f na przedziale I R, jeżeli. F (x) = f (x), dla każdego x I.

Gramatyki regularne i bezkontekstowe. Spis treści. Plan wykładu spotkania tydzień po tygodniu. Plan wykładu spotkania tydzień po tygodniu.

Sumy algebraiczne i funkcje wymierne

Wymagania edukacyjne matematyka klasa 2b, 2c, 2e zakres podstawowy rok szkolny 2015/ Sumy algebraiczne

Planimetria czworokąty

a a a b M. Przybycień Matematyczne Metody Fizyki I

Macierz. Wyznacznik macierzy. Układ równań liniowych

Załącznik nr 3 do PSO z matematyki

Wykład 6 Dyfrakcja Fresnela i Fraunhofera

Wymagania edukacyjne z matematyki

Wykłady z Matematyki Dyskretnej

4.2. Automat skończony

Matematyka Dyskretna Discrete Mathematics. Informatyka I stopień (I stopień / II stopień) ogólnoakademicki (ogólno akademicki / praktyczny)

Dorota Ponczek, Karolina Wej. MATeMAtyka 2. Plan wynikowy. Zakres podstawowy

Komisja Egzaminacyjna dla Aktuariuszy LII Egzamin dla Aktuariuszy z 15 marca 2010 r. Część I Matematyka finansowa

Komisja Egzaminacyjna dla Aktuariuszy LIX Egzamin dla Aktuariuszy z 12 marca 2012 r. Część I Matematyka finansowa

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA

Kodowanie liczb. Kodowanie stałopozycyjne liczb całkowitych. Niech liczba całkowita a ma w systemie dwójkowym postać: Kod prosty

Lista 4 Deterministyczne i niedeterministyczne automaty

Logika I. Wykład 3. Relacje i funkcje

Od lewej: piramida Chefrena, Wielki Sfinks, piramida Cheopsa.

Materiały diagnostyczne z matematyki poziom podstawowy

Algebra macierzowa. Akademia Morska w Gdyni Katedra Automatyki Okrętowej Teoria sterowania. Mirosław Tomera 1. ELEMENTARNA TEORIA MACIERZOWA

Metody Lagrange a i Hamiltona w Mechanice

Hipoteza Černego, czyli jak zaciekawić ucznia teorią grafów

Przedmiotowy system oceniania z matematyki wraz z określeniem wymagań edukacyjnych (zakres podstawowy) Klasa II TAK

Wymagania edukacyjne na poszczególne oceny z matematyki w klasie II poziom rozszerzony

WYMAGANIA I KRYTERIA OCENIANIA Z MATEMATYKI W 3 LETNIM LICEUM OGÓLNOKSZTAŁCĄCYM

Matematyczne Podstawy Informatyki

ZADANIA OTWARTE. Są więc takie same. Trzeba jeszcze pokazać, że wynoszą one 2b, gdyż taka jest długość krawędzi dwudziestościanu.

bezkontekstowa generujac X 010 0X0.

E-I-0002-s3. Matematyka dyskretna. Informatyka I stopień (I stopień / II stopień) ogólno akademicki (ogólno akademicki / praktyczny)

Całki niewłaściwe. Rozdział Wprowadzenie Całki niewłaściwe I rodzaju

Wymagania edukacyjne z matematyki dla klasy II a liceum (poziom podstawowy) na rok szkolny 2018/2019

Całka Riemanna Dolna i górna suma całkowa Darboux

Przechadzka Bajtusia - omówienie zadania

1 Definicja całki oznaczonej

PODSTAWY ALGEBRY MACIERZY. Operacje na macierzach

ZADANIA Z ZAKRESU SZKOŁY PODSTAWOWEJ, GIMNAZJUM I SZKOŁY ŚREDNIEJ

RELACJE I ODWZOROWANIA

Topologia i podzbiory,

Algorytmy graficzne. Filtry wektorowe. Filtracja obrazów kolorowych

Wykład z matematyki dla studentów Inżynierii Środowiska. Wykład 1. Literatura PRZEGLĄD FUNKCJI ELEMENTARNYCH

Plan wynikowy z matematyki

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA Pod auspicjami Polskiej Akademii Nauk Warszawa, ul. Newelska 6, tel.

Transkrypt:

Mteriły do wykłdu MATEMATYKA DYSKRETNA dl studiów zocznych cz. Progrm wykłdu: KOMBINATORYKA:. Notcj i podstwowe pojęci. Zlicznie funkcji. Permutcje. Podziory zioru. Podziory k-elementowe. Ziory z powtórzenimi 7. Podziły zioru (liczy Stirling). Podziły liczy. Funkcje tworzące 0. Zsd włączni-wyłączni TEORIA GRAFÓW:. Elementrne pojęci. Mcierzowy opis grfu. Klsy grfów. Drogi i cykle w grfie. Drogi i cykle Euler. Drogi i cykle Hmilton 7. Spójność grfu. Drzew i lsy. Przepływy w siecich 0. Pokryci i skojrzeni. Kolorownie grfów Litertur: Liur, Sikorski Wykłdy z mtemtyki dyskretnej. Cz.I: Komintoryk; Cz.II: Teori grfów Wydwnictwo WSISiZ (00) W.Lipski Komintoryk dl progrmistów WNT () Ross, Wright Mtemtyk dyskretn PWN () R.Wilson Wprowdzenie do teorii grfów PWN () N.Deo Teori grfów i jej zstosowni w PWN (0) V.Brynt Aspekty komintoryki WNT (7) R.Grhm, D.Knuth, O.Ptshnik Mtemtyk konkretn PWN () NOTACJA I POJĘCIA PODSTAWOWE Funktory zdniotwórcze: - lu (lterntyw, sum logiczn) - i (koniunkcj, iloczyn logiczny) - nie (negcj) - jeśli, to (implikcj) - wtedy i tylko wtedy, kiedy (równowżność) Kwntyfiktory: - istnieje (kwntyfiktor szczegółowy, egzystencjlny) - dl kżdego (kwntyfiktor ogólny) Ziory: - ziór licz rzeczywistych, - zespolonych, = { 0,,, } - ziór licz nturlnych, = {, -, -, 0,,, } - ziór licz cłkowitych, = { 0, } - ziór inrny, - ziór pusty, {,, n } - ziór skłdjący się z n elementów,, n { } - ziór jednoelementowy zwierjący tylko, { x X : W(x) } - ziór tych elementów zioru X, dl których funkcj zdniow W(x) m wrtość prwd, - sum ziorów, - iloczyn ziorów, \ - różnic ziorów, - różnic symetryczn ziorów: A B = (A B) (B A) MATEMATYKA DYSKRETNA () J.Sikorski Stron /

C = A B C = A B A B A B C = A \ B C = A B A B A B - zwiernie się ziorów: A B (A jest zwrty w B) - włściwe zwiernie się: A B (A jest podziorem włściwym zioru B); A: A A, le A A (A) - ziór wszystkich podziorów zioru A; A: A A: (A) orz A: A (A) A - liczność (moc) zioru A, np. {,, } = (, ) - pr uporządkown: - poprzednik, - nstępnik A B - iloczyn krtezjński ziorów A i B: A B = { (, ) : A B } (,, n ) - n-tk uporządkown (wektor n-elementowy) A A n - iloczyn krtezjński ziorów A,, A n A A n = { (,, n ) : A n A n } Funkcje:, jesli zdnie Q jest prwdziwe Q = - wrtość logiczn, 0, jesli zdnie Q jest flszywe x = mx { y Z : y x} - podłog ; x = min { y Z : y x} - sufit x mod y = x y x y - modulo, czyli reszt z dzieleni x przez y Relcj inrn: R A B (relcj dwuczłonow w iloczynie krtezjńskim ziorów A i B) Relcj inrn n ziorze A: R A A to, że elementy i są ze soą w relcji, zpisujemy: (, ) R lu R Dziedzin relcji R A B : { A : ( B : (, ) R) } - ziór poprzedników pr nleżących do R Przeciwdziedzin relcji R A B : { B : ( A : (, ) R) } - ziór nstępników pr nleżących do R Przykłd relcji A = {,,,, }, B = { {, }, {, } } R - relcj przynleżności do zioru: R = { (, {, }), (, {, }), (, {, }), (, {, }) } MATEMATYKA DYSKRETNA () J.Sikorski Stron /

{, } grf relcji: tlic relcji: dziedzin relcji R : {,, } przeciwdziedzin relcji R : { {, }, {, } } {, } {, } {, } Przykłd relcji A = {, }, B = R - relcj podzielności : R mod =0 dziedzin relcji R : {, } przeciwdziedzin relcji R : z. licz nt. podzielnych przez lu Relcj (inrn) n ziorze X jest: zwrotn, jeśli x X : xrx przechodni, jeśli x, y, z X : ( xry yrz ) xrz symetryczn, jeśli x, y X : xry yrx ntysymetryczn, jeśli x, y X : ( xry yrx ) x = y Relcję zwrotną, przechodnią i symetryczną nzywmy relcją równowżności typowe oznczenie:, np. Przykłd relcji równowżności w ziorze licz rzeczywistych dl x, y relcj x y zchodzi wtedy i tylko wtedy, gdy x y (różnic jest liczą cłkowitą) Relcję zwrotną, przechodnią i ntysymetryczną nzywmy relcją porządkującą ziór X typowe oznczenie:, np. Jeśli relcj porządkując ziór X spełni dodtkowo wrunek x, y X x y y x, to nzywn jest relcją liniowo porządkującą ziór X Przykłdy relcji porządkujących. Relcj mniejsze lu równe ( ) w ziorze (porządkuje liniowo). Relcj podzielności w ziorze : R jest podzielnikiem. Relcj zwierni ( ) w ziorze (X) Uwg: relcj porządkując nzywn jest czsmi relcją częściowo porządkującą MATEMATYKA DYSKRETNA () J.Sikorski Stron /

Prę ( X, ), gdzie jest relcją (liniowo) porządkującą ziór X, nzywmy ziorem (liniowo) uporządkownym Pierwsze pytni komintoryczne : Ile jest relcji inrnych w iloczynie krtezjńskim X Y, jeśli X = n i Y = m? Ile jest relcji inrnych n ziorze X = n? Ile jest zwrotnych relcji inrnych n ziorze X = n? Ile jest symetrycznych relcji inrnych n ziorze X = n? Funkcj f : X Y : relcj R X Y o tej włsności, że dl kżdego x X istnieje dokłdnie jedn pr postci ( x, y = f (x) ) R Fun(X, Y) ziór wszystkich funkcji z X w Y Dl dowolnych ziorów A X i B Y definiujemy: f (A) = { y Y : x A : y = f (x) } (orz zioru A) f - (B) = { x X : f (x) B } (przeciworz zioru B) o funkcji f : X Y mówimy, że jest n jeśli f ( X ) = Y Sur(X, Y) ziór wszystkich funkcji z X n Y (surjekcji) funkcj jest różnowrtościow (wzjemnie jednoznczn), jeśli, X f () f () Inj(X, Y) ziór wszystkich funkcji różnowrt. z X w Y (injekcji) Bij(X, Y) ziór wszystkich ijekcji z X w Y : Bij(X, Y) = Sur(X, Y) Inj(X, Y) FUNKCJE A ROZMIESZCZENIA N ile sposoów możn rozmieścić pewną liczę oiektów w określonej liczie pudełek tk, y spełnione yły zdne dodtkowe ogrniczeni? Opis formlny: Dne są dw ziory X i Y o licznościch X = n i Y = m. Ile jest funkcji f : X Y spełnijących zdne ogrniczeni? Interpretcje:. X - ziór oiektów, Y - ziór pudełek, funkcj f : X Y określ pewne rozmieszczenie oiektów w pudełkch przez wskznie dl kżdego oiektu x X pudełk f (x) Y, w którym oiekt jest umieszczony X Y f : n = f () = f () = f () = f ( n) m = f () = f (). X - ziór oiektów, Y - ziór kolorów, funkcj f : X Y określ sposó pokolorowni oiektów przez podnie dl kżdego oiektu x X koloru f (x) Y Elementy w skończonych ziorch X i Y możn ponumerowć i przyjąć, że X = {,,, n } i Y = {,,, m } W njprostszej sytucji nie nkłdmy żdnych ogrniczeń rozmieszczenie oiektów w pudełkch może yć opisne funkcją ze zioru Fun(X, Y): Ile jest funkcji f : X Y? MATEMATYKA DYSKRETNA () J.Sikorski Stron /

Jeśli X = n i Y = m, to licz wszystkich funkcji f : X Y jest równ m n = Fun(X, Y) m n 7 7 0 777 7 0 7 7 7 0 7 0077 7 7 0 07 7 70 007 7 0 7 07 777 0 7 07 77 70 Jeśli nie nkłdmy żdnych ogrniczeń, to w jednym pudełku może znleźć się jeden lu więcej oiektów, le tkże niektóre pudełk mogą pozostć puste. Zrońmy tego pierwszego nie więcej niż jeden oiekt w pudełku! Ile jest funkcji różnowrtościowych f : X Y? Jeśli X = n, Y = m i n m to licz wszystkich funkcji różnowrtościowych f : X Y jest równ m ( m ) ( m n + ) = m n = Inj(X, Y) 7 0 0 0 0 0 7 7 0 0 0 0 0 0 70 0 70 70 00 00 00 00 00 7 0 0 0 00 0 0 0 0 0 0 70 00 00 00 000 00 00 00 Przyjmując formlne oznczenie (potęgi uywjącej): m n = m ( m ) ( m n + ) dookreślmy jego wrtość m 0 = Jeśli m = n, to kżd funkcj różnowrtościow f : X Y jest wzjemnie jednozncznym odwzorowniem zioru X n ziór Y. m = n Inj(X, Y) = Sur(X, Y) = Bij(X, Y) Przyjmujemy oznczenie: n! = n n = n ( n ) Definicj Kżde wzjemnie jednoznczne odwzorownie f : X X (ijekcję) nzywmy permutcją zioru X. m n MATEMATYKA DYSKRETNA () J.Sikorski Stron /

Licz permutcji zioru n-elementowego jest równ n! Bij(X, X) = n!, dl X = n ROZMIESZCZENIA UPORZĄDKOWANE Rozmieszczmy n oiektów w m pudełkch i dodtkowo rozróżnimy uporządkownie oiektów, które trfiły do tego smego pudełk. Dw rozmieszczeni są identyczne, jeśli w kżdym pudełku jest tk sm licz i kolejność oiektów. Rozwżmy rozmieszczenie uporządkowne n oiektów w m pudełkch. Oznczmy liczę wszystkich możliwych tkich rozmieszczeń przez: m n (potęg przyrstjąc) Licz rozmieszczeń uporządkownych n oiektów w m pudełkch jest równ m n = m ( m + ) ( m + n ) m n 7 0 70 00 00 0 0 70 00 00 00 00 0 0 0 00 0 00 00 0 0 0 0 0 0 0 70 0 00 00 00 0 000 00 0 00 00 0 700 00 770 7 7 0 00 0 0 0 000 00 7 70 70 00 0 770 00 700 0 0 0 0 0 00 00 00 Przykłd rozmieszczeni uporządkownego X = {, }, X =, Y =. 7...... 0..... Prwdziwe są nstępujące tożsmości: m n = m n - ( m n + ) m n = m (m ) n - m n m! = ( m n )! m n = m n ( m + n ) m n = m (m + ) m n = (m + n ) n = = n MATEMATYKA DYSKRETNA () J.Sikorski Stron /