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}