Teoria degli insiemi

Principi di base

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 1

 Definizione di insieme
L’insieme è una collezione di oggetti chiamati
elementi:
•indicato con una lettera maiuscola
dell’alfabeto (A,B,C,…)
•caratterizzato da un criterio di appartenenza
che definisce in modo inequivocabile se un
oggetto appartiene o non appartiene ad un
insieme…..

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 2

 Definizione di insieme
….
•Le ragazze di questa classe
•I biondi di questa classe
•Gli studenti che usano Facebook
•Gli amici su Facebook……..

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 3

 Per rappresentare un insieme
abbiamo tre possibilità:
1) Rappresentazione estensiva
A = {0, 1, 2, 3, 4}
2) Rappresentazione intensiva
A = {x ⏐ x ∈ N e x < 5}
12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 4
 3) Rappresentazione con
diagrammi
•1
•0
•3
•2
•4

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 5

 Un insieme può essere
contenuto in un altro
A

•0 B •4
•1 •2
•3

Si dice allora che B è un sottoinsieme di A:

B⊆A
12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 6
OPERAZIONI TRA INSIEMI

„ Intersezione
„ Unione
„ Complementare

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 7

 Si definisce intersezione di due
insiemi A e B, l'insieme formato dagli
elementi comuni ad A e B.

intersezione è la
parte colorata

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 8

 A = {0,1,2,3,4} e B = {2,4,6},
l’intersezione tra A e B è data dal
seguente insieme:

A ∩ B = {2, 4}

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 9

 A = {0,1,2,3,4} e B = {2,4,6},
l’intersezione tra A e B è data dal
seguente insieme:
A ∩ B = {x ⏐x ∈ A e x ∈ B}

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 10

 Si definisce unione di due insiemi A
e B, l'insieme degli elementi che
appartengono ad almeno uno dei due
insiemi dati.
A

l’unione è la parte
colorata

B
12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 11
 A = {1,2,3,5} e B = {2,3,4,6},
l’unione tra A e B è data dal
seguente insieme:

A ∪ B = {1,2,3,4,5,6}

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 12

 A = {1,2,3,5} e B = {2,3,4,6},
l’unione tra A e B è data dal
seguente insieme:
A ∪ B = {x ⏐x ∈ A o x ∈ B}

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 13

 Si definisce differenza complementare
fra l’insieme U e il suo sottoinsieme A,
l’insieme degli elementi che stanno in
U ma non in A.
A⊆U
U

A Il complementare di
A rispetto ad U si
indica con U - A,

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 14

 U = {1,2,3,5} e A = {2,3},il
complementare di A è dato dal
seguente insieme:

U - A = {1,5}
U – A = {x ⏐x ∈ U e x ∉ A}

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 15

 U = {1,2,3,5} e A = {2,3}, il
complementare di A è dato dal
seguente insieme:

U-A U – A = {x ⏐x ∈ U e x ∉ A}
.1
.2 A
.3
.5

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 16

Operatori Booleani
„ Prendono il nome da George Boole, 1815-
1864, matematico e logico inglese
considerato il padre della logica matematica:
„ AND

„ OR

„ NOT

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 17

AND
„ <E> logico, intersezione
A

Mazzini <E> Garibaldi, comprende tutti i casi in

cui si parla sia di Mazzini che di Garibaldi
12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 18
OR
„ <O> logico, unione

Mazzini <O> Garibaldi, comprende tutti i casi in cui si

parla o di Mazzini o di Garibaldi o di tutti e due
12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 19
NOT
„ <NON> logico, complementare

Mazzini <NON> Garibaldi, comprende tutti i casi in cui

si parla di Mazzini ma non di Garibaldi
12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 20
Operatori Booleani e ricerca
Operatore Uso Esempio

AND Trova i Mazzini AND

documenti nei Garibaldi
quali siano trova i
presenti documenti in
TUTTI i cui si tratta sia
termini indicati di Mazzini che
di Garibaldi

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 21

Operatori Booleani e ricerca
Operatore Uso Esempio

OR Trova i Mazzini OR
documenti nei Garibaldi
quali sia trova i
presente documenti in
ALMENO uno cui si tratta o
dei termini di Mazzini o di
indicati Garibaldi o di
tutti e due
12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 22
Operatori Booleani e ricerca
Operatore Uso Esempio

NOT Trova i Mazzini NOT

documenti Garibaldi
che trova i
contengano documenti in
un termine cui si tratta di
senza Mazzini ma
contenerne un non di
altro Garibaldi
12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 23
Operazioni logiche con i numeri binari

„ Due sole varabili che possono assumere i

valori zero oppure uno
„ Costruzione della tabella di verità
„ VERO=1; FALSO =0
„ AND, OR, NOT, XOR

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 24

AND
„ Il risultato dell’operazione AND è vero se
A e B sono vere; tabella di verità:

A B AND
0 0 0
0 1 0
1 0 0
1 1 1
12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 25
OR
„ Il risultato dell’operazione OR è vero se A
o B oppure entrambe sono vere; tabella di
verità:
A B OR
0 0 0
0 1 1
1 0 1
1 1 1
12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 26
NOT
„ Coinvolge una sola variabile (A) e ha il
compito di restituire il valore logico
opposto; tabella di verità:

A NOT
0 1
1 0

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 27

OR Esclusivo
„ Il risultato dell’operazione OR esclusivo è
vero se A o B MA NON entrambe sono
vere; tabella di verità:
A B OR Esclusivo
0 0 0
0 1 1
1 0 1
1 1 0
12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 28
Esercizio
„ Dati gli insiemi A={ a,b,c,d,e }, B={d,e,f,g }
l’insieme unione U= A ∪ B è:
„ U= { d,e }
„ U= { a,b,c,f,g }
„ U= { a,b,c,d,e,f,g }

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 29

Soluzione Esercizio
„ Dati gli insiemi A={ a,b,c,d,e }, B={d,e,f,g }
l’insieme unione U= A ∪ B è:
„ U= { d,e }
„ U= { a,b,c,f,g }
„ U= { a,b,c,d,e,f,g }

12/02/2011 Fondamenti di Informatica - Prof. Gregorio Cosentino 30