EULER T: Graf, ktry ma cykl Eulera, musi mie wszystkie wierzchoki stopnia parzystego.

W: Skoczony graf spjny, w ktrym kady wierzchoek ma stopie parzysty, ma cykl Eulera.
T: Graf G majcy drog Eulera ma albo dwa wierzchoki stopnia nieparzystego, albo nie ma w ogle wierzchokw stopnia
nieparzystego. W: Skoczony graf spjny, majcy dokadnie dwa wierzchoki stopnia nieparzystego, ma drog Eulera.
KOMBINAROTYKA PERMUTACJE: P = n! Ilo moliwych ustawie
WARIACJE BEZ POWTRZE: V= n!/(n-k)! k-elementowe wariacje ze zbioru n-elementowego istotna kolejno
WARIACJE Z POWTRZENIAMI: W= n^k k-elementowe wariacje ze zbioru n-elementowego istotna kolejno
KOMBINACJE: Ck/n= (n/k) = n!/k!(n-k)! k-elementowe kombinacje ze zbioru n-elementowego nie istotna kolejno
SCHEMAT BERMULIEGO: P(k) = (n/k)p^(k)q^(n-k) Pewne dowiadczenie wykonujesz n razy nie zalenie od siebie (p =
const) i chcesz osign k razy sukces. P(k=1) + p(k=2) + p(k=...) = 1 - p(k=0)
P(AB) = P(A) P(B) wtedy s niezalene
P(Bn/A) =
KOMBINAROTYKA-INFO jeli n = k permutacje, jeli n > k ?wana kolejno warjacje,
jeli n > k ?kolejno nie wana kombinacje, jeli zaczynam y za kadym razem od pocztku n razy sch. Bermuliego
- zb wszystkich moliwych zdarze = - ich ilo A - zb zdarze sprzyjajcych =A - ich ilo P(A) = =A/=
LOGIKA p q koniunkcja (i) 001 p q alternatywa (lub) 0111
pq implikacja (jeli p, to q) 1101
pq rwnowano () 1001 pq ex-or (albo) 0110
RAHUNEK ZDA ((p)) p prawo podwjnego zaprzeczenia (p q) r p (q r) prawo cznoci koniunkcji
(p q) r p (q r) prawo cznoci alternatywy (pq) [p (q)] prawo zaprzeczenia implikacji
(p q) [p (q)] p.de Morgana: zaprzeczenia koniunkcji (p q) [p (q)] p.de Morgana: zaprzeczenia alternat.
[(p q) (q r)] (p r) prawo przechodnioi implikacji
PRAWA RACHUNKU ZBIORW: A={xU: xA} wszystko za wyjtkiem A AB={xU: xA lub xB} suma
AB={xU: xA oraz xB} cz wsplna A\B={xU: xA oraz xB} tylko A bez B
AB=(AB)\(AB)=(A\B)(A\B) A i B bez czci wsplnej (rnica symetryczna) (AB )C = A(CB) - czno sumy
AA=A - idempotentno sumy AA=A - idempotentno iloczynu (A)=A - podwjne dopenienie
(AB)C=A(CB) - czno iloczynu AB=BA - przemienno sumy AB=BA - przemienno iloczynu
(AB)C=(AC)(BC) - rozdzielno il. wzgldem sumy (AB)C=(AC)(BC) - rozdzielno iloczynu wzgldem sumy
AB ABABAB - zawieranie si zbiorw; kady elem. z A naley do B A=B ABBA - rwno zbiorw
A(B) A\B A=A A= A \ A= A \ = A = A=A AA = AA=
(AB)= (A) (B) - cae U bez zbiorw A i B (AB)= (A) (B) - cae U bez czci wsplnych zbiorw A i B
ILOCZYN KARTEZJASKI: AB - oznacza kady element ze zbioru A w parze z elementem ze zbioru B, np. A = { 1, 2 }; B = { 3,
4 }; A B = {(1; 3), (1; 4), (2; 3), (2; 4)}
KWANTYFIKATORY RACHUNEK KWANTYFIKATORW - zd. Prawdziwe - zd. Nieprawdziwe
- zd. Prawdziwe xZ: x + y = 3 - zd. nieprawdziwe (bo nie mamy danego y)
NEGACJA KWANTYF. ( x P(x))x (P(x)) (x P(x)) x P(x) = = = =
RELACJE Dom() - dziedzina relacji Cod() - przeciw dziedzina relacji
ZWROTNA xA: (x, x) (idA ) x: xPx
PRZECIWSTAWNA (ANTYZWROTNA) xA: (x, x) (idA = ) x: ( (xPx))
SYMETRYCZNA x,yA: (x, y) (y, x) = -1 x(y(xPyyPx))
ASYMETRYCZNA x,yA: (x, y) (y, x) -1 =
ANTYSYMETRYCZNA x,yA: ((x, y) (y, x) ) y = x -1 = x(y((xPyyPx)x=y))
PRZECHODNIA x,y,zA: (x, y) (y, z) (x, z) 2 = = x(y(z((xPyyPz)xPz)))
SPJNA x,yA: (x, y) (y, x) -1 = A2
D.UFUNDOWANA nie istnieje nieskoczony cig a1, a2, a3 an A, taki e (a1, a2) , (a2, a3)
KLASA ABSTRAKCJI elem-u a A rel. rwnowanoci nazwiemy zb. wszystkich elem-w, ktre s w rel. z a [a]={xA: (x;a)}
ZBIR ILOCZYNOWY zbir klas abstrakcji relacji rwnowanoci ; A/ = {[a]:aA}
RELACJA RWNOWANOCI Zwrotna, przechodnia, symetryczna
RELACJA PORZDKU Zwrotna, przechodnia, antysymetryczna
REL. PORZDKU LINIOWEGO Rel. porzdku, spjno
Nazwa
Zwrotno
Przeciwzwrotna
Symetryczna
Asymetryczna
Antysymetryczna
Przechodno
Spjno

Dobrze ufundowana
Relacja rwnowanoci
Relacja porzdku
Rel.porzdku linioweg

Wzr oglny
x xU, x1Rx2
x xU, x1Rx2
x,y x,yU, xRy yRx
x,y x,yU, xRy (yRx)
x,y x,yU, xRy yRx x=y
x,y,z
x,y,zU, xRy yRz z=x
x,y x,yU, xRy yRx

Nie istnieje taki nieskoczony

cig, e (a1, a2, , an)A
Zwrotna, przechodnia,
symetryczna
Zwrotna, przechodnia,
antysymetryczna
Relacja porzdku, spjno

Dla wszystkich chocia jeden

@

@@
@


@@

@@@

@ @ @

Wystarczy e bdzie dla jednego

punktu (tego nie moe by)

ZAPIS REKURENCYJNY
(An) = (3, 33, (33)3, ((33)3)3, (((33)3)3)3, ) an+1 = an^3 (An) = (3, 33, 3^(33), 3^(33)^3, 3^(33)^ (33), ) an+1 = 3^(an)
DZIAANIA NA POTGACH aman = am+n am/an = am-n (ab)n = aman (a/b)n = anbn (am)n = amn
INDUKCJA MATEMATYCZNA
Wykaza rwno ciagw an i bn
Dane: a0 = 0; an+1 = an + (n+1)*2 n+1; bn = (n-1)*2(n+1)+2
Rozwizanie:
1) a0 = b0 czyli b0 = 0, sprawdzenie b0 = (0-1)*2 (0+1) = 0
2) zaoenie ind., an=bn, czyli an = (n-1)*2 n+1+2
3) teza ind., an+1 = bn+1
an+1 = an + (n+1)*2n+1
bn+1 = ((n+1)-1)*2(n+1) +2=n*2 n+2
z zaoenia ind.:
an+1 = an {(n-1)*2n+1+2}+ (n+1)*2n+1 +2= 2n+1(n-1+n+1)+2 = 2n+1(2n)+2 = 2n+1+1 *n+2 = 2n+2 *n+2 an=bn
na mocy indukcji wykazaem, e an=bn
Wykaza e 6|10n+2 dla n>0
1) n = 1; 101+2 = 12 6|12
2) zaoenie ind., 10n+2 = 6*k
3) teza ind., 10n+1+2 = 6*s sZ
10n+1+2 = 10n *101+2 =10*(10 n+2)-18 = 10*6k-18 = 6(10k-3) a to jest nasze s
Na mocy indukcji wykazaem e 10n+1 + 2 da si przedstawi w postacji iloczyny 6*s
Wykaza e zachodzi n2>n+1 dla n>1
1) n = 2; L=22=4 P=2+1=3 czyli L>P
2) zaoenie ind., n2>n+1 an=n2 bn=n+1
3) teza ind. n+1
an+1=(n+1)2=n2+2n+1
bn+1=(n+1)+1
n2+2n+1 > bn{(n+1)}+2n+1
n2+2n+1 > 3n+2
3n+2>n+2
Na mocy indukcji wykazaem e n2 > n+1
RACHUNEK ZBIORW-ZADANIA
((A(A))(B(B))) =
L= x((A(A)) (B(B)))= x((A(A)) (B(B)))
L= x((A(A)) (B(B)))
L= x((A (A)) (B (B)))
L= x((AA) (BB))
L= (x(AA) x(BB))
L= ((xAxA) ((xBxB)))
L= ((x) (x)) = x = P

s=10k-3 Z czyli n>0: 6|10n+2

EULER
T: Graf, ktry ma cykl Eulera, musi mie wszystkie wierzchoki stopnia parzystego.
W: Skoczony graf spjny, w ktrym kady wierzchoek ma stopie parzysty, ma cykl Eulera.
T: Graf G majcy drog Eulera ma albo dwa wierzchoki stopnia nieparzystego, albo nie ma w ogle wierzchokw stopnia
nieparzystego.
W: Skoczony graf spjny, majcy dokadnie dwa wierzchoki stopnia nieparzystego, ma drog Eulera.
KOMBINAROTYKA
PERMUTACJE:
P = n!
Ilo moliwych ustawie
WARIACJE BEZ POWTRZE:
V= n!/(n-k)!
k-elementowe wariacje ze zbioru n-elementowego
istotna kolejno
WARIACJE Z POWTRZENIAMI:
W= n^k
k-elementowe wariacje ze zbioru n-elementowego
istotna kolejno
KOMBINACJE:
Ck/n= (n/k) = n!/k!(n-k)!
k-elementowe kombinacje ze zbioru n-elementowego
nie istotna kolejno
SCHEMAT BERMULIEGO:
P(k) = (n/k)p^(k)q^(n-k)
Pewne dowiadczenie wykonujesz n razy nie zalenie od siebie (p = const) i chcesz osign k razy sukces.
P(k=1) + p(k=2) + p(k=...) = 1 - p(k=0)
P(AB) = P(A) P(B) wtedy s niezalene
P(Bn/A) =
KOMBINAROTYKA-INFO
jeli n = k permutacje,
jeli n > k ?wana kolejno warjacje,
jeli n > k ?kolejno nie wana kombinacje,
jeli zaczynam y za kadym razem od pocztku n razy sch. Bermuliego
- zb wszystkich moliwych zdarze
= - ich ilo
A - zb zdarze sprzyjajcych
=A - ich ilo
P(A) = =A/=
LOGIKA
p q koniunkcja (i) 001
p q alternatywa (lub) 0111
pq implikacja (jeli p, to q) 1101
pq rwnowano () 1001
pq ex-or (albo) 0110
RAHUNEK ZDA
((p)) p prawo podwjnego zaprzeczenia
(p q) r p (q r) prawo cznoci koniunkcji
(p q) r p (q r) prawo cznoci alternatywy
(pq) [p (q)] prawo zaprzeczenia implikacji
(p q) [p (q)] prawo de Morgana: zaprzeczenia koniunkcji
(p q) [p (q)] prawo de Morgana: zaprzeczenia alternatywy
[(p q) (q r)] (p r) prawo przechodnioi implikacji
PRAWA RACHUNKU ZBIORW:
A={xU: xA} wszystko za wyjtkiem A
AB={xU: xA lub xB} suma
AB={xU: xA oraz xB} cz wsplna
A\B={xU: xA oraz xB} tylko A bez B
AB=(AB)\(AB)=(A\B)(A\B) A i B bez czci wsplnej (rnica symetryczna)
(AB )C = A(CB) - czno sumy

AA=A - idempotentno sumy

AA=A - idempotentno iloczynu
(A)=A - podwjne dopenienie
(AB)C=A(CB) - czno iloczynu
AB=BA - przemienno sumy
AB=BA - przemienno iloczynu
(AB)C=(AC)(BC) - rozdzielno iloczynu wzgldem sumy
(AB)C=(AC)(BC) - rozdzielno iloczynu wzgldem sumy
AB ABABAB - zawieranie si zbiorw; kady elem. z A naley do B
A=B ABBA - rwno zbiorw
A(B) A\B
A=A
A=
A \ A=
A \ =
A =
A=A
AA =
AA=
(AB)= (A) (B) - cae U bez zbiorw A i B
(AB)= (A) (B) - cae U bez czci wsplnych zbiorw A i B
ILOCZYN KARTEZJASKI:
AB - oznacza kady element ze zbioru A w parze z elementem ze zbioru B, np. A = { 1, 2 }; B = { 3, 4 }; A B = {(1; 3), (1; 4), (2;
3), (2; 4)}
KWANTYFIKATORY
RACHUNEK KWANTYFIKATORW
- zd. Prawdziwe
- zd. Nieprawdziwe
- zd. Prawdziwe
xZ: x + y = 3 - zd. nieprawdziwe (bo nie mamy danego y)
NEGACJA KWANTYFIKATORW
( x P(x))x (P(x))
(x P(x)) x P(x)
=
=
=
=
RELACJE
Dom() - dziedzina relacji
Cod() - przeciw dziedzina relacji
ZWROTNA xA: (x, x) (idA ) x: xPx
PRZECIWSTAWNA (ANTYZWROTNA) xA: (x, x) (idA = ) x: ( (xPx))
SYMETRYCZNA x,yA: (x, y) (y, x) = -1 x(y(xPyyPx))
ASYMETRYCZNA x,yA: (x, y) (y, x) -1 =
ANTYSYMETRYCZNA x,yA: ((x, y) (y, x) ) y = x -1 = x(y((xPyyPx)x=y))
PRZECHODNIA x,y,zA: (x, y) (y, z) (x, z) 2 = = x(y(z((xPyyPz)xPz)))
SPJNA x,yA: (x, y) (y, x) -1 = A2
D.UFUNDOWANA nie istnieje nieskoczony cig a1, a2, a3 an A, taki e (a1, a2) , (a2, a3)
KLASA ABSTRAKCJI elementu a A relacji rwnowanoci nazwiemy zbir wszystkich elementw, ktre s w relacji z a [a] =
{ x A: (x; a) }
ZBIR ILOCZYNOWY zbir klas abstrakcji relacji rwnowanoci ; A/ = {[a]:aA}
RELACJA RWNOWANOCI Zwrotna, przechodnia, symetryczna
RELACJA PORZDKU Zwrotna, przechodnia, antysymetryczna
RELACJA PORZDKU LINIOWEGO Relacja porzdku, spjno
Nazwa

Wzr oglny

Dla wszystkich chocia jeden

Zwrotno
Przeciwzwrotna
Symetryczna
Asymetryczna

x xU, x1Rx2
x xU, x1Rx2
x,y x,yU, xRy yRx
x,y x,yU, xRy (yRx)

Wystarczy e bdzie dla jednego

punktu (tego nie moe by)

Antysymetryczna
Przechodno

x,y x,yU, xRy yRx x=y

x,y,z x,y,zU, xRy yRz z=x

Spjno

x,y x,yU, xRy yRx

Dobrze ufundowana

Nie istnieje taki nieskoczony cig, e

(a1, a2, , an)A
Zwrotna, przechodnia,
symetryczna

Relacja rwnowanoci
Relacja porzdku
Relacja porzdku liniowego

Zwrotna, przechodnia,
antysymetryczna
Relacja porzdku, spjno

@@
@


@@

@@@

@ @ @

ZAPIS REKURENCYJNY
(An) = (3, 33, (33)3, ((33)3)3, (((33)3)3)3, ) an+1 = an^3
(An) = (3, 33, 3^(33), 3^(33)^3, 3^(33)^ (33), ) an+1 = 3^(an)
DZIAANIA NA POTGACH
aman = am+n
am/an = am-n
(ab)n = aman
(a/b)n = anbn
(am)n = amn
INDUKCJA MATEMATYCZNA
Wykaza rwno ciagw an i bn
Dane: a0 = 0; an+1 = an + (n+1)*2n+1; bn = (n-1)*2(n+1)+2
Rozwizanie:
1) a0 = b0 czyli b0 = 0, sprawdzenie b0 = (0-1)*2(0+1) = 0
2) zaoenie ind., an=bn, czyli an = (n-1)*2n+1+2
3) teza ind., an+1 = bn+1
an+1 = an + (n+1)*2n+1
bn+1 = ((n+1)-1)*2(n+1)+2=n*2 n+2
z zaoenia ind.:
an+1 = an {(n-1)*2n+1+2}+ (n+1)*2n+1 +2= 2n+1(n-1+n+1)+2 = 2n+1(2n)+2 = 2n+1+1 *n+2 = 2n+2 *n+2 an=bn
na mocy indukcji wykazaem, e an=bn
Wykaza e 6|10n+2 dla n>0
1) n = 1; 101+2 = 12 6|12
2) zaoenie ind., 10n+2 = 6*k
3) teza ind., 10n+1+2 = 6*s sZ
10n+1+2 = 10n *101+2 =10*(10n+2)-18 = 10*6k-18 = 6(10k-3) a to jest nasze s
Na mocy indukcji wykazaem e 10n+1 + 2 da si przedstawi w postacji iloczyny 6*s
Wykaza e zachodzi n2>n+1 dla n>1
1) n = 2; L=22=4 P=2+1=3 czyli L>P
2) zaoenie ind., n2>n+1 an=n2 bn=n+1
3) teza ind. n+1
an+1=(n+1)2=n2+2n+1
bn+1=(n+1)+1
n2+2n+1 > bn{(n+1)}+2n+1
n2+2n+1 > 3n+2
3n+2>n+2
Na mocy indukcji wykazaem e n2 > n+1
RACHUNEK ZBIORW-ZADANIA
((A(A))(B(B))) =
L= x((A(A)) (B(B)))= x((A(A)) (B(B)))
L= x((A(A)) (B(B)))
L= x((A (A)) (B (B)))
L= x((AA) (BB))
L= (x(AA) x(BB))
L= ((xAxA) ((xBxB)))
L= ((x) (x)) = x = P

s=10k-3 Z czyli n>0: 6|10n+2