grupy: R. Katarzyniak
Wrocław, listopad 2012
Wydział Informatyki i Zarządzania, rok I
Logika i Teoria Mnogości dla informatyków
LISTA ZADAC
- pomocnicza
1. Niech U={a, b, c} będzie uniwersum obiektów atomowych. Odwołując się do zbioru U zdefiniować
uniwersum U obiektów zÅ‚ożonych takie, że AÍðU i BÍðU oraz obliczyć AÇðB, AÈðB, A\B, B\A dla
zbiorów A i B:
a) A = {{a,b},c} B = {c,d}
b) A = {{a,{a}},a} B = {a, {a}}
·ð
2. Niech dane bÄ™dzie uniwersum U={a,b,c,d,e,f} i definicje operacji Çð, Èð, , \, licznoÅ›ci i inkluzji
Èð
(zawierania siÄ™) zbiorów podane w zaÅ‚Ä…czniku do listy (patrz strony poniżej). Dla zbiorów A,BÍðU:
·ð
2.1. Wyznaczyć AÇðB, AÈðB, A B, A\B, B\A.
Èð
·ð
2.2. Wyznaczyć licznoÅ›ci ôðAôð, ôðBôð, ôðAÇðBôð, ôðAÈðBôð, ôðA Bôð, ôðA\Bôð, ôðB\Aôð.
Èð
Polecenia wykonać dla następujących par zbiorów:
a) A = {0a,3b,2c,0d,1e,2f } B = {2a,1b,4c,0d,0e,1f}
b) A = {1a,0b,1c,1d,1e,0f } B = {0a,1b,1c,1d,0e,1f}