Vai al contenuto
Appunti di InformaticaUniTo · 2026/27

Riassunto settimanale · Parte 1 (modA) · Matematica Discreta · Canali A, B e C · 28/09 – 02/10/2026

Settimana 1: insiemi, De Morgan, induzione e partizioni

Le due lezioni della settimana in poche pagine: le definizioni da sapere, i metodi che servono nella domanda 1 e nella domanda 2 del quiz, le trappole e le domande per controllarti.

Lezioni
D01 mer 30/09 · D02 ven 02/10
Libro
A. Mori, Lezioni di Matematica Discreta, cap. 1, pp. 1–13
Tempo di ripasso
40 minuti
  • Definizione o risultato da sapere
  • Trappola / errore tipico
  • Conta all'esame
  • Oltre il libro
  • L'idea e il metodo, passo per passo

La settimana in 5 punti

  • Un insieme è un sacchetto di oggetti, i suoi elementi: conta solo chi c'è dentro, non l'ordine né le ripetizioni.
  • Elemento () e sottoinsieme () sono due cose diverse: è il trucco di quasi tutte le domande 1 del quiz.
  • Con gli insiemi si fanno unione, intersezione, differenza e complementare. Le leggi di De Morgan dicono come si comporta il «fuori».
  • I naturali si descrivono con gli assiomi di Peano, e da lì viene l'induzione. Un insieme con elementi ha sottoinsiemi.
  • Una partizione divide un insieme in parti non vuote che non si toccano: si riconosce con tre controlli.
§1

D01 · Insiemi e induzione (mer 30/09)

Insiemi.

  • Si scrive con le graffe: con l'elenco, , o con una regola, . La barra si legge «tali che».
  • : ordine e ripetizioni non contano.
  • Un insieme può stare dentro un altro: ha due elementi, lo zero e il sacchetto . Le graffe interne contano.
  • L'insieme vuoto non ha elementi; invece ne ha uno, il vuoto.
  • La cardinalità è il numero degli elementi: .

Per ogni ed esiste. si legge «per ogni», «esiste». Per dire il contrario «per ogni» diventa «esiste» e la proprietà si nega: il contrario di «tutti hanno superato l'esame» è «almeno uno non l'ha superato», non «nessuno». Per smontare una frase con «per ogni» basta un controesempio.

Sottoinsiemi. se ogni elemento di sta in . Il vuoto e stesso sono sempre sottoinsiemi di . Mori scrive anche quando i due insiemi possono essere uguali. Due insiemi sono uguali quando ognuno è contenuto nell'altro: è la doppia inclusione. L'insieme delle parti ha come elementi tutti i sottoinsiemi di : .

Metodo · Elemento o sottoinsieme?

  1. Elenca gli elementi di guardando solo le virgole al primo livello di graffe.
  2. «» è vera se compare identico in quell'elenco.
  3. «» è vera se è un insieme e ognuno dei suoi elementi compare nell'elenco.

Con : sì, no; sì, no; no, perché 1 non è un insieme.

Naturali e induzione.

  • : per Mori lo zero è un naturale.
  • Induzione, come il domino: passo base (la proprietà vale per il primo numero) e passo induttivo (se vale per , vale per ). Allora vale per tutti. Il passo base non si salta.
  • Esempi: ; quello del libro, .
  • Un insieme con elementi ha sottoinsiemi: per ogni elemento la scelta è «dentro» o «fuori». Quelli di che contengono 1 sono : fissi l'1 e scegli il resto.
  • Le famiglie di numeri: . Intervalli: con gli estremi esclusi, compresi.
§2

D02 · Complementare, De Morgan, induzione e partizioni (ven 02/10)

L'esempio che gira per tutta la lezione: = le tessere da 1 a 10, = i pari , = i multipli di 3 .

OperazioneSi leggeContieneCon le tessere
« intersecato »gli elementi in e in
« unione »gli elementi in oppure in , anche in tutti e due
« meno »gli elementi di che non stanno in
« meno »l'ordine conta
«complementare di in »gli elementi di fuori da
  • Due insiemi sono disgiunti se l'intersezione è vuota.
  • L'intersezione è un insieme: se allora e ; sono sbagliati e .
  • : , perché gli elementi comuni si contano una volta.
  • Proprietà distributive: , e la stessa con e scambiati.
  • Il complementare dipende da : in ha complementare , nelle dieci tessere . Il complementare del complementare è l'insieme di partenza.

Teorema · Leggi di De Morgan (teorema 1.18)

Come si legge. Fuori dall'unione vuol dire fuori da tutti e due: con le tessere . Fuori dall'intersezione vuol dire fuori da almeno uno: tutte tranne la 6. Il complementare entra nella parentesi e scambia e , come nella logica: il contrario di «piove e fa freddo» è «non piove oppure non fa freddo». Le stesse leggi valgono con la differenza: .

Assiomi di Peano, spiegati con quello che va storto quando ne manca uno:

RegolaSenza questa regola
1. lo zero è un naturale—
2. ogni naturale ha un successivo —
3. numeri diversi hanno successivi diversiil cappio: da 0 a 5, con il successivo di 5 uguale a 3, si rientra a metà strada
4. lo zero non è il successivo di nessunol'orologio: dopo le 11 vengono le 0
5. un insieme che contiene 0 e passa sempre al successivo contiene tutti i naturalii numeri fantasma: una seconda fila che da 0 non si raggiunge mai

La regola 5 è il principio di induzione.

Metodo · Dimostrare per induzione

  1. Passo base: controlla il primo numero, 0 oppure 1.
  2. Ipotesi induttiva: supponi la proprietà vera per .
  3. Passo induttivo: scrivi la proprietà per , parti dal lato sinistro, usa l'ipotesi e arriva al lato destro.
  4. Conclusione: vale per tutti i numeri dal primo in poi.

Esempi della lezione: , il quadrato che cresce di una «L»; . Il paradosso dei cavalli tutti dello stesso colore si rompe nel passo da 1 a 2.

Insieme delle parti, ricoprimenti, partizioni.

  • I sottoinsiemi di per grandezza sono . Aggiungere un elemento raddoppia il conto: quelli senza più quelli con.
  • Gli elementi di sono insiemi: ma . . Vale , ma in generale è più grande di .
  • Un ricoprimento di è un gruppo di sottoinsiemi di la cui unione è tutto ; le parti possono sovrapporsi.
  • sono i multipli di : i pari, i dispari, e .
  • L'insieme quoziente ha come elementi le parti di una partizione; è la parte che contiene . Per pari e dispari: e .
  • ha 5 partizioni; ne ha 15.

Metodo · È una partizione? Tre controlli

  1. L'unione delle parti è tutto l'insieme, e nessuna parte contiene elementi estranei.
  2. Nessuna parte è vuota.
  3. Nessuna sovrapposizione, controllata su ogni coppia di parti: ogni elemento sta in una parte sola.
§3

Verso l'esame

esame
  • Prova comune ai tre canali: 10 quiz a 5 risposte e 2 problemi, in 2 ore. Con meno di 6 nel quiz i problemi non si correggono; la sufficienza è 18. Si possono portare libro, appunti e una calcolatrice non programmabile.
  • Appelli 2026/27: martedì 19/01/2027 e mercoledì 03/02/2027, alle 14:00 (su MyUniTo l'appello si chiama «M.D.A.G.1»).
  • La domanda 1 riguarda quasi sempre gli insiemi: contro , unione e intersezione (appelli del 2025 e del 2026). La domanda 2 a volte chiede una partizione (04/02/2025) o «un ricoprimento ma non una partizione» (07/07/2025).
  • Nei problemi tornano i conteggi con e, più avanti, «almeno uno» contato come «tutti meno nessuno», cioè con il complementare.
  • Negli appelli di Matematica Discreta l'induzione non va scritta; a Fondamenti dell'Informatica il principio di induzione è tra gli argomenti dei quiz.
§4

Domande di ripasso

autoverifica

Rispondi a voce alta o per iscritto, poi apri la risposta.

Quanti elementi ha ?

Tre: il vuoto, l'insieme che contiene il vuoto e l'insieme .

Con : ? ? ?

no: in c'è , non . sì. no: servirebbe tra gli elementi di .

Qual è il contrario di «esiste un numero pari maggiore di 10»?

«Ogni numero pari è minore o uguale a 10». È falsa, quindi la frase di partenza è vera.

Quanti sottoinsiemi di contengono 1 e 2?

: fissati 1 e 2, gli altri tre elementi si scelgono liberamente.

Con , e , quanto fa ?

, quindi .

Le parti , , sono una partizione di ?

No: coprono tutto e nessuna è vuota, ma il 2 sta in due parti.

Quale assioma di Peano non vale per un orologio con le ore da 0 a 11?

Il quarto: lo zero è il successivo di 11.

Nel passo induttivo di , dove devi arrivare?

A .

§5

Quiz d'esame

come all'esame

Tutte domande vere dei quiz di Matematica Discreta, con la data dell'appello. Le risposte giuste sono quelle delle soluzioni ufficiali, ricontrollate con un programma. All'esame ogni domanda vale 1 punto, e servono almeno 6 punti su 10 nel quiz perché i problemi vengano corretti.

  1. Appello del 13/01/2026, domanda 1. Sia . Allora:
  2. Appello del 10/09/2026, domanda 1. Sia . Allora:
  3. Appello del 14/01/2025, domanda 1. Siano e . Allora:
  4. Appello del 04/02/2025, domanda 1. Siano e . Allora:
  5. Appello del 03/02/2026, domanda 1. Siano e . Allora:
  6. Appello del 06/06/2026, domanda 1. Ricordando che , cioè i multipli di , quale affermazione è vera?
  7. Appello del 01/07/2026, domanda 1. Siano , e . Quale dei seguenti è un sottoinsieme di ?
  8. Appello del 06/06/2025, domanda 1. Siano , e . Allora:
  9. Appello del 04/02/2025, domanda 2. Sia . Quale delle seguenti è una partizione di ?
  10. Appello del 07/07/2025, domanda 2. Sia . Quale è un ricoprimento di ma non una partizione?
  11. Appello del 06/06/2025, domanda 2. L'affermazione «per ogni e per ogni , » è contraddetta da: