plik


ÿþWrocBaw, 13 pazdziernika 2015 WydziaB Informatyki i Zarzdzania, rok I Logika dla informatyków Zadania  lista 2 1. Niech {Ai | iÎðNat} bdzie rodzin zbiorów takich, |e Ai =def {i, i+1, & , i2}. Obliczy: 5Ø4Ü5ØVÜ, 5Ø4Ü5ØVÜ. Ã"5ØVÜ"5ØAÜ5ØNÜ5ØaÜ Â"5ØVÜ"5ØAÜ5ØNÜ5ØaÜ 2. Rodzin {An | nÎðNat} nazywa si zstpujc rodzin zbiorów, gdy An+1 Íð An dla nÎðNat. Udowodni, |e je[li {An | nÎðNat} oraz {Bn | nÎðNat} s rodzinami zstpujcymi, to: Èð Bi ) =ð( ) Èð( ) Ið(Ai IðAi IðBi iÎðNat iÎðNat iÎðNat 3. Dane s dwa zbiory A i B. Rozwiza równanie A Èð X = B. 4. Czy istniej zbiory A, B, C takie, |e A Çð B ¹ð Æð i A Çð C = Æð i (A Çð B)\C = Æð. 5. Udowodni, |e a) A Íð B Þð 2A Íð 2B b) 2A Íð 2B Þð A Íð B 6. Które z poni|szych stwierdzeD s prawdziwe dla dowolnych zbiorów A, B, C? Odpowiedz uzasadni. a) A Íð B Ùð BÎðC Þð AÎðC b) ((A Çð B) Çð C) = Æð Ùð (A Èð C) Íð B Þð A Çð C = Æð c) A Íð B Þð B Çð 2A `" Æð 7. Ile relacji binarnych mo|na zdefiniowa na produkcie kartezjaDskim A ´ð B, je|eli A oraz B s zbiorami skoDczonymi o liczno[ciach card(A) = n oraz card(B) = m. 8. UzupeBnij i udowodnij wzory: a) (A Çð B) ´ð C = (A ´ð C) Çð (B ´ð C) b) (A Èð B) ´ð C = ? c) (A Èð B) ´ð (C Èð D) = ? 9. Niech X =def {a, b, c, d} oraz R Íð X2. Zbada które spo[ród wBasno[ci: symetrii, przeciwsymetrii, zwrotno[ci, przeciwzwrotno[ci, przechodnio[ci, spójno[ci i równowa|no[ci maj nastpujce relacje binarne: a) R = {<a, a>, <b, b>, <a, b>, <b, a>, <d, b>} b) R = {<a, a>, <b, b>, <c, c>, <d, d>, <a, b>, <b, a>, <d, b>, <d, c>} 10. Niech X bdzie pewnym zbiorem osób. Jakie wBasno[ci (z zad. 7) ma relacja binarna R Íð X2 zdefiniowana nastpujco: <x, y>ÎðR wtedy i tylko wtedy, gdy osoba x jest dzieckiem osoby y. 11. Jak interpretacj ma zBo|enie relacji R, czyli R°ðR, zdefiniowanej w zadaniu 8. 12. Czy prawdziwe s nastpujce stwierdzenia dotyczce relacji binarnych na X: a) Suma dwóch relacji symetrycznych jest symetryczna. b) Cz[ wspólna (przekrój) dwu relacji przechodnich jest przechodnia. c) Je|eli R jest relacj przechodni oraz R Íð S Íð X2, to S jest relacj przechodni.

Wyszukiwarka

Podobne podstrony:
Zadania 2015 9
Zadania 2015 3
Zadania 2015 4
Zadania 2015 1
Zadania 2015 6
Zadania 2015 0
Zadania 2015 8
2015 Zadania dla studentów polskojezycznych na cwiczenia z antybiotyków
Zadania dodatkowe do Rachunku kosztów I UG 2015 16
MT I zadania Mikulski 2015
Przykładowe zadania na egzamin 2015
Analiza Matematyczna 2 Zadania
VA US Top 40 Singles Chart 2015 10 10 Debuts Top 100
ZARZÄ„DZANIE FINANSAMI cwiczenia zadania rozwiazaneE
ZADANIE (11)

więcej podobnych podstron