Sono state omesse le seguenti parti del libro nel capitolo 6 e nel capitolo 7 (e pertanto su tali parti non ci saranno domande obbligatorie nelle prove di esame):
6.3.2..3 Intersezione di un insieme non vuoto di insiemi
6.3.2.4. Riunione su un insieme
6.3.3.2 Le definizioni induttive
6.4.3. Principio di estensionalità per le funzioni
6.4.4. Proprietà e relazioni su insiemi
6.4.5.Relazioni d'ordine e insiemi ordinati
l'intero 7.2. Algebra di Boole
l'intero 7.3. I possibili connettivi proposizionali e la loro definibilità .
Tipologia di domande sul capitolo 6 (si veda anche le domande presenti nel capitolo 10):
a) come le principali relazioni tra classi (inclusione, condivisione di elementi, ...) vengono lette in logica classica,
b) il principio di estensionalità
c) il principio di comprensione,
c) l'antinomia di Russell
d) le principali operazioni sugli insiemi
e) saper indicare gli elementi dell'intersezione, della unione e del prodotto cartesiano di due insiemi dati, e della potenza di un insieme dato
f) i numeri naturali e la loro definizione induttiva
g) grafo e rango di una funzione
h) funzione totale, invettiva, suriettiva; corrispondenza biunivoca
i) insiemi equipotenti; esistenza di insiemi infiniti non equipotenti (teorema di Cantor) .
Tipologia di domande sul capitolo 7 (si veda anche le domande presenti nel capitolo 10):
a) successioni finite di bit
b) teorema che permette la rappresentazione dei numeri naturale in una base qualunque maggiore o uguale a 2;
c) saper rappresentare un numero in base due;
d) saper dire quale numero naturale è rappresentato da una data successione finita di bit;
e) cos'è una codificazione
f) come si codificano gli alfabeti
g) come si codificano le successioni finite di numeri naturali
h) come si codificano i test.
6.3.2..3 Intersezione di un insieme non vuoto di insiemi
6.3.2.4. Riunione su un insieme
6.3.3.2 Le definizioni induttive
6.4.3. Principio di estensionalità per le funzioni
6.4.4. Proprietà e relazioni su insiemi
6.4.5.Relazioni d'ordine e insiemi ordinati
l'intero 7.2. Algebra di Boole
l'intero 7.3. I possibili connettivi proposizionali e la loro definibilità .
Tipologia di domande sul capitolo 6 (si veda anche le domande presenti nel capitolo 10):
a) come le principali relazioni tra classi (inclusione, condivisione di elementi, ...) vengono lette in logica classica,
b) il principio di estensionalità
c) il principio di comprensione,
c) l'antinomia di Russell
d) le principali operazioni sugli insiemi
e) saper indicare gli elementi dell'intersezione, della unione e del prodotto cartesiano di due insiemi dati, e della potenza di un insieme dato
f) i numeri naturali e la loro definizione induttiva
g) grafo e rango di una funzione
h) funzione totale, invettiva, suriettiva; corrispondenza biunivoca
i) insiemi equipotenti; esistenza di insiemi infiniti non equipotenti (teorema di Cantor) .
Tipologia di domande sul capitolo 7 (si veda anche le domande presenti nel capitolo 10):
a) successioni finite di bit
b) teorema che permette la rappresentazione dei numeri naturale in una base qualunque maggiore o uguale a 2;
c) saper rappresentare un numero in base due;
d) saper dire quale numero naturale è rappresentato da una data successione finita di bit;
e) cos'è una codificazione
f) come si codificano gli alfabeti
g) come si codificano le successioni finite di numeri naturali
h) come si codificano i test.