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

Wielkość: px
Rozpocząć pokaz od strony:

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

Transkrypt

1 Marek Libura MATEMATYKA DYSKRETNA 1 MATEMATYKA DYSKRETNA doc. dr hab. inż. Marek Libura Instytut Badań Systemowych PAN Warszawa, Newelska 6, pok. 324 Marek.Libura@ibspan.waw.pl tel.(48)(22) w.193

2 Marek Libura MATEMATYKA DYSKRETNA 2 NOTACJA Dla dowolnego zdania Q Q = 1 jeśli zdanie Q jest prawdziwe, 0 jeśli zdanie Q jest fałszywe.

3 Marek Libura MATEMATYKA DYSKRETNA 3 Funktory zdaniotwórcze: lub (alternatywa, suma logiczna) i (koniunkcja, iloczyn logiczny) nie (negacja) jeśli..., to... (implikacja), wtedy i tylko wtedy, gdy (równoważność).

4 Marek Libura MATEMATYKA DYSKRETNA 4 Rachunek zdań p, q zdania

5 Marek Libura MATEMATYKA DYSKRETNA 5 FUNKCJE podłoga i sufit Dla dowolnej liczby rzeczywistej x: x =max{y Z : y x}, podłoga x x =min{y Z : y x}. sufit x Dla x, y R, y 0,symbol x mod y z dzielenia x przez y: oznacza resztę x mod y = x y x/y.

6 Marek Libura MATEMATYKA DYSKRETNA 6 Zbiory: N = {0, 1, 2,...} zbiór liczb naturalnych Z = {..., 2, 1, 0, 1, 2,...} zbiór liczb całkowitych B = {0, 1} R zbiór liczb rzeczywistych C zbiór liczb zespolonych

7 Marek Libura MATEMATYKA DYSKRETNA 7 Dla dowolnego zbioru A, zapisx A oznacza, że x jest elementem tego zbioru. Dla zbiorów A, B, zapisa B oznacza, że A jest podzbiorem zbioru B. Zapis A B oznacza, że A jest podzbiorem właściwym zbioru B, tzn. A B (A B) (B \ A ).

8 Marek Libura MATEMATYKA DYSKRETNA 8 Zbiory: zbiór pusty {a} zbiór jednoelementowy, zawierający tylko element a {a 1,a 2,...,a n } zbiór, którego elementami są a 1,a 2,...,a n {x X : W (x)} zbiór tych elementów zbioru X, dla których funkcja zdaniowa W (x), x X, staje się zdaniem prawdziwym

9 Marek Libura MATEMATYKA DYSKRETNA 9 X liczność (moc) zbioru skończonego X P(X) rodzina wszystkich podzbiorów zbioru X Operacje na zbiorach: suma (mnogościowa) zbiorów przecięciezbiorów \ różnica zbiorów różnica symetryczna zbiorów iloczyn kartezjański zbiorów

10 Marek Libura MATEMATYKA DYSKRETNA 10 Diagramy Venna

11 Marek Libura MATEMATYKA DYSKRETNA 11 Dla a, b E, gdziee jest dowolnym zbiorem, symbol (a, b) oznacza parę uporządkowaną o poprzedniku a i następniku b. Iloczyn kartezjański zbiorów A i B A B = {(a, b) : a A, b B}.

12 Marek Libura MATEMATYKA DYSKRETNA 12 RELACJE BINARNE Definicja Relacją binarną w iloczynie kartezjańskim zbiorów A i B nazywamy dowolny podzbiór zbioru A B. W przypadku, gdy oba zbiory są identyczne, tzn. A = X oraz B = X, mówimy o relacji binarnej w zbiorze X. Jeśli R A B jest relacją binarną w iloczynie kartezjańskim zbiorów A i B, to dla zaznaczenia faktu, że para (a, b) jest elementem relacji R piszemy: (a, b) R albo arb

13 Marek Libura MATEMATYKA DYSKRETNA 13 Zbiór wszystkich poprzedników par należących do relacji R nazywamy dziedziną relacji R. Zbiór wszystkich następników par należących do relacji R nazywamy przeciwdziedziną relacji R. W iloczynie kartezjańskim zbiorów A i B możemy zdefiniować co najwyżej 2 m n różnych relacji binarnych, gdzie m = A oraz n = B, bowiem dokładnie tyle elementów liczy rodzina wszystkich podzbiorów zbioru A B. R = relacjapusta w A B R = A B relacjapełna w A B

14 Marek Libura MATEMATYKA DYSKRETNA 14 GRAF RELACJI A = {1, 2, 3, 4}, B = {{1, 2}, {1, 4}} R A B relacja przynależności do zbioru w A B R = {(1, {1, 2}), (1, {1, 4}), (2, {1, 2}), (4, {1, 4})} Dziedzina relacji R: {1, 2, 4} Przeciwdziedzina relacji R: {{1, 2}, {1, 4}}

15 Marek Libura MATEMATYKA DYSKRETNA 15 TABLICA RELACJI A = {1, 2, 3, 4}, B = {{1, 2}, {1, 4}} R A B relacja przynależności do zbioru w A B R = {(1, {1, 2}), (1, {1, 4}), (2, {1, 2}), (4, {1, 4})} Dziedzina relacji R: {1, 2, 4} Przeciwdziedzina relacji R: {{1, 2}, {1, 4}}

16 Marek Libura MATEMATYKA DYSKRETNA 16 R X X relacjawzbiorzex OrelacjiR mówimy, że jest: zwrotna jeślixrx dla każdego x X przechodnia jeśli (xry yrz) xrz dla dowolnych x, y, z X symetryczna jeślixry yrx dla dowolnych x, y X antysymetryczna jeśli(xry yrx) x = y dla dowolnych x, y X

17 Marek Libura MATEMATYKA DYSKRETNA 17 Definicja Relacją równoważności w zbiorze X nazywamy relację, która jest zwrotna, przechodnia i symetryczna. Relacja równoważności R wzbiorzex dzieli ten zbiór na podzbiory, nazywane klasami równoważności (albo klasami abstrakcji) relacjir wzbiorzex. Dla x X definiujemy zbiór oznaczany symbolem x/r, gdzie x/r = {y X : xry}. Zbiór taki nazywamy klasą abstrakcji relacji R wyznaczoną przez element x. Zbiór wszystkich klas abstrakcji relacji R w zbiorze X oznaczamy symbolem X/R.

18 Marek Libura MATEMATYKA DYSKRETNA 18 Przykład Rozważmy relację oznaczoną symbolem, zdefiniowaną R wzbiorze + = {x R : x 0} w sposób następujący: x y wtedy i tylko wtedy, gdy x y Z. Relacja jest symetryczna, zwrotna i przechodnia, a zatem jest relacją równoważności. Klasą abstrakcji tej relacji, wyznaczoną przez element x R +, jest zbiór liczb rzeczywistych, które mają tę samą część ułamkową co x.

19 Marek Libura MATEMATYKA DYSKRETNA 19 Definicja Relacją częściowego porządku wzbiorzex nazywamy relację, która jest zwrotna, przechodnia i antysymetryczna. Parę uporządkowaną (X, ), gdziex jest dowolnym zbiorem, a jest relacją częściowego porządku w X, nazywamy zbiorem (częściowo) uporządkowanym.

20 Marek Libura MATEMATYKA DYSKRETNA 20 Przykład Rozważmy relację podzielności, oznaczaną symbolem, którą definiujemy w zbiorze liczb naturalnych w sposób następujący: a b dla a, b N wtedy i tylko wtedy, gdy istnieje k N,dlaktóregob = k a. Relacja podzielności N w jest zwrotna, przechodnia i antysymetryczna, a zatem jest relacją częściowego porządku.

21 Marek Libura MATEMATYKA DYSKRETNA 21 FUNKCJE Definicja Funkcją ze zbioru X wzbióry nazywamy dowolną relację f X Y, mającą tę właściwość, że dla każdego x X istnieje dokładnie jeden element y Y,takiże(x, y) f. Dziedziną relacji f X Y, będącej funkcją, jest więc cały zbiór X. Ponieważ dla danego elementu x, należącego do dziedziny funkcji f, istnieje dokładnie jedna para (x, y) f, zwykle piszemy y = f(x) na oznaczenie faktu, że (x, y) f. Takielementy Y nazywamy wartością funkcji f dla argumentu x. Dla zaznaczenia, że relacja f X Y jest funkcją, stosujemy zapis: f : X Y

22 Marek Libura MATEMATYKA DYSKRETNA 22 Zbiór wszystkich funkcji f : X Y oznaczamy symbolem Fun(X, Y ). Dla dowolnego zbioru A X oraz funkcji f Fun(X, Y ), zbiór f(a) Y,gdzie f(a) = {y Y : istnieje x A, taki że y = f(x)}, nazywamy obrazem zbioru A przez funkcję f. Dla podzbioru B Y,zbiór f 1 (B) = {x X : f(x) B} nazywamy przeciwobrazem zbioru B przez funkcję f. Rodzinę przeciwobrazów wszystkich jednoelementowych podzbiorów zbioru Y, to znaczy rodzinę N(f) ={f 1 ({y}), y Y }, nazywamy jądrem funkcji f.

23 Marek Libura MATEMATYKA DYSKRETNA 23 SURJEKCJE Jeśli dla funkcji f Fun(X, Y ) zachodzi warunek f(x) =Y, to mówimy, że jest to funkcja ze zbioru X na zbiór Y. Funkcja o tej własności nazywana jest też surjekcją. Podzbiór wszystkich surjekcji w zbiorze Fun(X, Y ) oznaczamy symbolem Sur(X, Y ).

24 Marek Libura MATEMATYKA DYSKRETNA 24 INJEKCJE Jeśli f Fun(X, Y ) oraz dla dowolnych elementów a, b X zachodzi warunek a b f(a) f(b), to funkcję f nazywamy funkcją różnowartościową lub injekcją. Podzbiór wszystkich injekcji w zbiorze Fun(X, Y ) oznaczamy symbolem Inj(X, Y ).

25 Marek Libura MATEMATYKA DYSKRETNA 25 BIJEKCJE Funkcja, która jest jednocześnie surjekcją i injekcją, jest nazywana bijekcją. Podzbiór wszystkich bijekcji w zbiorze Fun(X, Y ) oznaczamy symbolem Bij(X, Y ).

26 Marek Libura MATEMATYKA DYSKRETNA 26 CIĄGI Funkcję f Fun(X, Y ), której dziedziną jest k-elementowy zbiór liczb naturalnych X = {0, 1, 2,...,k 1} (albo X = {1, 2,..., k}), nazywamy k-elementowym ciągiem o wyrazach ze zbioru Y i oznaczamy symbolem (a 0,a 1,...,a k 1 ) (albo (a 1,...,a k )). Jeśli dla dowolnych dwóch różnych argumentów, wartości tej funkcji są różne, to wówczas mówimy o ciągu różnowartościowym.

27 Marek Libura MATEMATYKA DYSKRETNA 27 ZAGADNIENIA ZLICZANIA Na ile sposobów można przydzielić n programów do m ffl procesorów? Ile nazw plików można utworzyć przy zadanym alfabecie ffl i zadanych ograniczeniach na długość nazwy? Na ile sposobów można rozmieścić n obiektów w m ffl pudełkach, jeśli istotna jest kolejność obiektów? Na ile sposobów można skonstruować system wieloprocesorowy typu hypercube mając do dyspozycji zadany ffl zestaw procesorów? Ile jest różnych łańcuchów DNA, zawierających dane liczby ffl nukleotydówc,g,t,a?

28 Marek Libura MATEMATYKA DYSKRETNA 28 ZLICZANIE FUNKCJI Dane są zbiory skończone X, Y Ile elementów ma zbiór Fun(X, Y )? Twierdzenie Jeśli X = n oraz Y = m, to liczba wszystkich funkcji f : X Y jest równa m n. Fun(X, Y ) = Y X = m n

29 Marek Libura MATEMATYKA DYSKRETNA 29 X = {x 1,x 2,x 3 }, Y = {y 1,y 2,y 3,y 4 } (x 1,y 1 ), (x 1,y 2 ), (x 1,y 3 ), (x 1,y 4 ), X Y = (x 2,y 1 ), (x 2,y 2 ), (x 2,y 3 ), (x 2,y 4 ), (x 3,y 1 ), (x 3,y 2 ), (x 3,y 3 ), (x 3,y 4 ) Przykład funkcji w X Y : (x 1,y 3 ), f = (x 2,y 1 ), (x 3,y 1 ),

30 Marek Libura MATEMATYKA DYSKRETNA 30 Ile elementów ma zbiór Inj(X, Y )? Twierdzenie Jeśli X = n oraz Y = m, to liczba wszystkich funkcji różnowartościowych f : X Y jest równa m (m 1)... (m n +1). Oznaczenie (n-ta potęga ubywająca liczby m): Dla m, n N, 0 <n m, m n = m (m 1)... (m n +1) Dla m<n, m n =0 Dla m N przyjmujemy, że m 0 =1 Inj(X, Y ) = m n

31 Marek Libura MATEMATYKA DYSKRETNA 31 Ile elementów ma zbiór Bij(X, Y )? Wniosek Jeśli X = Y = n, to liczba wszystkich bijekcji w zbiorze Fun(X, Y ) jest równa n n = n (n 1)... 1 Oznaczenie Dla 0 N <n (n silnia) n! =n n = n (n 1) ! = 0 0 =1 Bij(X, Y ) = n!

32 Marek Libura MATEMATYKA DYSKRETNA 32 Permutacje Definicja Permutacją zbioru X nazywamy dowolną funkcję różnowartościową f Fun(X, X). Wniosek Liczba wszystkich permutacji zbioru n-elementowego jest równa n!. Dla n N, n>0 n! 2πn n e n, gdzie e jest podstawą logarytmów naturalnych, e 2,

33 Marek Libura MATEMATYKA DYSKRETNA 33 Rozmieszczenia uporządkowane Dane: n obiektów, m pudełek Wszystkie rozmieszczenia uporządkowane obiektów ze zbioru {a, b} w trzech pudełkach.

34 Marek Libura MATEMATYKA DYSKRETNA 34 Oznaczenie ( n-ta potęga przyrastająca liczby m ) Dla m, n N,n>0: m n = m (m +1)... (m + n 1). Dla m N przyjmiemy, że m 0 =1. Twierdzenie Liczba wszystkich rozmieszczeń uporządkowanych n obiektów w m pudełkach jest równa m n.

35 Marek Libura MATEMATYKA DYSKRETNA 35 Twierdzenie Dla m, n N, dla których wyrażenia poniższe są dobrze określone, zachodzą następujące tożsamości: 1 n = n! (1) m n =(m + n 1) n (2) m n = m n 1 (m n +1) (3) m n =(m 1) n 1 m (4) m n = m m n n! (5) (m n)! m n =(m 1) n m (6) m n m n m! = (7) (m n)!

36 Marek Libura MATEMATYKA DYSKRETNA 36 PERMUTACJE Permutacją zbioru X nazywamy dowolną funkcję różnowartościową f : X X. Zapis permutacji f w postaci tablicy: w górnym wierszu umieszczamy elementy zbioru X, pod nimi w dolnym wierszu odpowiednie wartości funkcji f dla tych argumentów. Przykład X = {a, b, c, d} f(a) =d, f(b) =a, f(c) =c, f(d) =b. Zapis permutacji f w postaci tablicy jest następujący: f = abcd dacb.

37 Marek Libura MATEMATYKA DYSKRETNA 37 Jeśli X = {1,...,n}, topermutacjezbiorux są ciągami różnowartościowymi o wyrazach ze zbioru X. Permutację f : {1,...,n} {1,...,n} identyfikujemy zwektorem (a 1,...,a n ), gdzie a i = f(i), i =1,...,n. Oznaczenie Zbiór wszystkich permutacji zbioru {1,...,n} oznaczamy symbolem S n.

38 Marek Libura MATEMATYKA DYSKRETNA 38 Składanie permutacji Wynikiem złożenia dwóch permutacji f i g ze zbioru S n jest również permutacja należąca do tego zbioru, którą oznaczamy symbolem fg. Zgodnie z zasadą składania funkcji mamy: fg(i) =f(g(i)) dla i =1,...,n Permutację f nazywamy permutacją zewnętrzną, natomiast permutację g permutacjąwewnętrzną.

39 Marek Libura MATEMATYKA DYSKRETNA 39 Przy składaniu permutacji istotna jest ich kolejność. W ogólnym przypadku permutacja fg jest różna od permutacji gf. Przykład Rozważmy dwie permutacje f oraz g zbioru {1,...,n}, gdzie f = , g = Złożeniem permutacji f i g jest następująca permutacja fg:. fg = Natomiast złożeniem permutacji g i f jest permutacja gf: gf =

40 Marek Libura MATEMATYKA DYSKRETNA 40 Permutacja identycznościowa e S n e(i) =i dla i =1,...,n e = n n Dla każdego f S n mamy zależności ef = fe = f

41 Marek Libura MATEMATYKA DYSKRETNA 41 Permutacja odwrotna Permutacją odwrotną do permutacji f S n nazywamy permutację f 1 S n, spełniającą warunek f 1 f = e. Dla każdej permutacji f S n permutacja odwrotna istnieje i jeśli f = to f 1 =... i j j i...,.

42 Marek Libura MATEMATYKA DYSKRETNA 42 Działanie dwuargumentowe (operacja binarna) S, T zbiory Definicja Działaniem dwuargumentowym wzbiorzes nazywamy dowolną funkcję ze zbioru S S wzbiórt. Zwykle dla oznaczenia działania dwuargumentowego stosujemy specjalny symbol (na przykład, +, itp.). Na oznaczenie faktu, że element c T jest wartością funkcji dla argumentu, będącego parą uporządkowaną (a, b) S S, piszemya b = c. W przypadku złożenia permutacji symbol działania jest zwykle pomijany dla uproszczenia zapisu.

43 Marek Libura MATEMATYKA DYSKRETNA 43 Grupa Definicja Parę uporządkowaną (S, ), gdzies jest zbiorem, a jest działaniem dwuargumentowym w S, nazywamy grupą, jeśli: ffl dla dowolnych a, b, c S, (a b) c = a (b c); ffl dla dowolnych a, b S, a b S; istnieje taki element e S, żedlakażdegoa S, ffl a e = a; dla każdego a S istnieje taki element a 1 S, ffl dla którego a a 1 = e.

44 Marek Libura MATEMATYKA DYSKRETNA 44 Liczność zbioru S nazywamy rzędem grupy (S, ). Element e w definicji grupy nazywamy elementem neutralnym grupy. Element a 1,dlaktóregoa a 1 = e, nazywamy elementem odwrotnym dla elementu a. Jeśli rząd grupy spełnia warunek S <, togrupę taką nazywamy grupą skończoną.

45 Marek Libura MATEMATYKA DYSKRETNA 45 Grupa symetryczna stopnia n Zbiór permutacji S n z działaniem złożenia spełnia wszystkie warunki definicji grupy; grupa ta jest nazywana grupą symetryczną stopnia n. ffl Wynikiem złożenia permutacji f,g S n jest permutacja fg S n. ffl Dla dowolnych permutacji f,g,h S n mamy (fg)h = f(gh). ffl Elementem neutralnym grupy S n jest permutacja e. Elementem odwrotnym dla elementu f S ffl n jest permutacja odwrotna f 1 S n.

46 Marek Libura MATEMATYKA DYSKRETNA 46 Grupa permutacji stopnia n ffl ffl Definicja Grupą permutacji stopnia n nazywamy dowolny podzbiór G S n, spełniający następujące warunki: f G g G fg G dla wszystkich f,g G; f G f 1 G dla każdego f G.

47 Marek Libura MATEMATYKA DYSKRETNA 47 Przykład Rozważmy zbiór S 4 = {π 1,...,π 24 }, składający się ze wszystkich permutacji zbioru {1, 2, 3, 4}. Niech G = {π 1,π 2,π 3,π 4 } będzie podzbiorem zbioru S 4, przy czym π 1 = π 3 = , π 2 =, π 4 = Zbiór G z działaniem złożenia jest grupą permutacji stopnia 4. Rząd tej grupy jest równy 4. Elementem neutralnym jest permutacja π 1.,.

48 Marek Libura MATEMATYKA DYSKRETNA 48 Rozkład permutacji na cykle rozłączne Przykład f = Rysunek grafu permutacji f:

49 Marek Libura MATEMATYKA DYSKRETNA 49 (a i1,...,a ik ) ciąg różnowartościowy o wyrazach wzbiorze{1,...,n} Definicja Permutację π S n nazywamy cyklem wyznaczonym przez ciąg (a i1,...,a ik ), jeśli: π(a ij )=a ij+1 dla j =1,...,k 1; π(a ik )=a i1 ; π(a l )=a l dla l i 1,...,i k. Cykl wyznaczony przez ciąg (a i1,...,a ik ), oznaczamy symbolem [a i1,...,a ik ]. Liczbę k nazywamy długością cyklu.

50 Marek Libura MATEMATYKA DYSKRETNA 50 Rysunek grafu permutacji π S n, będącej cyklem wyznaczonym przez ciąg (a i1,...,a ik ): Cykle wyznaczone przez ciągi (a i 1,...,a i k ) oraz (a i 1,...,a i l ) nazywamy cyklami rozłącznymi, jeśli {a i 1,...,a i k } {a i 1,...,a i l } =

51 Marek Libura MATEMATYKA DYSKRETNA 51 Definicja Rozkładem permutacji f S n na cykle rozłączne nazywamy zbiór cykli parami rozłącznych, których złożeniem jest permutacja f. Rozkład permutacji na cykle rozłączne jest wyznaczony jednoznacznie. Dla permutacji f ze zbioru S n jej rozkład na cykle rozłączne zawiera od jednego do n elementów. Z pierwszą sytuacją mamy do czynienia w przypadku permutacji, która sama jest cyklem o długości n, natomiast druga dotyczy permutacji identycznościowej.

52 Marek Libura MATEMATYKA DYSKRETNA 52 Przykład f = f = =[1, 5, 4], f = =[2, 3] f = f f = f f =[1, 5, 4][2, 3] = [2, 3][1, 5, 4]

53 Marek Libura MATEMATYKA DYSKRETNA 53 Typ permutacji Mówimy, że permutacja f S n jest typu (λ 1,...,λ n ),jeśli jej rozkład na cykle rozłączne zawiera dokładnie λ i cykli o długości i dla i =1,...,n. Typ permutacji będziemy również podawać w postaci następującego równoważnego zapisu: 1 λ 1 2 λ 2...n λ n. Często dla uproszczenia będziemy pomijać w takim zapisie elementy, dla których λ i =0.

54 Marek Libura MATEMATYKA DYSKRETNA 54 Przykład Rozważmy permutację f S 9,gdzie f = Rozkład tej permutacji na cykle rozłączne ma postać: f =[1, 7, 6, 3][2, 5][4][8, 9]. Permutacja f jest więc typu (1, 2, 0, 1, 0, 0, 0, 0, 0), co możemy również zapisać w postaci

55 Marek Libura MATEMATYKA DYSKRETNA 55 Inwersje permutacji Definicja Inwersją permutacji f =(a 1,...,a n ) S n nazywamy parę (a i,a j ),dlaktórej i<j n oraz a i >a j. Liczbę wszystkich inwersji permutacji f oznaczamy symbolem I(f).

56 Marek Libura MATEMATYKA DYSKRETNA 56 Znak permutacji Definicja Znakiem permutacji f S n nazywamy liczbę sgn(f) =( 1) I(f). Permutację f nazywamy: permutacją parzystą, jeśli sgn(f) =1, permutacją nieparzystą, jeśli sgn(f) = 1.

57 Marek Libura MATEMATYKA DYSKRETNA 57 Przykład Rozważmy permutację f S 5,gdzie f = Inwersjami tej permutacji są następujące pary: (5, 3), (5, 2), (5, 1), (5, 4), (3, 2), (3, 1), (2, 1). Zatem I(f) =7 oraz sgn(f) =( 1) 7 = 1. Permutacja f jest więc permutacją nieparzystą.

58 Marek Libura MATEMATYKA DYSKRETNA 58 Transpozycje Definicja Transpozycją nazywamy permutację, która jest cyklem o długości 2. Permutacją odwrotną do dowolnej transpozycji jest ta sama permutacja. Jeśli permutacja t S n jest transpozycją o postaci [i, i +1] dla pewnego i {1,...,n 1}, to taką permutację nazywamy transpozycją sąsiednich elementów.

59 Marek Libura MATEMATYKA DYSKRETNA 59 Twierdzenie Dowolną permutację f S n można przedstawić w postaci złożenia I(f) transpozycji sąsiednich elementów. Jeśli f =(a 1,...,a n ) S n oraz t =[i, i +1] dla pewnego i =1,...,n 1, to ft =(a 1,...,a i 1,a i+1,a i,a i+2,...,a n ) Przykład f =(2, 4, 3, 5, 1) S 5, I(f) =5 f [4, 5][3, 4][2, 3][1, 2][3, 4] = e f = (2, 4, 3, 5, 1) =([4, 5][3, 4][2, 3][1, 2][3, 4]) 1 = [3, 4][1, 2][2, 3][3, 4][4, 5]

60 Marek Libura MATEMATYKA DYSKRETNA 60 M. Rejewski An application ot the theory of permutations in breaking the Enigma cipher. Applicationes Mathematicae, (1980) nr 4.

61 Marek Libura MATEMATYKA DYSKRETNA 61 Dla f S n i dowolnej transpozycji sąsiednich elementów t S n mamy sgn(ft)= sgn(f). sgn(fg)=sgn(f t 1...t I(g) )=sgn(f) ( 1) I(g) = sgn(f) sgn(g). Twierdzenie Dla dowolnych permutacji f,g S n, sgn(fg)=sgn(f) sgn(g). Wniosek Dla dowolnej permutacji f S n, sgn(f 1 )=sgn(f).

62 Marek Libura MATEMATYKA DYSKRETNA 62 Twierdzenie Każda transpozycja jest permutacją nieparzystą. Twierdzenie Znak cyklu o długości k jest równy ( 1) k 1. [a 1,...,a k ]=[a 1,a 2 ][a 2,a 3 ]...[a k 1,a k ]. Twierdzenie Znak dowolnej permutacji f typu 1 λ 1...n λ n wzorem sgn(f) =( 1) n/2 j=1 λ 2j. wyraża się

63 Marek Libura MATEMATYKA DYSKRETNA 63 Przykład Rozważmy permutację f = Rozkładając f na cykle rozłączne otrzymujemy: f =[1763][25][4][89]. Permutacja f jest więc typu Z twierdzenia o znaku mamy: sgn(f) =( 1) 4 j=1 λ 2j =( 1) λ 2+λ 4 +λ 6 +λ 8 =( 1) 2+1 = 1. Permutacja f jest zatem permutacją nieparzystą.

64 Marek Libura MATEMATYKA DYSKRETNA 64 PODZBIORY ZBIORÓW SKOŃCZONYCH X = {x 1,...,x n } P(X) rodzina wszystkich podzbiorów zbioru X Ile jest wszystkich podzbiorów zbioru X? P(X) =2 X

65 Marek Libura MATEMATYKA DYSKRETNA 65 Wektory charakterystyczne podzbiorów Istnieje wzajemnie jednoznaczna odpowiedniość między elementami zbioru P(X) dla X = n aelementamizbioru B n. Każdemu podzbiorowi Y X = {x 1,...,x n } odpowiada jednoznacznie wektor ξ(y )=(b 1,...,b n ) B n nazywany wektorem charakterystycznym zbioru Y,gdzie b i = x i Y dla i =1,...,n. Podobnie, wektorowi b =(b 1,...,b n ) B n możemy jednoznacznie przyporządkować podzbiór Y zbioru X = {x 1,...,x n }, biorąc Y = {x i X : b i =1, i =1,...,n}.

66 Marek Libura MATEMATYKA DYSKRETNA 66 Generowanie wszystkich podzbiorów zbioru X Wektory charakterystyczne ξ(y ) B n dla Y X, można traktować jako zapisy w dwójkowym systemie pozycyjnym wszystkich 2 n liczb naturalnych z przedziału domkniętego [0, 2 n 1]. Metoda wyznaczenia elementów rodziny P(X): Wypisz kolejno podzbiory zbioru X, którychwektory charakterystyczne są reprezentacjami dwójkowymi kolejnych liczb naturalnych z przedziału [0, 2 X 1].

67 Marek Libura MATEMATYKA DYSKRETNA 67 Przykład Dany jest zbiór X = {a, b, c} W kolejnych wierszach tabeli wypisane są: podzbiór Y zbioru X, jego wektor charakterystyczny ξ(y ) i liczba naturalna η(y ), dlaktórejten wektor jest reprezentacją w systemie dwójkowym. Y ξ(y ) η(y ) (0, 0, 0) 0 {c} (0, 0, 1) 1 {b} (0, 1, 0) 2 {b, c} (0, 1, 1) 3 {a} (1, 0, 0) 4 {a, c} (1, 0, 1) 5 {a, b} (1, 1, 0) 6 {a, b, c} (1, 1, 1) 7

68 Marek Libura MATEMATYKA DYSKRETNA 68 (, {c}, {b}, {b, c}, {a}, {a, c}, {a, b}, {a, b, c} )

69 Marek Libura MATEMATYKA DYSKRETNA 69 (, {a}, {a, b}, {b}, {b, c}, {a, b, c}, {a, c}, {c} )

70 Marek Libura MATEMATYKA DYSKRETNA 70 Kod Graya rzędu n: Ciąg wszystkich wektorów należących do B zbioru n, uporządkowanych w taki sposób, aby sąsiednie wektory ciągu oraz wektory pierwszy i ostatni różniły się dokładnie na jednej pozycji. Taki ciąg wektorów ze B zbioru n istnieje dla dowolnego n 1 inosinazwękodu Graya rzędu n. Na przykład w przypadku n =3jeden z możliwych kodów Graya rzędu 3 ma postać następującego ciągu: ((0, 0, 0), (1, 0, 0), (1, 1, 0), (0, 1, 0), (0, 1, 1), (1, 1, 1), (1, 0, 1), (0, 0, 1) )

71 Marek Libura MATEMATYKA DYSKRETNA 71 Zwierciadlany kod Graya Jeśli mamy kod Graya rzędu k dla pewnego k N, k 1, zapisany w postaci ciągu: ((C 1 ), (C 2 ),...,(C m 1 ), (C m )), gdzie m =2 k, (C i ) B k, to następujący ciąg wektorów należących B do k+1 jest kodem Graya rzędu k +1: ((C 1, 0), (C 2, 0),...,(C m 1, 0), (C m, 0), (C m, 1), (C m 1, 1),...,(C 2, 1), (C 1, 1) ). Zapisy (C i, 0) oraz (C i, 1) oznaczają dla k-elementowego wektora (C i ), gdzie i =1,...,m, odpowiednio (k +1)-elementowe wektory, otrzymywane przez uzupełnienie wektora (C i ) przezzeroalbojedynkęnaostatniej pozycji.

72 Marek Libura MATEMATYKA DYSKRETNA 72 Przykład Kody Graya rzędu n dla n =1, 2, 3, 4 (dla uproszczenia zapisu pominięte są nawiasy i przecinki w oznaczeniach wektorów): n =1 0 1 n = n = n =

73 Marek Libura MATEMATYKA DYSKRETNA 73 Podzbiory k-elementowe zbiorów skończonych X = {x 1,...,x n } zbiór, k liczba naturalna Ile jest wszystkich różnych podzbiorów zbioru X, mających dokładnie k elementów? Liczbę k-elementowych podzbiorów zbioru n-elementowego będziemy oznaczać symbolem n k i nazywać współczynnikiem dwumianowym. Symbol n w tym zapisie nazywamy indeksem górnym, natomiast symbol k indeksem dolnym.

74 Marek Libura MATEMATYKA DYSKRETNA 74 Wzór dwumianowy Newtona Dla x, y R oraz n N zachodzi następująca równość: (x + y) n = n i=0 n x i y n i. i

75 Marek Libura MATEMATYKA DYSKRETNA 75 Twierdzenie n k = nk k! = n(n 1)...(n k +1) k = n! k! (n k)! Dowód Dowolna injekcja f Fun(A, X), gdzie A = k oraz X = n, wyznacza dokładnie jeden k-elementowy podzbiór f(a) n-elementowego zbioru X. Liczba wszystkich takich funkcji jest równa n k. Ale jednocześnie dla f Fun(A, X) oraz dowolnej permutacji π zbioru A również funkcja fπ Fun(A, X) wyznacza ten sam podzbiór. Oznacza to, że liczba wszystkich różnych podzbiorów k-elementowych zbioru n-elementowego jest dokładnie k! razy mniejsza niż liczba injekcji w zbiorze Fun(A, X), to znaczy jest równa nk k!. Pozostałe zależności otrzymuje się w wyniku prostych przekształceń algebraicznych. Λ

76 Marek Libura MATEMATYKA DYSKRETNA 76 Współczynniki dwumianowe tożsamości n k = n 1 k + n 1 k 1 n k = n n k n i=0 n i =2 n n i=0 i n i = n 2 n 1 m + n k = k s=0 m s n k s

77 Marek Libura MATEMATYKA DYSKRETNA 77 Trójkąt Pascala

78 Marek Libura MATEMATYKA DYSKRETNA 78 Współczynniki wielomianowe Ile jest wszystkich funkcji f Fun(X, Y ), gdzie X = n, Y = {1,...,m}, dla których f 1 ({i}) = k i, i =1,...,m? Liczbę takich funkcji oznaczamy symbolem n k 1 k 2...k m i nazywamy współczynnikiem wielomianowym. Symbol n w tym zapisie nazywamy indeksem górnym, natomiast symbole k 1,...,k m indeksami dolnymi.

79 Marek Libura MATEMATYKA DYSKRETNA 79 Twierdzenie Dla n N oraz liczb naturalnych k 1,k 2,...,k m, spełniających warunek k 1 + k k m = n, zachodzi równość n k 1 k 2...k = n! m k 1! k 2!... k m!. Dla m =2 oraz k 1 = k i k 2 = n k, gdzie k, n N, k n, mamy: k n n k = n! k! (n k)! = n k = n n k k.

80 Marek Libura MATEMATYKA DYSKRETNA 80 Przykład Sekwencjonowanie RNA Interesuje nas struktura fragmentu łańcucha RNA, o którym wiemy, że składa się z dziesięciu nukleotydów. Wiemy ponadto, że w łańcuchu występuje czterokrotnie adenina (A), trzykrotnie guanina (G), dwukrotnie cytozyna (C) i jeden raz uracyl (U). Dodatkowo wiemy, że na początku łańcucha znajduje się guanina. Chcemy policzyć, ile jest wszystkich różnych łańcuchów RNA zgodnych z taką analizą. Mamy tutaj m = {A, G, C, U} =4, k 1 =4,k 2 =2,k 3 =2,k 4 =1, n =9. Liczba wszystkich możliwych łańcuchów RNA, odpowiadających powyższym warunkom jest równa: n k 1 k 2 k 3 k 4 = = 9! 4! 2! 2! 1! = 3780.

81 Marek Libura MATEMATYKA DYSKRETNA 81 Wzór wielomianowy N R Twierdzenie Dla m, n oraz x 1,...,x m zachodzi następująca równość: (x x m ) n = k 1,...,k m N k k m = n n x k 1 1 k 1...k... xk m m m.

82 Marek Libura MATEMATYKA DYSKRETNA 82 Tożsamości dla współczynników wielomianowych n = m n k 1...k m k 1,...,k m N k k m =n n k 1 k 2 k 3... k m = n 1 k 1 1 k 2 k 3... k m + n k 1 k 2 1 k 3... k m n 1 k 1 k 2 k 3... k m 1

83 Marek Libura MATEMATYKA DYSKRETNA 83 Dla zbioru z powtórzeniami Q =(X, (k 1,...,k n )) stosujemy następujące oznaczenie: Q = k 1 x 1,...,k n x n. Liczność zbioru z powtórzeniami Q = k 1 x 1,...,k n x n oznaczamy symbolem Q i definiujemy jako sumę krotności wszystkich jego elementów, tzn. Q = k k n.

84 Marek Libura MATEMATYKA DYSKRETNA 84 Podzbiory zbioru z powtórzeniami Zbiór z powtórzeniami S = m 1 x 1,...,m n x n jest podzbiorem zbioru z powtórzeniami Q = k 1 x 1,...,k n x n wtedy i tylko wtedy, gdy 0 m i k i dla każdego i =1,...,n. Dla zaznaczenia faktu, że S jest podzbiorem zbioru zpowtórzeniamiq, używamy zapisu: S Q.

85 Marek Libura MATEMATYKA DYSKRETNA 85 Rodzinę wszystkich podzbiorów zbioru z powtórzeniami Q oznaczamy symbolem P(Q). Liczba wszystkich podzbiorów zbioru z powtórzeniami Q = k 1 x 1,...,k n x n jest równa P(Q) =(1+k 1 ) (1 + k 2 )... (1 + k n ).

86 Marek Libura MATEMATYKA DYSKRETNA 86 Podzbiory k-elementowe zbioru z powtórzeniami Twierdzenie Liczba wszystkich k-elementowych podzbiorów zbioru zpowtórzeniami k 1 x 1,...,k n x n, gdzie k i k dla i =1,...,n, jest równa n k k! = n + k 1 k.

87 Marek Libura MATEMATYKA DYSKRETNA 87 Przykład Rozważmy liniowe równanie diofantyczne: x 1 + x x n = k. ( ) Chcemy wyznaczyć liczbę wszystkich nieujemnych rozwiązań równania (*), czyli liczbę wektorów (x 1,...,x n N ) n, spełniających powyższą równość. Każdy taki wektor (x 1,...,x n N ) n jednoznacznie odpowiada k-elementowemu podzbiorowi x 1 z 1,...,x n z n zbioru zpowtórzeniamiq = k z 1,...,k z n. Liczba wszystkich nieujemnych całkowitoliczbowych rozwiązań równania (*) jest więc równa liczbie wszystkich k-elementowych podzbiorów zbioru Q, tzn. ( ) n+k 1 k.

88 Marek Libura MATEMATYKA DYSKRETNA 88 PODZIAŁY ZBIORU NA BLOKI X k zbiór skończony liczba naturalna Definicja Podziałem zbioru skończonego X na k bloków nazywamy rodzinę zbiorów A = {A 1,...,A k }, spełniającą następujące warunki: (i) A i dla 1 i k; (ii) A 1... A k = X; (iii) A i A j = dla 1 i<j k. Podzbiory A 1,...,A k, nazywamy blokami podziału A.

89 Marek Libura MATEMATYKA DYSKRETNA 89 Przykład X = {a, b, c, d}, k =3 Istnieje dokładnie sześć podziałów zbioru X na trzy bloki: A 1 = {{a},{b},{c, d} }, A 2 = {{a},{b, c}, {d} }, A 3 = {{a, b}, {c}, {d} }, A 4 = {{a, c}, {b}, {d} }, A 5 = {{a},{b, d}, {c} }, A 6 = {{a, d}, {b}, {c} }.

90 Marek Libura MATEMATYKA DYSKRETNA 90 Oznaczenia: Π k (X) zbiór wszystkich podziałów zbioru X na k bloków; Π(X) zbiór wszystkich podziałów zbioru X. Π(X) =Π 1 (X)... Π n (X). n = Π k k (X), gdzie X = n. Wielkości { n k } noszą nazwę liczb Stirlinga drugiego rodzaju albo liczb podzbiorowych Stirlinga.

91 Marek Libura MATEMATYKA DYSKRETNA 91 Liczby Stirlinga drugiego rodzaju Przyjmiemy, że istnieje dokładnie jeden podział zbioru pustego na 0 bloków, tzn. 0 =1. n k 0 =0 dlak>n n =1 dlan 0 n n =0 0 n =1 1 dlan>0 dlan>0

92 Marek Libura MATEMATYKA DYSKRETNA 92 Wyznaczanie liczby podziałów zbioru na bloki Twierdzenie Dla n N oraz k N,gdzie0 <k<n, zachodzi następująca równość: n k = n 1 + k k 1 n 1 k.

93 Marek Libura MATEMATYKA DYSKRETNA 93 Liczby Bella Liczności zbioru Π(X), gdy X = n, n N nazywamy n-tą liczbą Bella i oznaczamy symbolem B n. Zachodzi następująca równość: B n = n k=0 n k

94 Marek Libura MATEMATYKA DYSKRETNA 94 Tabela liczb Stirlinga drugiego rodzaju { n k } i liczb Bella Bn dla k, n =0, 1,...,10.

95 Marek Libura MATEMATYKA DYSKRETNA 95 Wyznaczanie wszystkich podziałów zbioru na bloki Załóżmy, że dla pewnego k, gdzie1 k<n, mamy rodzinę zbiorów A = {A 1,...,A l }, będącą podziałem zbioru {1,...,k 1} na bloki. Wówczas następujące rodziny zbiorów są podziałami zbioru {1,...,k}: {A 1 {k}, A 2,...,A l }, {A 1,A 2 {k},...,a l },. {A 1,A 2,...,A l {k}}, {A 1,A 2,...,A l, {k} }. Zaczynając od rodziny, która zawiera tylko jednoelementowy zbiór {1}, i powtarzając opisany wyżej krok procedury rekurencyjnej n 1 razy, otrzymamy drzewo, którego liście odpowiadają wszystkim możliwym podziałom zbioru {1,...,n}.

96 Marek Libura MATEMATYKA DYSKRETNA 96 Przykład Drzewo podziałów zbioru {1, 2, 3}.

97 Marek Libura MATEMATYKA DYSKRETNA 97 Tożsamości dla liczb Stirlinga i liczb Bella Dla k, n, x N zachodzą następujące równości: x n = n k=0 n x n = k n k=0 ( 1)n k n x n. k Dla n N zachodzi zależność: B n+1 = n i=0 n i B i.

98 Marek Libura MATEMATYKA DYSKRETNA 98 Podziały zbiorów a relacje Z dowolnynm podziałem A zbioru X na bloki można związać pewną relację, którą oznaczymy symbolem R A i zdefiniujemy następująco: R A = A A. A A Powyższy zapis oznacza, że dwa elementy x oraz y zbioru X są wrelacjir A wtedy i tylko wtedy, gdy należą do tego samego bloku podziału. Jeśli na przykład X = {a, b, c, d} i A = {{a}, {b, d}, {c}}, to: R A = {(a, a), (b, b), (b, d), (d, b), (d, d), (c, c)}.

99 Marek Libura MATEMATYKA DYSKRETNA 99 Podziały zbiorów a relacje ZdowolnynpodziałemA zbioru X na bloki można związać pewną relację, którą oznaczymy symbolem R A i zdefiniujemy następująco: R A = A A. A A Dla dowolnego podziału A zbioru X relacja R A jest symetryczna, zwrotna i przechodnia, a zatem jest relacją równoważności wzbiorzex.

100 Marek Libura MATEMATYKA DYSKRETNA 100 Dowolnej relacji równoważności R w zbiorze X można przyporządkować jednoznacznie podział A R = X/R zbioru X na bloki, będący zbiorem wszystkich klas abstrakcji relacji równoważności R w X. Przykład Jeśli X = {x : x 10} i jako relację równoważności weźmiemy relację R zdefiniowaną następująco: xry x mod3=y mod 3, to otrzymamy podział A R zbioru X na bloki, gdzie: A R = X/R = {{0, 3, 6, 9}, {1, 4, 7, 10}, {2, 5, 8}}.

101 Marek Libura MATEMATYKA DYSKRETNA 101 Wniosek Liczba wszystkich różnych relacji równoważności wzbiorzen-elementowym jest równa n-tej liczbie Bella B n. Zatem na przykład liczba wszystkich możliwych relacji równoważności, które można zdefiniować w zbiorze pięcioelementowym, jest równa 52.

102 Marek Libura MATEMATYKA DYSKRETNA 102 Podziały zbioru na bloki i relacja rozdrobnienia A, A podziałyzbiorux na bloki. Podział A zbioru X jest rozdrobnieniem podziału A wtedy i tylko wtedy, gdy każdy blok podziału A jest sumą pewnej liczby bloków podziału A. Fakt ten zapisujemy następująco: A A i mówimy, że podział A jest w relacji rozdrobnienia zpodziałema.

103 Marek Libura MATEMATYKA DYSKRETNA 103 Przykład Podział zbioru X = {x N : x 10} na bloki jest rozdrobnieniem podziału A = {{0, 3}, {6, 9}, {1, 4, 7}, {10}, {2, 5, 8}} A R = X/R = {{0, 3, 6, 9}, {1, 4, 7, 10}, {2, 5, 8}}. Relacja rozdrobnienia jest zwrotna, przechodnia i antysymetryczna, a zatem jest relacją częściowego porządku w zbiorze podziałów danego zbioru na bloki.

104 Marek Libura MATEMATYKA DYSKRETNA 104 Podziały zbiorów a zliczanie surjekcji Przykład Mamy do dyspozycji m ponumerowanych procesorów i n m programów, z których każdy może być wykonany na dowolnym z tych procesorów. Chcemy przydzielić wszystkie programy do procesorów w taki sposób, by każdy procesor otrzymał co najmniej jeden program. (Zakładamy przy tym, że każdy program jest wykonywany w całości przez jeden procesor.) Należy policzyć, na ile sposobów można dokonać takiego przydziału. Każdy przydział programów do procesorów może być opisany przez pewną funkcję z n-elementowego zbioru programów X w m-elementowy zbiór procesorów Y. Z warunku, że każdy procesor ma dostać do wykonania co najmniej jeden program wynika, że funkcja ta musi być surjekcją.

105 Marek Libura MATEMATYKA DYSKRETNA 105 Zliczanie surjekcji Niech X, Y będą dowolnymi zbiorami i niech X = n oraz Y = m. Chcemy policzyć: Ile jest wszystkich surjekcji w zbiorze Fun(X, Y )? Liczbę wszystkich surjekcji w zbiorze Fun(X, Y ), gdzie X = n oraz Y = m, będziemy oznaczać symbolem s n,m, tzn. s n,m = Sur(X, Y ) dla X = n, Y = m.

106 Marek Libura MATEMATYKA DYSKRETNA 106 Twierdzenie Liczba s n,m surjekcji w zbiorze Fun(X, Y ), gdzie X = n, Y = m, spełnia zależność s n,m = m! Dowód Jądro każdej surjekcji f ze zbioru Fun(X, Y ) wyznacza podział N(f) zbioru X na m bloków: n m. N(f) ={f 1 ({y}) : y Y }. Dla dowolnej permutacji π zbioru Y jądra funkcji f i πf są identyczne, a zatem dokładnie m! surjekcji ze zbioru Fun(X, Y ) ma to samo jądro A Π m (X). Liczba wszystkich surjekcji w zbiorze Fun(X, Y ) jest więc m! razy większa niż liczba wszystkich podziałów n-elementowego zbioru X na m bloków. Λ

107 Marek Libura MATEMATYKA DYSKRETNA 107 PODZIAŁY LICZBY n, k liczby naturalne Definicja Podziałem liczby n na k składników nazywamy ciąg liczb naturalnych (a 1,...,a k ), spełniający warunki a a k = n oraz a 1... a k > 0. Liczbę wszystkich podziałów liczby n N składników oznaczamy symbolem na k N P (n, k), a liczbę wszystkich podziałów liczby n symbolem P (n).

108 Marek Libura MATEMATYKA DYSKRETNA 108 Podziały liczby na składniki Zachodzi zależność: P (n) = n k=1 P (n, k) Przyjmiemy, że P (0, 0) = P (0) = 1. Dla n, t N, liczność zbioru wszystkich podziałów (a 1,...,a k ) liczby n, dla których spełniony jest warunek a i t, i =1,...,k, będziemy oznaczać symbolem P t (n).

109 Marek Libura MATEMATYKA DYSKRETNA 109 Twierdzenie Dla n, k N,gdzien k>0, zachodzi zależność P (n, k) =P (n 1,k 1) + P (n k, k) Twierdzenie powyższe pozwala na rekurencyjne obliczanie wartości P (n, k) dla dowolnych parametrów n k>0, korzystając z faktu, że P (0,k)=P (k, 0) = k =0.

110 Marek Libura MATEMATYKA DYSKRETNA 110 Liczność podziałów liczby naturalnej n na składniki dla n, k =0,...,12.

111 Marek Libura MATEMATYKA DYSKRETNA 111 Diagramy Ferrersa i podziały sprzężone

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

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA ZBIORY Z POWTÓRZENIAMI W zbiorze z powtórzeniami ten sam element może występować kilkakrotnie. Liczbę wystąpień nazywamy krotnością tego elementu w zbiorze X = { x,..., x n } - zbiór k,..., k n - krotności

Bardziej szczegółowo

Relacje. opracował Maciej Grzesiak. 17 października 2011

Relacje. opracował Maciej Grzesiak. 17 października 2011 Relacje opracował Maciej Grzesiak 17 października 2011 1 Podstawowe definicje Niech dany będzie zbiór X. X n oznacza n-tą potęgę kartezjańską zbioru X, tzn zbiór X X X = {(x 1, x 2,..., x n ) : x k X dla

Bardziej szczegółowo

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

Matematyka dyskretna. Andrzej Łachwa, UJ, /10 Matematyka dyskretna Andrzej Łachwa, UJ, 2018 andrzej.lachwa@uj.edu.pl 10/10 Podziały i liczby Stirlinga Liczba Stirlinga dla cykli (często nazywana liczbą Stirlinga pierwszego rodzaju) to liczba permutacji

Bardziej szczegółowo

1 Logika (3h) 1.1 Funkcje logiczne. 1.2 Kwantyfikatory. 1. Udowodnij prawa logiczne: 5. (p q) (p q) 6. ((p q) r) (p (q r)) 3.

1 Logika (3h) 1.1 Funkcje logiczne. 1.2 Kwantyfikatory. 1. Udowodnij prawa logiczne: 5. (p q) (p q) 6. ((p q) r) (p (q r)) 3. Logika (3h). Udowodnij prawa logiczne:. (p q) ( p q). (p q) ( p q) 3. (p q) ( q p) 4. (p q) ( p q) 5. (p q) (p q) 6. ((p q) r) (p (q r)) 7. (p q) r (p r) (q r) 8. (p q) (q r) (p r). Sprawdź, czy wyrażenia:.

Bardziej szczegółowo

Pytania i polecenia podstawowe

Pytania i polecenia podstawowe Pytania i polecenia podstawowe Liczby zespolone a) 2 i 1 + 2i 1 + 2i 3 + 4i, c) 1 i 2 + i a) 4 + 3i (2 i) 2, c) 1 3i a) i 111 (1 + i) 100, c) ( 3 i) 100 Czy dla dowolnych liczb z 1, z 2 C zachodzi równość:

Bardziej szczegółowo

Wykłady z Matematyki Dyskretnej

Wykłady z Matematyki Dyskretnej Wykłady z Matematyki Dyskretnej dla kierunku Informatyka dr Instytut Informatyki Politechnika Krakowska Wykłady na bazie materiałów: dra hab. Andrzeja Karafiata dr hab. Joanny Kołodziej, prof. PK Informacje

Bardziej szczegółowo

Matematyka dyskretna. Andrzej Łachwa, UJ, A/14

Matematyka dyskretna. Andrzej Łachwa, UJ, A/14 Matematyka dyskretna Andrzej Łachwa, UJ, 2016 andrzej.lachwa@uj.edu.pl 9A/14 Permutacje Permutacja zbioru skończonego X to bijekcja z X w X. Zbiór permutacji zbioru oznaczamy przez, a permutacje małymi

Bardziej szczegółowo

LOGIKA I TEORIA ZBIORÓW

LOGIKA I TEORIA ZBIORÓW LOGIKA I TEORIA ZBIORÓW Logika Logika jest nauką zajmującą się zdaniami Z punktu widzenia logiki istotne jest, czy dane zdanie jest prawdziwe, czy nie Nie jest natomiast istotne o czym to zdanie mówi Definicja

Bardziej szczegółowo

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

Matematyka dyskretna. Andrzej Łachwa, UJ, /10 Matematyka dyskretna Andrzej Łachwa, UJ, 2018 andrzej.lachwa@uj.edu.pl 2/10 funkcje Funkcja o dziedzinie X i przeciwdziedzinie Y to dowolna relacja f X Y taka, że x X!y Y: (x,y) f. Dziedzinę i przeciwdziedzinę

Bardziej szczegółowo

Elementy logiki matematycznej

Elementy logiki matematycznej Elementy logiki matematycznej Przedmiotem logiki matematycznej jest badanie tzw. wyrażeń logicznych oraz metod rozumowania i sposobów dowodzenia używanych w matematyce, a także w innych dziedzinach, w

Bardziej szczegółowo

Matematyka dyskretna. Andrzej Łachwa, UJ, /14

Matematyka dyskretna. Andrzej Łachwa, UJ, /14 Matematyka dyskretna Andrzej Łachwa, UJ, 2019 andrzej.lachwa@uj.edu.pl 3/14 Funkcje Funkcja o dziedzinie X i przeciwdziedzinie Y to dowolna relacja f X Y taka, że x X!y Y: (x,y) f. Dziedzinę i przeciwdziedzinę

Bardziej szczegółowo

Matematyka dyskretna. Andrzej Łachwa, UJ, A/15

Matematyka dyskretna. Andrzej Łachwa, UJ, A/15 Matematyka dyskretna Andrzej Łachwa, UJ, 2015 andrzej.lachwa@uj.edu.pl 10A/15 Permutacje Permutacja zbioru skończonego X to bijekcja z X w X. Zbiór permutacji zbioru oznaczamy przez, a permutacje małymi

Bardziej szczegółowo

Zbiory, relacje i funkcje

Zbiory, relacje i funkcje Zbiory, relacje i funkcje Zbiory będziemy zazwyczaj oznaczać dużymi literami A, B, C, X, Y, Z, natomiast elementy zbiorów zazwyczaj małymi. Podstawą zależność między elementem zbioru a zbiorem, czyli relację

Bardziej szczegółowo

1 Zbiory. 1.1 Kiedy {a} = {b, c}? (tzn. podać warunki na a, b i c) 1.2 Udowodnić, że A {A} A =.

1 Zbiory. 1.1 Kiedy {a} = {b, c}? (tzn. podać warunki na a, b i c) 1.2 Udowodnić, że A {A} A =. 1 Zbiory 1.1 Kiedy {a} = {b, c}? (tzn. podać warunki na a, b i c) 1.2 Udowodnić, że A {A} A =. 1.3 Pokazać, że jeśli A, B oraz (A B) (B A) = C C, to A = B = C. 1.4 Niech {X t } będzie rodziną niepustych

Bardziej szczegółowo

Macierze - obliczanie wyznacznika macierzy z użyciem permutacji

Macierze - obliczanie wyznacznika macierzy z użyciem permutacji Macierze - obliczanie wyznacznika macierzy z użyciem permutacji I LO im. F. Ceynowy w Świeciu Radosław Rudnicki joix@mat.uni.torun.pl 17.03.2009 r. Typeset by FoilTEX Streszczenie Celem wykładu jest wprowadzenie

Bardziej szczegółowo

Grupy. Permutacje 1. (G2) istnieje element jednostkowy (lub neutralny), tzn. taki element e G, że dla dowolnego a G zachodzi.

Grupy. Permutacje 1. (G2) istnieje element jednostkowy (lub neutralny), tzn. taki element e G, że dla dowolnego a G zachodzi. Grupy. Permutacje 1 1 Definicja grupy Niech G będzie zbiorem. Działaniem na zbiorze G nazywamy odwzorowanie (oznaczane, jak mnożenie, przez ) przyporządkowujące każdej parze uporządkowanej (a, b) G G element

Bardziej szczegółowo

5. Algebra działania, grupy, grupy permutacji, pierścienie, ciała, pierścień wielomianów.

5. Algebra działania, grupy, grupy permutacji, pierścienie, ciała, pierścień wielomianów. 5. Algebra działania, grupy, grupy permutacji, pierścienie, ciała, pierścień wielomianów. Algebra jest jednym z najstarszych działów matematyki dotyczącym początkowo tworzenia metod rozwiązywania równań

Bardziej szczegółowo

Matematyka dyskretna. 1. Relacje

Matematyka dyskretna. 1. Relacje Matematyka dyskretna 1. Relacje Definicja 1.1 Relacją dwuargumentową nazywamy podzbiór produktu kartezjańskiego X Y, którego elementami są pary uporządkowane (x, y), takie, że x X i y Y. Uwaga 1.1 Jeśli

Bardziej szczegółowo

Lista zadań - Relacje

Lista zadań - Relacje MATEMATYKA DYSKRETNA Lista zadań - Relacje Zadania obliczeniowe Zad. 1. Która z poniższych relacji jest funkcją? a) Relacja składająca się ze wszystkich par uporządkowanych, których poprzednikami są studenci,

Bardziej szczegółowo

Matematyka dyskretna dla informatyków

Matematyka dyskretna dla informatyków Matematyka dyskretna dla informatyków Część I: Elementy kombinatoryki Jerzy Jaworski Zbigniew Palka Jerzy Szymański Uniwersytet im. Adama Mickiewicza Poznań 2007 4 Zależności rekurencyjne Wiele zależności

Bardziej szczegółowo

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

Zbiory. Specjalnym zbiorem jest zbiór pusty nie zawierajacy żadnych elementów. Oznaczamy go symbolem. Zbiory Pojęcie zbioru jest w matematyce pojęciem pierwotnym, którego nie definiujemy. Gdy a jest elementem należacym do zbioru A to piszemy a A. Stosujemy również oznaczenie a / A jeżeli (a A). Będziemy

Bardziej szczegółowo

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

Matematyka dyskretna. Andrzej Łachwa, UJ, /10 Matematyka dyskretna Andrzej Łachwa, UJ, 2018 andrzej.lachwa@uj.edu.pl 7/10 Generowanie podzbiorów Weźmy n-elementowy zbiór X={x 1, x 2 x n }. Każdemu podzbiorowi YX przyporządkujemy ciąg binarny b 0 b

Bardziej szczegółowo

Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi.

Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi. Logika Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi. Często słowu "logika" nadaje się szersze znaczenie niż temu o czym będzie poniżej: np. mówi się "logiczne myślenie"

Bardziej szczegółowo

1 Logika. 1. Udowodnij prawa logiczne: 3. (p q) (p q) 2. (p q) ( q p) 2. Sprawdź, czy wyrażenie ((p q) r) (p (q r)) jest tautologią.

1 Logika. 1. Udowodnij prawa logiczne: 3. (p q) (p q) 2. (p q) ( q p) 2. Sprawdź, czy wyrażenie ((p q) r) (p (q r)) jest tautologią. Logika. Udowodnij prawa logiczne:. (p q) ( p q). (p q) ( q p) 3. (p q) (p q). Sprawdź czy wyrażenie ((p q) r) (p (q r)) jest tautologią. 3. Zad 3. Sprawdź czy zdanie: Jeżeli liczba a dzieli się przez i

Bardziej szczegółowo

- Dla danego zbioru S zbiór wszystkich jego podzbiorów oznaczany symbolem 2 S.

- Dla danego zbioru S zbiór wszystkich jego podzbiorów oznaczany symbolem 2 S. 1 Zbiór potęgowy - Dla danego zbioru S zbiór wszystkich jego podzbiorów oznaczany symbolem 2 S. - Dowolny podzbiór R zbioru 2 S nazywa się rodziną zbiorów względem S. - Jeśli S jest n-elementowym zbiorem,

Bardziej szczegółowo

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

Podstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik Podstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik 9 Relacje 9.1 Podstawowe pojęcia 9.1 Definicja (Relacja). Relacją (binarną) nazywamy dowolny podzbiór produktu

Bardziej szczegółowo

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Matematyka dyskretna. Andrzej Łachwa, UJ, /15 Matematyka dyskretna Andrzej Łachwa, UJ, 2014 andrzej.lachwa@uj.edu.pl 2/15 Funkcje Funkcja o dziedzinie X i przeciwdziedzinie Y to dowolna relacja f XG Y taka, że: Dziedzinę i przeciwdziedzinę funkcji

Bardziej szczegółowo

Matematyka dyskretna. Andrzej Łachwa, UJ, 2019 Zadania 1-100

Matematyka dyskretna. Andrzej Łachwa, UJ, 2019 Zadania 1-100 Matematyka dyskretna Andrzej Łachwa, UJ, 2019 andrzej.lachwa@uj.edu.pl Zadania 1-100 Udowodnij, że A (B C) = (A B) (A C) za pomocą diagramów Venna. Udowodnij formalnie, że (A B i A C) A B C oraz że (A

Bardziej szczegółowo

RELACJE I ODWZOROWANIA

RELACJE I ODWZOROWANIA RELACJE I ODWZOROWANIA Definicja. Dwuargumentową relacją określoną w iloczynie kartezjańskim X Y, X Y nazywamy uporządkowaną trójkę R = ( X, grr, Y ), gdzie grr X Y. Zbiór X nazywamy naddziedziną relacji.

Bardziej szczegółowo

KOMBINATORYKA OBIEKTY KOMBINATORYCZNE MATEMATYKA DYSKRETNA (2014/2015)

KOMBINATORYKA OBIEKTY KOMBINATORYCZNE MATEMATYKA DYSKRETNA (2014/2015) MATEMATYKA DYSKRETNA (2014/2015) dr hab. inż. Małgorzata Sterna malgorzata.sterna@cs.put.poznan.pl www.cs.put.poznan.pl/msterna/ KOMBINATORYKA OBIEKTY KOMBINATORYCZNE TEORIA ZLICZANIA Teoria zliczania

Bardziej szczegółowo

W pewnym mieście jeden z jej mieszkańców goli wszystkich tych i tylko tych jej mieszkańców, którzy nie golą się

W pewnym mieście jeden z jej mieszkańców goli wszystkich tych i tylko tych jej mieszkańców, którzy nie golą się 1 Logika Zdanie w sensie logicznym, to zdanie oznajmujące, o którym da się jednoznacznie powiedzieć, czy jest fałszywe, czy prawdziwe. Zmienna zdaniowa- to symbol, którym zastępujemy dowolne zdanie. Zdania

Bardziej szczegółowo

2. FUNKCJE. jeden i tylko jeden element y ze zbioru, to takie przyporządkowanie nazwiemy FUNKCJĄ, lub

2. FUNKCJE. jeden i tylko jeden element y ze zbioru, to takie przyporządkowanie nazwiemy FUNKCJĄ, lub WYKŁAD 2 1 2. FUNKCJE. 2.1.PODSTAWOWE DEFINICJE. Niech będą dane zbiory i. Jeżeli każdemu elementowi x ze zbioru,, przyporządkujemy jeden i tylko jeden element y ze zbioru, to takie przyporządkowanie nazwiemy

Bardziej szczegółowo

I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych.

I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych. I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych. 1. Elementy logiki matematycznej. 1.1. Rachunek zdań. Definicja 1.1. Zdaniem logicznym nazywamy zdanie gramatyczne

Bardziej szczegółowo

Relacje. Relacje / strona 1 z 18

Relacje. Relacje / strona 1 z 18 Relacje Relacje / strona 1 z 18 Relacje (para uporządkowana, iloczyn kartezjański) Definicja R.1. Parą uporządkowaną (x,y) nazywamy zbiór {{x},{x,y}}. Uwaga: (Ala, Ola) (Ola, Ala) Definicja R.2. (n-tka

Bardziej szczegółowo

IMIĘ NAZWISKO... grupa C... sala Egzamin ELiTM I

IMIĘ NAZWISKO... grupa C... sala Egzamin ELiTM I IMIĘ NAZWISKO............................ grupa C... sala 10... Egzamin ELiTM I 02.02.15 1. 2. 3. 4.. 1. (8 pkt.) Niech X a,b = {(x, y) R 2 : (x b) 2 + (y 1 b )2 a 2 } dla a, b R, a > 0, b 0. Wyznaczyć:

Bardziej szczegółowo

Analiza matematyczna 1

Analiza matematyczna 1 Analiza matematyczna 1 Marcin Styborski Katedra Analizy Nieliniowej pok. 610E (gmach B) marcins@mif.pg.gda.pl www.mif.pg.gda.pl/homepages/marcins () 28 września 2010 1 / 10 Literatura podstawowa R. Rudnicki,

Bardziej szczegółowo

SIMR 2016/2017, Analiza 2, wykład 1, Przestrzeń wektorowa

SIMR 2016/2017, Analiza 2, wykład 1, Przestrzeń wektorowa SIMR 06/07, Analiza, wykład, 07-0- Przestrzeń wektorowa Przestrzeń wektorowa (liniowa) - przestrzeń (zbiór) w której określone są działania (funkcje) dodawania elementów i mnożenia elementów przez liczbę

Bardziej szczegółowo

Matematyka dyskretna. Andrzej Łachwa, UJ, B/14

Matematyka dyskretna. Andrzej Łachwa, UJ, B/14 Matematyka dyskretna Andrzej Łachwa, UJ, 2019 andrzej.lachwa@uj.edu.pl 2B/14 Relacje Pojęcia: relacja czyli relacja dwuargumentowa relacja w zbiorze A relacja n-argumentowa Relacja E = {(x, x): x S} jest

Bardziej szczegółowo

RACHUNEK ZBIORÓW 5 RELACJE

RACHUNEK ZBIORÓW 5 RELACJE RELACJE Niech X i Y są dowolnymi zbiorami. Układ ich elementów, oznaczony symbolem x,y (lub też (x,y) ), gdzie x X i y Y, nazywamy parą uporządkowaną o poprzedniku x i następniku y. a,b b,a b,a b,a,a (o

Bardziej szczegółowo

Ciągi Podzbiory Symbol Newtona Zasada szufladkowa Dirichleta Zasada włączania i wyłączania. Ilość najkrótszych dróg. Kombinatoryka. Magdalena Lemańska

Ciągi Podzbiory Symbol Newtona Zasada szufladkowa Dirichleta Zasada włączania i wyłączania. Ilość najkrótszych dróg. Kombinatoryka. Magdalena Lemańska Kombinatoryka Magdalena Lemańska Literatura Matematyka Dyskretna Andrzej Szepietowski http://wazniak.mimuw.edu.pl/ Discrete Mathematics Seymour Lipschutz, Marc Lipson Aspekty kombinatoryki Victor Bryant

Bardziej szczegółowo

FUNKCJE. 1. Podstawowe definicje

FUNKCJE. 1. Podstawowe definicje FUNKCJE. Podstawowe definicje DEFINICJA. Funkcja f odwzorowującą zbiór X w zbiór Y (inaczej f : X Y ) nazywamy takie przyporządkowanie, które każdemu elementowi x X przyporządkowuje dokładnie jeden element

Bardziej szczegółowo

Egzamin z logiki i teorii mnogości, rozwiązania zadań

Egzamin z logiki i teorii mnogości, rozwiązania zadań Egzamin z logiki i teorii mnogości, 08.02.2016 - rozwiązania zadań 1. Niech φ oraz ψ będą formami zdaniowymi. Czy formuła [( x : φ(x)) ( x : ψ(x))] [ x : (φ(x) ψ(x))] jest prawem rachunku kwantyfikatorów?

Bardziej szczegółowo

Wstęp do matematyki listy zadań

Wstęp do matematyki listy zadań Projekt pn. Wzmocnienie potencjału dydaktycznego UMK w Toruniu w dziedzinach matematyczno-przyrodniczych realizowany w ramach Poddziałania 4.1.1 Programu Operacyjnego Kapitał Ludzki Wstęp do matematyki

Bardziej szczegółowo

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

Notatki z Analizy Matematycznej 1. Jacek M. Jędrzejewski Notatki z Analizy Matematycznej 1 Jacek M. Jędrzejewski Wstęp W naszym konspekcie będziemy stosowali następujące oznaczenia: N zbiór liczb naturalnych dodatnich, N 0 zbiór liczb naturalnych (z zerem),

Bardziej szczegółowo

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

Podstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik Podstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik 8 Funkcje 8.1 Pojęcie relacji 8.1 Definicja (Relacja). Relacją (binarną) nazywamy dowolny podzbiór produktu kartezjańskiego

Bardziej szczegółowo

FUNKCJE. (odwzorowania) Funkcje 1

FUNKCJE. (odwzorowania) Funkcje 1 FUNKCJE (odwzorowania) Funkcje 1 W matematyce funkcja ze zbioru X w zbiór Y nazywa się odwzorowanie (przyporządkowanie), które każdemu elementowi zbioru X przypisuje jeden, i tylko jeden element zbioru

Bardziej szczegółowo

Metalogika (1) Jerzy Pogonowski. Uniwersytet Opolski. Zakład Logiki Stosowanej UAM

Metalogika (1) Jerzy Pogonowski. Uniwersytet Opolski. Zakład Logiki Stosowanej UAM Metalogika (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Uniwersytet Opolski Jerzy Pogonowski (MEG) Metalogika (1) Uniwersytet Opolski 1 / 21 Wstęp Cel: wprowadzenie

Bardziej szczegółowo

Funkcje. Oznaczenia i pojęcia wstępne. Elementy Logiki i Teorii Mnogości 2015/2016

Funkcje. Oznaczenia i pojęcia wstępne. Elementy Logiki i Teorii Mnogości 2015/2016 Funkcje Elementy Logiki i Teorii Mnogości 2015/2016 Oznaczenia i pojęcia wstępne Niech f X Y będzie relacją. Relację f nazywamy funkcją, o ile dla dowolnego x X istnieje y Y taki, że (x, y) f oraz dla

Bardziej szczegółowo

1 Rachunek zdań, podstawowe funk tory logiczne

1 Rachunek zdań, podstawowe funk tory logiczne 1 Rachunek zdań, podstawowe funk tory logiczne 1.1 Zapisz symbolicznie następujące stwierdzenia i Jeśli z tego, że Paweł gra w palanta wynika to, że Robert jeździ na rowerze, to z tego, że Robert nie gra

Bardziej szczegółowo

Zliczanie Podziałów Liczb

Zliczanie Podziałów Liczb Zliczanie Podziałów Liczb Przygotował: M. Dziemiańczuk 7 lutego 20 Streszczenie Wprowadzenie Przez podział λ nieujemnej liczby całkowitej n rozumiemy nierosnący ciąg (λ, λ 2,..., λ r ) dodatnich liczb

Bardziej szczegółowo

Jarosław Wróblewski Matematyka Elementarna, zima 2012/13

Jarosław Wróblewski Matematyka Elementarna, zima 2012/13 Poniedziałek 12 listopada 2012 - zaczynamy od omówienia zadań z kolokwium nr 1. Wtorek 13 listopada 2012 - odbywają się zajęcia czwartkowe. 79. Uprościć wyrażenia a) 4 2+log 27 b) log 3 2 log 59 c) log

Bardziej szczegółowo

Rozdział 5. Macierze. a 11 a a 1m a 21 a a 2m... a n1 a n2... a nm

Rozdział 5. Macierze. a 11 a a 1m a 21 a a 2m... a n1 a n2... a nm Rozdział 5 Macierze Funkcję, która każdej parze liczb naturalnych (i,j) (i = 1,,n;j = 1,,m) przyporządkowuje dokładnie jedną liczbę a ij F, gdzie F = R lub F = C, nazywamy macierzą (rzeczywistą, gdy F

Bardziej szczegółowo

Zajęcia nr 1 (1h) Dwumian Newtona. Indukcja. Zajęcia nr 2 i 3 (4h) Trygonometria

Zajęcia nr 1 (1h) Dwumian Newtona. Indukcja. Zajęcia nr 2 i 3 (4h) Trygonometria Technologia Chemiczna 008/09 Zajęcia wyrównawcze. Pokazać, że: ( )( ) n k k l = ( n l )( n l k l Zajęcia nr (h) Dwumian Newtona. Indukcja. ). Rozwiązać ( ) ( równanie: ) n n a) = 0 b) 3 ( ) n 3. Znaleźć

Bardziej szczegółowo

Sprawy organizacyjne. dr Barbara Przebieracz Bankowa 14, p.568

Sprawy organizacyjne. dr Barbara Przebieracz Bankowa 14, p.568 Sprawy organizacyjne Jak można się ze mna skontaktować dr Barbara Przebieracz Bankowa 14, p.568 barbara.przebieracz@us.edu.pl www.math.us.edu.pl/bp 10 wykładów, Zaliczenie wykładu: ocena z wykładu jest

Bardziej szczegółowo

Zapisujemy:. Dla jednoczesnego podania funkcji (sposobu przyporządkowania) oraz zbiorów i piszemy:.

Zapisujemy:. Dla jednoczesnego podania funkcji (sposobu przyporządkowania) oraz zbiorów i piszemy:. Funkcja Funkcją (stosuje się też nazwę odwzorowanie) określoną na zbiorze o wartościach w zbiorze nazywamy przyporządkowanie każdemu elementowi dokładnie jednego elementu. nazywamy argumentem, zaś wartością

Bardziej szczegółowo

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

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA Pod auspicjami Polskiej Akademii Nauk Warszawa, ul. Newelska 6, tel. WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA Pod auspicjami Polskiej Akademii Nauk 01-447 Warszawa, ul. Newelska 6, tel. 22 3486544 Wydział Informatyki Kierunek studiów Profil Stopień studiów Forma

Bardziej szczegółowo

DEFINICJA. Definicja 1 Niech A i B będą zbiorami. Relacja R pomiędzy A i B jest podzbiorem iloczynu kartezjańskiego tych zbiorów, R A B.

DEFINICJA. Definicja 1 Niech A i B będą zbiorami. Relacja R pomiędzy A i B jest podzbiorem iloczynu kartezjańskiego tych zbiorów, R A B. RELACJE Relacje 1 DEFINICJA Definicja 1 Niech A i B będą zbiorami. Relacja R pomiędzy A i B jest podzbiorem iloczynu kartezjańskiego tych zbiorów, R A B. Relacje 2 Przykład 1 Wróćmy do przykładu rozważanego

Bardziej szczegółowo

Jarosław Wróblewski Matematyka Elementarna, zima 2013/14. Czwartek 21 listopada zaczynamy od omówienia zadań z kolokwium nr 2.

Jarosław Wróblewski Matematyka Elementarna, zima 2013/14. Czwartek 21 listopada zaczynamy od omówienia zadań z kolokwium nr 2. Czwartek 21 listopada 2013 - zaczynamy od omówienia zadań z kolokwium nr 2. Uprościć wyrażenia 129. 4 2+log 27 130. log 3 2 log 59 131. log 6 2+log 36 9 log 132. m (mn) log n (mn) dla liczb naturalnych

Bardziej szczegółowo

1 Zbiory i działania na zbiorach.

1 Zbiory i działania na zbiorach. Matematyka notatki do wykładu 1 Zbiory i działania na zbiorach Pojęcie zbioru jest to pojęcie pierwotne (nie definiuje się tego pojęcia) Pojęciami pierwotnymi są: element zbioru i przynależność elementu

Bardziej szczegółowo

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych. Elementy logiki i teorii zbiorów. 1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych. Pojęcia pierwotne to najprostsze

Bardziej szczegółowo

Matematyka dyskretna. Andrzej Łachwa, UJ, 2017 Zadania 1

Matematyka dyskretna. Andrzej Łachwa, UJ, 2017 Zadania 1 Matematyka dyskretna Andrzej Łachwa, UJ, 2017 andrzej.lachwa@uj.edu.pl Zadania 1 Udowodnij, że A (B C) = (A B) (A C) za pomocą diagramów Venna. Udowodnij formalnie, że (A B i A C) A B C oraz że (A B C)'

Bardziej szczegółowo

Funkcje elementarne. Matematyka 1

Funkcje elementarne. Matematyka 1 Funkcje elementarne Matematyka 1 Katarzyna Trąbka-Więcław Funkcjami elementarnymi nazywamy: funkcje wymierne (w tym: wielomiany), wykładnicze, trygonometryczne, odwrotne do wymienionych (w tym: funkcje

Bardziej szczegółowo

Algebra liniowa. 1. Macierze.

Algebra liniowa. 1. Macierze. Algebra liniowa 1 Macierze Niech m oraz n będą liczbami naturalnymi Przestrzeń M(m n F) = F n F n będącą iloczynem kartezjańskim m egzemplarzy przestrzeni F n z naturalnie określonymi działaniami nazywamy

Bardziej szczegółowo

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań. Wykłady z Analizy rzeczywistej i zespolonej w Matematyce stosowanej Wykład ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek

Bardziej szczegółowo

Macierze. Rozdział Działania na macierzach

Macierze. Rozdział Działania na macierzach Rozdział 5 Macierze Funkcję, która każdej parze liczb naturalnych (i, j) (i 1,..., n; j 1,..., m) przyporządkowuje dokładnie jedną liczbę a ij F, gdzie F R lub F C, nazywamy macierzą (rzeczywistą, gdy

Bardziej szczegółowo

Matematyka dyskretna. Andrzej Łachwa, UJ, B/14

Matematyka dyskretna. Andrzej Łachwa, UJ, B/14 Matematyka dyskretna Andrzej Łachwa, UJ, 2019 andrzej.lachwa@uj.edu.pl 12B/14 Permutacje bez punktów stałych Nieporządek na zbiorze X to permutacja taka, że dla dowolnego, czyli permutacja "bez punktów

Bardziej szczegółowo

Jarosław Wróblewski Matematyka Elementarna, lato 2012/13. Czwartek 28 marca zaczynamy od omówienia zadań z kolokwium nr 1.

Jarosław Wróblewski Matematyka Elementarna, lato 2012/13. Czwartek 28 marca zaczynamy od omówienia zadań z kolokwium nr 1. Czwartek 28 marca 2013 - zaczynamy od omówienia zadań z kolokwium nr 1. 122. Uprościć wyrażenia a) 4 2+log 27 b) log 3 2 log 59 c) log 6 2+log 36 9 123. Dla ilu trójek liczb rzeczywistych dodatnich a,

Bardziej szczegółowo

ZAGADNIENIA PROGRAMOWE I WYMAGANIA EDUKACYJNE DO TESTU PRZYROSTU KOMPETENCJI Z MATEMATYKI DLA UCZNIA KLASY II

ZAGADNIENIA PROGRAMOWE I WYMAGANIA EDUKACYJNE DO TESTU PRZYROSTU KOMPETENCJI Z MATEMATYKI DLA UCZNIA KLASY II ZAGADNIENIA PROGRAMOWE I WYMAGANIA EDUKACYJNE DO TESTU PRZYROSTU KOMPETENCJI Z MATEMATYKI DLA UCZNIA KLASY II POZIOM ROZSZERZONY Równania i nierówności z wartością bezwzględną. rozwiązuje równania i nierówności

Bardziej szczegółowo

Matematyka dyskretna. Andrzej Łachwa, UJ, /14

Matematyka dyskretna. Andrzej Łachwa, UJ, /14 Matematyka dyskretna Andrzej Łachwa, UJ, 2012 andrzej.lachwa@uj.edu.pl 11/14 Współczynniki multimianowe (wielomianowe) Współczynniki dwumianowe pojawiały się przy rozwinięciu dwumianu. Odpowiadały one

Bardziej szczegółowo

Logarytmy. Funkcje logarytmiczna i wykładnicza. Równania i nierówności wykładnicze i logarytmiczne.

Logarytmy. Funkcje logarytmiczna i wykładnicza. Równania i nierówności wykładnicze i logarytmiczne. Logarytmy. Funkcje logarytmiczna i wykładnicza. Równania i nierówności wykładnicze i logarytmiczne. Definicja. Niech a i b będą dodatnimi liczbami rzeczywistymi i niech a. Logarytmem liczby b przy podstawie

Bardziej szczegółowo

1 Działania na zbiorach

1 Działania na zbiorach M. Beśka, Wstęp do teorii miary, rozdz. 1 1 1 Działania na zbiorach W rozdziale tym przypomnimy podstawowe działania na zbiorach koncentrując się na własnościach tych działań, które będą przydatne w dalszej

Bardziej szczegółowo

Elementy logiki Zbiory Systemy matematyczne i dowodzenie twierdzeń Relacje

Elementy logiki Zbiory Systemy matematyczne i dowodzenie twierdzeń Relacje Dr Maciej Grzesiak, pok.724 E e-mail: maciej.grzesiak@put.poznan.pl http://www.put.poznan.pl/ maciej.grzesiak Konsultacje: poniedziałek, 8.45-9.30, środa 8.45-9.30, piątek 9.45-10.30, pokój 724E Treść

Bardziej szczegółowo

1 Rachunek zdań, podstawowe funktory logiczne

1 Rachunek zdań, podstawowe funktory logiczne 1 Rachunek zdań, podstawowe funktory logiczne 1.1 Pokaż, że dla dowolnych zmiennych zdaniowych p, q, r poniższe formuły są tautologiami a p p p b q q q c p p p p d p q r p q p r e p q r p q p r f p q p

Bardziej szczegółowo

Matematyka dyskretna. Andrzej Łachwa, UJ, a/14

Matematyka dyskretna. Andrzej Łachwa, UJ, a/14 Matematyka dyskretna Andrzej Łachwa, UJ, 2016 andrzej.lachwa@uj.edu.pl 8a/14 Zbiory przeliczalne Przyjmujemy, że = {0, 1, 2, 3, n-1} dla n>0 oraz = przy n=0. Zbiór skończony to zbiór bijektywny z pewnym

Bardziej szczegółowo

III. Funkcje rzeczywiste

III. Funkcje rzeczywiste . Pojęcia podstawowe Załóżmy, że dane są dwa niepuste zbiory X i Y. Definicja. Jeżeli każdemu elementowi x X przyporządkujemy dokładnie jeden element y Y, to mówimy, że na zbiorze X została określona funkcja

Bardziej szczegółowo

Podstawowe struktury algebraiczne

Podstawowe struktury algebraiczne Maciej Grzesiak Podstawowe struktury algebraiczne 1. Wprowadzenie Przedmiotem algebry było niegdyś przede wszystkim rozwiązywanie równań. Obecnie algebra staje się coraz bardziej nauką o systemach matematycznych.

Bardziej szczegółowo

1 Wyrażenia potęgowe i logarytmiczne.

1 Wyrażenia potęgowe i logarytmiczne. Wyrażenia potęgowe i logarytmiczne. I. Wyrażenia potęgowe (wykładnik całkowity). Dla a R, n N mamy a = a, a n = a n a. Zatem a n = } a a {{... a}. n razy Przyjmujemy ponadto, że a =, a. Dla a R \{}, n

Bardziej szczegółowo

Funkcje i ich własności. Energetyka, sem.1 (2017/2018) Matematyka #3: Funkcje 1 / 43

Funkcje i ich własności. Energetyka, sem.1 (2017/2018) Matematyka #3: Funkcje 1 / 43 Funkcje i ich własności Energetyka, sem.1 (2017/2018) Matematyka #3: Funkcje 1 / 43 Zbiory liczbowe Zbiory Zbiór Iloczyn (część wspólna zbiorów) A B = {x : x A x B} Suma Różnica Zawieranie się A B = {x

Bardziej szczegółowo

Logika I. Wykład 3. Relacje i funkcje

Logika I. Wykład 3. Relacje i funkcje Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 3. Relacje i funkcje 1 Już było... Definicja 2.6. (para uporządkowana) Parą uporządkowaną nazywamy zbiór {{x},

Bardziej szczegółowo

O funkcjach : mówimy również, że są określone na zbiorze o wartościach w zbiorze.

O funkcjach : mówimy również, że są określone na zbiorze o wartościach w zbiorze. 1. Definicja funkcji f:x->y. Definicja dziedziny, przeciwdziedziny, zbioru wartości. Przykłady. I definicja: Funkcją nazywamy relację, jeśli spełnia następujące warunki: 1) 2) 1,2 [(1 2)=> 1=2] Inaczej

Bardziej szczegółowo

Matematyka dyskretna. Andrzej Łachwa, UJ, A/10

Matematyka dyskretna. Andrzej Łachwa, UJ, A/10 Matematyka dyskretna Andrzej Łachwa, UJ, 2018 andrzej.lachwa@uj.edu.pl 8A/10 Zbiory przeliczalne Przyjmujemy, że Zn = {0, 1, 2, 3, n-1} dla n>0 oraz Zn = przy n=0. Zbiór skończony to zbiór bijektywny z

Bardziej szczegółowo

Elementy logiki. Zdania proste i złożone

Elementy logiki. Zdania proste i złożone Elementy logiki Zdania proste i złożone. Jaka jest wartość logiczna następujących zdań: (a) jest dzielnikiem 7 lub suma kątów wewnętrznych w trójkącie jest równa 80. (b) Jeśli sin 0 =, to 5 < 5. (c) Równanie

Bardziej szczegółowo

Przykładowe zadania z teorii liczb

Przykładowe zadania z teorii liczb Przykładowe zadania z teorii liczb I. Podzielność liczb całkowitych. Liczba a = 346 przy dzieleniu przez pewną liczbę dodatnią całkowitą b daje iloraz k = 85 i resztę r. Znaleźć dzielnik b oraz resztę

Bardziej szczegółowo

Algebra liniowa z geometrią

Algebra liniowa z geometrią Algebra liniowa z geometrią Maciej Czarnecki 15 stycznia 2013 Spis treści 1 Geometria płaszczyzny 2 1.1 Wektory i skalary........................... 2 1.2 Macierze, wyznaczniki, układy równań liniowych.........

Bardziej szczegółowo

1 Elementy logiki i teorii mnogości

1 Elementy logiki i teorii mnogości 1 Elementy logiki i teorii mnogości 11 Elementy logiki Notatki do wykładu Definicja Zdaniem logicznym nazywamy zdanie oznajmujące, któremu przysługuje jedna z dwu logicznych ocen prawda (1) albo fałsz

Bardziej szczegółowo

Wykład 7. Informatyka Stosowana. 21 listopada Informatyka Stosowana Wykład 7 21 listopada / 27

Wykład 7. Informatyka Stosowana. 21 listopada Informatyka Stosowana Wykład 7 21 listopada / 27 Wykład 7 Informatyka Stosowana 21 listopada 2016 Informatyka Stosowana Wykład 7 21 listopada 2016 1 / 27 Relacje Informatyka Stosowana Wykład 7 21 listopada 2016 2 / 27 Definicja Iloczynem kartezjańskim

Bardziej szczegółowo

Roger Bacon Def. Def. Def. Funktory zdaniotwórcze

Roger Bacon Def. Def. Def. Funktory zdaniotwórcze Kto lekceważy osiągnięcia matematyki przynosi szkodę całej nauce, ponieważ ten, kto nie zna matematyki, nie może poznad innych nauk ścisłych i nie może poznad świata." Roger Bacon Def. Zdaniem logicznym

Bardziej szczegółowo

Met Me ody numer yczne Wykład ykład Dr inż. Mic hał ha Łanc Łan zon Instyt Ins ut Elektr Elektr echn iki echn i Elektrot Elektr echn olo echn

Met Me ody numer yczne Wykład ykład Dr inż. Mic hał ha Łanc Łan zon Instyt Ins ut Elektr Elektr echn iki echn i Elektrot Elektr echn olo echn Metody numeryczne Wykład 3 Dr inż. Michał Łanczont Instytut Elektrotechniki i Elektrotechnologii E419, tel. 4293, m.lanczont@pollub.pl, http://m.lanczont.pollub.pl Zakres wykładu Pojęcia podstawowe Algebra

Bardziej szczegółowo

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

Matematyka dyskretna. Andrzej Łachwa, UJ, /10 Matematyka dyskretna Andrzej Łachwa, UJ, 2018 andrzej.lachwa@uj.edu.pl 6/10 Zasada Dirichleta 1 ZASADA SZUFLADKOWA DIRICHLETA (1ZSD) Jeśli n obiektów jest rozmieszczonych w m szufladach i n > m > 0, to

Bardziej szczegółowo

PODSTAWY AUTOMATYKI. MATLAB - komputerowe środowisko obliczeń naukowoinżynierskich - podstawowe operacje na liczbach i macierzach.

PODSTAWY AUTOMATYKI. MATLAB - komputerowe środowisko obliczeń naukowoinżynierskich - podstawowe operacje na liczbach i macierzach. WYDZIAŁ ELEKTROTECHNIKI I AUTOMATYKI Katedra Inżynierii Systemów Sterowania PODSTAWY AUTOMATYKI MATLAB - komputerowe środowisko obliczeń naukowoinżynierskich - podstawowe operacje na liczbach i macierzach.

Bardziej szczegółowo

6. FUNKCJE. f: X Y, y = f(x).

6. FUNKCJE. f: X Y, y = f(x). 6. FUNKCJE Niech dane będą dwa niepuste zbiory X i Y. Funkcją f odwzorowującą zbiór X w zbiór Y nazywamy przyporządkowanie każdemu elementowi X dokładnie jednego elementu y Y. Zapisujemy to następująco

Bardziej szczegółowo

Teoria automatów i języków formalnych. Określenie relacji

Teoria automatów i języków formalnych. Określenie relacji Relacje Teoria automatów i języków formalnych Dr inŝ. Janusz ajewski Katedra Informatyki Określenie relacji: Określenie relacji Relacja R jest zbiorem par uporządkowanych, czyli podzbiorem iloczynu kartezjańskiego

Bardziej szczegółowo

domykanie relacji, relacja równoważności, rozkłady zbiorów

domykanie relacji, relacja równoważności, rozkłady zbiorów 1 of 8 2012-03-28 17:45 Logika i teoria mnogości/wykład 5: Para uporządkowana iloczyn kartezjański relacje domykanie relacji relacja równoważności rozkłady zbiorów From Studia Informatyczne < Logika i

Bardziej szczegółowo

0 + 0 = 0, = 1, = 1, = 0.

0 + 0 = 0, = 1, = 1, = 0. 5 Kody liniowe Jak już wiemy, w celu przesłania zakodowanego tekstu dzielimy go na bloki i do każdego z bloków dodajemy tak zwane bity sprawdzające. Bity te są w ścisłej zależności z bitami informacyjnymi,

Bardziej szczegółowo

Definicja odwzorowania ciągłego i niektóre przykłady

Definicja odwzorowania ciągłego i niektóre przykłady Odwzorowania Pojęcie odwzorowania pomiędzy dwoma zbiorami było już definiowane, ale dawno, więc nie od rzeczy będzie przypomnieć, że odwzorowaniem nazywamy sposób przyporządkowania (niekoniecznie każdemu)

Bardziej szczegółowo

BOGDAN ZARĘBSKI ZASTOSOWANIE ZASADY ABSTRAKCJI DO KONSTRUKCJI LICZB CAŁKOWITYCH

BOGDAN ZARĘBSKI ZASTOSOWANIE ZASADY ABSTRAKCJI DO KONSTRUKCJI LICZB CAŁKOWITYCH BOGDAN ZARĘBSKI ZASTOSOWANIE ZASADY ABSTRAKCJI DO KONSTRUKCJI LICZB CAŁKOWITYCH WSTĘP Zbiór liczb całkowitych można definiować na różne sposoby. Jednym ze sposobów określania zbioru liczb całkowitych jest

Bardziej szczegółowo

Przykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie),

Przykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie), Elementy logiki 1 Przykłady zdań w matematyce Zdania prawdziwe: 1 3 + 1 6 = 1 2, 3 6, 2 Q, Jeśli x = 1, to x 2 = 1 (x oznacza daną liczbę rzeczywistą), Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości

Bardziej szczegółowo

. : a 1,..., a n F. . a n Wówczas (F n, F, +, ) jest przestrzenią liniową, gdzie + oraz są działaniami zdefiniowanymi wzorami:

. : a 1,..., a n F. . a n Wówczas (F n, F, +, ) jest przestrzenią liniową, gdzie + oraz są działaniami zdefiniowanymi wzorami: 9 Wykład 9: Przestrzenie liniowe i podprzestrzenie Definicja 9 Niech F będzie ciałem Algebrę (V, F, +, ), gdzie V, + jest działaniem w zbiorze V zwanym dodawaniem wektorów, a jest działaniem zewnętrznym

Bardziej szczegółowo

Zadanie 2. Obliczyć rangę dowolnego elementu zbioru uporządkowanego N 0 N 0, gdy porządek jest zdefiniowany następująco: (a, b) (c, d) (a c b d)

Zadanie 2. Obliczyć rangę dowolnego elementu zbioru uporządkowanego N 0 N 0, gdy porządek jest zdefiniowany następująco: (a, b) (c, d) (a c b d) Matemaryka dyskretna - zadania Zadanie 1. Opisać zbiór wszystkich elementów rangi k zbioru uporządkowanego X dla każdej liczby naturalnej k, gdy X jest rodziną podzbiorów zbioru skończonego Y. Elementem

Bardziej szczegółowo

Jarosław Wróblewski Matematyka Elementarna, zima 2014/15

Jarosław Wróblewski Matematyka Elementarna, zima 2014/15 Ćwiczenia 0.10.014 Powtórka przed sprawdzianem nr 1. Wzory skróconego mnożenia dwumian Newtona procenty. Postęp arytmetyczny i geometryczny. Ćwiczenia 138.10.014 Sprawdzian nr 1: 1.10.014 godz. 8:15-8:40

Bardziej szczegółowo