grupy: R. Katarzyniak

Wrocław, listopad 2012

Wydział Informatyki i Zarządzania, rok I

Logika i Teoria Mnogości dla informatyków

LISTA ZADAŃ - pomocnicza

1.

Niech U={a, b, c} będzie uniwersum obiektów atomowych. Odwołując się do zbioru U zdefiniować
un

iwersum 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}