Conta le variabili distinte: la tabella di verità ha 2ⁿ righe, e la prima ha tutti i valori a 1.
Assegna a ogni sottoformula una colonna propria e compila le colonne dall’interno verso l’esterno.
Applica la regola di ogni connettivo: → vale 0 solo per 1 → 0, ↔ vale 1 quando i due lati coincidono.
Per le equivalenze, confronta riga per riga le colonne finali; per un argomento, guarda solo le righe in cui ogni premessa vale 1.
Per negare un enunciato quantificato, sposta ¬ verso l’interno, scambia ∀ e ∃ e nega la formula interna.
Logica digitale: porte, mappe K e flip-flop
Porte di base
A·B, A + B, A′, (A·B)′, (A + B)′, A ⊕ B
Regole booleane
X + X′ = 1, X·X′ = 0, X + XY = X, XY + XY′ = X
De Morgan
(X·Y)′ = X′ + Y′, (X + Y)′ = X′·Y′
Ordine della mappa di Karnaugh
00, 01, 11, 10 (Gray code)
Gruppo di 2ᵏ celle
perde k variabili
Multiplexer 4 a 1
F = A′B′I0 + A′BI1 + AB′I2 + ABI3
Flip-flop
D: Q⁺ = D, T: Q⁺ = T ⊕ Q, JK: Q⁺ = JQ′ + K′Q
Contatori
n bit: 2ⁿ stati; mod N: n minimo con 2ⁿ ≥ N; fout = fclk/N
Contatore asincrono (ripple)
fmax = 1/(n·tpd)
Contatori ad anello e Johnson
n e 2n stati
Metodo
Per un circuito, procedi dagli ingressi all’uscita una porta alla volta e scrivi il valore su ogni filo, oppure scrivi la sua espressione e compila la tabella di verità.
Per la semplificazione, riporta gli 1 (e le condizioni di indifferenza come X) in una mappa di Karnaugh con righe e colonne in codice Gray: 00, 01, 11, 10.
Copri gli 1 con il minor numero possibile di gruppi, i più grandi possibile, di 1, 2, 4, 8 o 16 celle, richiudendoli sui bordi; ogni gruppo è un termine prodotto formato dalle variabili che restano costanti. Raggruppa gli 0 per la forma POS.
Per flip-flop e contatori, leggi gli ingressi a ogni fronte attivo del clock, scrivi lo stato dopo ogni fronte e ricorda che un contatore a n bit ricomincia da capo dopo 2ⁿ stati.
Teoria dei numeri e aritmetica modulare
Divisione con resto
a = q·n + r, 0 ≤ r < n
Euclide
gcd(a, b) = gcd(b, a mod b)
Minimo comune multiplo
lcm(a, b) = a·b/gcd(a, b)
Inversa
a·a⁻¹ ≡ 1 (mod n), gcd(a, n) = 1
Congruenza lineare
a·x ≡ b → x ≡ a⁻¹·b (mod n)
Funzione φ di Eulero
φ(n) = n·∏(1 − 1/p), φ(pᵏ) = pᵏ − pᵏ⁻¹
Fermat
aᵖ⁻¹ ≡ 1 (mod p)
RSA
n = pq, φ = (p − 1)(q − 1), d = e⁻¹ mod φ, c = mᵉ mod n, m = cᵈ mod n
Metodo
Riduci prima ogni numero modulo n; i resti sono compresi tra 0 e n − 1.
Per un MCD, dividi ripetutamente con l’algoritmo di Euclide; l’ultimo resto diverso da zero è il MCD.
Per un inverso, esegui l’algoritmo esteso e tieni il coefficiente di a; aggiungi n se è negativo.
Risolvi a·x ≡ b moltiplicando per a⁻¹; combina due congruenze scrivendo x = r₁ + m₁k.
Per le potenze, scrivi l’esponente in binario ed eleva al quadrato ripetutamente; in RSA, d = e⁻¹ mod φ(n) con φ(n) = (p − 1)(q − 1).
Teoria dei grafi
Lemma delle strette di mano
Σ deg(v) = 2|E|
Grafi completi
|E(Kn)| = n(n − 1)/2, |E(Km,n)| = m·n
Grafo regolare
|E| = n·k/2
Albero e foresta
|E| = n − 1, |E| = n − c
Foglie di un albero
L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
Eulero
circuito: tutti i gradi pari; cammino: esattamente 2 gradi dispari
Cicli hamiltoniani in Kn
(n − 1)!/2
Aggiornamento di Dijkstra
d(v) = min(d(v), d(u) + w(u, v))
Cammini di lunghezza L
(Mᴸ)ij
Metodo
Scrivi il grado di ogni vertice; la somma dei gradi è il doppio del numero di lati.
Nelle domande su Eulero, verifica che il grafo sia connesso e conta i vertici di grado dispari.
Per gli alberi, usa n − 1 lati e il lemma delle strette di mano.
Per Dijkstra, tieni una tabella delle distanze provvisorie e a ogni passo fissa il vertice non ancora fissato con la distanza minima.
Per un albero di copertura minimo, ordina i lati per peso e salta ogni lato che chiude un ciclo (Kruskal), oppure fai crescere un solo albero a partire da un vertice iniziale (Prim).
Sottoreti IPv4
Host per sottorete
2(32 − prefix) − 2 (/31: 2, /32: 1)
Dimensione del blocco
256 − (mask octet)
Indirizzo di rete
IP AND maschera
Indirizzo di broadcast
IP OR (NOT maschera): tutti i bit di host a 1
Sottoreti da n bit presi in prestito
2n
2Esercizi
1.Sistemi di numerazioneMedia
Scrivi −22 come sequenza a 8 bit in complemento a due. Leggi la sequenza come numero binario senza segno: qual è il suo valore U in decimale?
N = −228 bit
U =
2.Sistemi di numerazioneDifficile
Qual è il più grande intero senza segno N che sta in 16 bit?
16 bit
N =
3.Logica proposizionale e dimostrazioniMedia
Vuoi dimostrare ¬c → ¬a per assurdo. Quale enunciato assumi all’inizio? Clicca su di esso.
¬c → ¬a
1¬¬c → ¬¬a
2¬¬c ∧ ¬a
3¬¬c ∧ ¬¬a
4¬c ∧ ¬¬a
4.Logica proposizionale e dimostrazioniDifficile
Quante delle 16 righe della tabella di verità rendono vera ((¬b ∧ a) ↔ d) ∧ (¬a → c)? Chiama questo numero N.
((¬b ∧ a) ↔ d) ∧ (¬a → c)
N =
5.Logica digitale: porte, mappe K e flip-flopMedia
Usa la mappa di Karnaugh per trovare la forma minima a somma di prodotti (SOP) di F(A, B, C, D) = Σm(3, 5, 6, 7, 8, 9, 12). Quanti termini prodotto N ha?
F(A, B, C, D) = Σm(3, 5, 6, 7, 8, 9, 12)
N =
6.Logica digitale: porte, mappe K e flip-flopDifficile
Trova la forma SOP minima di F(A, B, C, D) = Σm(1, 2, 4, 7, 8, 12, 14, 15) + d(0, 5, 6), dove d indica le condizioni di indifferenza. Quanti termini prodotto N ha?
Risolvi 15x ≡ 22 (mod 41). Dai la soluzione x con 0 < x < 41.
15x ≡ 22 (mod 41)
x =
8.Teoria dei numeri e aritmetica modulareDifficile
73 è primo. Usa il piccolo teorema di Fermat per trovare 2960922 mod 73.
p = 73k = 60922
2960922 mod 73 =
9.Algoritmi e complessitàMedia
Qual è la complessità temporale dell'algoritmo di Bellman–Ford su un grafo con V vertici ed E archi?
AO(V + E)
BO(E log V)
CO(V³ × E)
DO(V × E)
10.Algoritmi e complessitàDifficile
Il problema dello zaino 0/1 risolto con la programmazione dinamica richiede tempo O(nW). Perché si dice pseudo-polinomiale?
APerché n è sempre piccolo
BW è un numero, quindi il tempo è esponenziale nel numero di bit usati per scrivere W
CPerché l'algoritmo è randomizzato e il suo tempo di esecuzione varia a ogni input
DPerché funziona solo per W = 0
11.Strutture datiMedia
A che cosa serve un nodo sentinella (fittizio) in una lista concatenata?
AA memorizzare il numero di elementi
BA rendere la lista ordinata
CA semplificare il codice eliminando i casi particolari in testa o in coda
DA impedire che la lista cresca oltre un numero massimo fisso di nodi
12.Strutture datiDifficile
Perché in un filtro di Bloom standard non si possono semplicemente eliminare gli elementi azzerandone i bit?
AI filtri di Bloom memorizzano gli elementi completi, che una volta sottoposti a hash non si possono più ritrovare
BL'eliminazione porterebbe il tasso di falsi positivi al 100%
CQuei bit possono appartenere anche ad altri elementi, il che causerebbe falsi negativi
DI bit di un filtro di Bloom non si possono modificare dopo la creazione
13.Teoria dei grafiMedia
Il grafo connesso ha un circuito euleriano, un cammino euleriano che non è un circuito, oppure nessuno dei due? Clicca la tua risposta.
|V| = 7|E| = 7
1Circuito euleriano
2Cammino euleriano, nessun circuito
3nessuna delle due
14.Teoria dei grafiDifficile
L’algoritmo di Prim costruisce un albero di copertura minimo a partire dal vertice F. Clicca il lato che aggiunge come lato numero 5.
partenza: Fk = 5
1lato AB
2lato AC
3lato BC
4lato BD
5lato CE
6lato DE
7lato DF
8lato BE
15.Basi di dati e SQLMedia
Una colonna contiene i valori 10, 20 e NULL. Che cosa restituisce AVG(col)?
A15
B10
C30
DNULL
16.Basi di dati e SQLDifficile
Perché SELECT dept, name, COUNT(*) FROM emp GROUP BY dept non è valida nello standard SQL?
Adept deve comparire dentro una funzione di aggregazione
BGROUP BY deve elencare tutte le colonne della tabella
Cname non è né raggruppato né aggregato, quindi non ha un unico valore per gruppo
DCOUNT(*) non si può usare insieme a GROUP BY
17.Reti di calcolatoriMedia
Che cosa identifica univocamente un'estremità di una connessione TCP su Internet?
AUna subnet mask e un gateway
BUn indirizzo IP insieme a un numero di porta
CSolo un indirizzo MAC
DSolo un nome di dominio
18.Reti di calcolatoriDifficile
Un firewall blocca tutto l'ICMP. Le piccole richieste web funzionano, ma i download di grandi dimensioni su alcuni percorsi si bloccano. Qual è la causa probabile?
AIl path MTU discovery fallisce perché i messaggi «fragmentation needed» sono bloccati
BI certificati TLS vengono inviati tramite ICMP
CIl DNS ha bisogno di ICMP per risolvere i nomi
DTCP non può aprire connessioni senza ICMP
19.Sottoreti IPv4Media
Un reparto ha bisogno di 67 indirizzi host in un'unica sottorete. Qual è la lunghezza di prefisso più lunga p (la sottorete più piccola) sufficiente?
67 hosts
p =
20.Sottoreti IPv4Difficile
Un host ha l'indirizzo 10.20.78.182/30. Qual è l'ultimo numero (quarto ottetto) x dell'indirizzo di broadcast della sua sottorete?
10.20.78.182/30
x =
3Soluzioni
1.Sistemi di numerazione
Risposta: U = 234
Sistemi di numerazione posizionali: ogni cifra vale il suo valore per una potenza della base. In binario le posizioni valgono 1, 2, 4, 8, 16, …; in esadecimale 1, 16, 256, …, con A–F per 10–15. Nel complemento a due a 8 bit il bit più a sinistra vale −128 invece di +128: così si memorizzano i numeri negativi.
Inverti e aggiungi uno
22 = 0001 0110
invertito: 1110 1001
+1 → 1110 1010
Leggilo senza segno
1110 1010₂ = 256 − 22 = 234
Risposta
U = 234
2.Sistemi di numerazione
Risposta: N = 65535
Sistemi di numerazione posizionali: ogni cifra vale il suo valore per una potenza della base. In binario le posizioni valgono 1, 2, 4, 8, 16, …; in esadecimale 1, 16, 256, …, con A–F per 10–15. Nel complemento a due a 8 bit il bit più a sinistra vale −128 invece di +128: così si memorizzano i numeri negativi.
Valore massimo
216 − 1 = 65535
Risposta
N = 65535
3.Logica proposizionale e dimostrazioni
Risposta: ¬c ∧ ¬¬a
Equivalenza logica: due formule sono equivalenti (≡) quando hanno lo stesso valore in ogni riga della tabella di verità. Una tautologia vale 1 in ogni riga, una contraddizione vale 0 in ogni riga, e una contingenza non è né l’una né l’altra. Leggi utili: De Morgan, ¬(a ∧ b) ≡ ¬a ∨ ¬b e ¬(a ∨ b) ≡ ¬a ∧ ¬b; a → b ≡ ¬a ∨ b ≡ ¬b → ¬a (contronominale); ¬(a → b) ≡ a ∧ ¬b; e le leggi distributive, a ∨ (b ∧ c) ≡ (a ∨ b) ∧ (a ∨ c).
Parti dell’implicazione
a = ¬c, b = ¬a
Negazione dell’implicazione
¬(a → b) ≡ a ∧ ¬b = ¬c ∧ ¬¬a
Risposta
¬c ∧ ¬¬a
Se l’ipotesi porta a una contraddizione, l’implicazione deve essere vera.
4.Logica proposizionale e dimostrazioni
Risposta: N = 6
Tabelle di verità: una formula con n variabili distinte ha 2ⁿ righe, una per ogni combinazione di valori di verità (1 = vero, 0 = falso). Procedi dall’interno verso l’esterno e dai a ogni sottoformula una colonna propria. ¬a inverte il valore; a ∧ b vale 1 solo quando entrambi valgono 1; a ∨ b vale 0 solo quando entrambi valgono 0; a → b vale 0 solo quando a = 1 e b = 0; a ↔ b vale 1 quando i due lati sono uguali.
Colonne
¬b; ¬b ∧ a; (¬b ∧ a) ↔ d; ¬a; ¬a → c; ((¬b ∧ a) ↔ d) ∧ (¬a → c)
Dividi secondo a
a = 1: 4
a = 0: 2
N = 4 + 2 = 6
Risposta
N = 6
5.Logica digitale: porte, mappe K e flip-flop
Risposta: N = 5
Mappe di Karnaugh: le celle sono ordinate in codice Gray (00, 01, 11, 10), quindi le celle vicine, comprese quelle attraverso i bordi, differiscono per esattamente una variabile. Raggruppa gli 1 in rettangoli di 1, 2, 4, 8 o 16 celle, i più grandi e il meno numerosi possibile, finché ogni 1 non è coperto. Ogni gruppo è un termine prodotto: le variabili che restano costanti al suo interno. Un gruppo di 2ᵏ celle perde k variabili. Le condizioni di indifferenza (X) possono servire a ingrandire i gruppi ma non devono mai essere coperte. Raggruppando invece gli 0 si ottiene la forma POS minima.
Raggruppa gli 1
Ogni gruppo è un rettangolo di 2ᵏ celle; le celle di bordo sono vicine alle celle del bordo opposto.
A′CD
AC′D′
A′BD
A′BC
AB′C′
Forma SOP minima
F = A′CD + AC′D′ + A′BD + A′BC + AB′C′
N = 5
Risposta
N = 5
6.Logica digitale: porte, mappe K e flip-flop
Risposta: N = 4
Mappe di Karnaugh: le celle sono ordinate in codice Gray (00, 01, 11, 10), quindi le celle vicine, comprese quelle attraverso i bordi, differiscono per esattamente una variabile. Raggruppa gli 1 in rettangoli di 1, 2, 4, 8 o 16 celle, i più grandi e il meno numerosi possibile, finché ogni 1 non è coperto. Ogni gruppo è un termine prodotto: le variabili che restano costanti al suo interno. Un gruppo di 2ᵏ celle perde k variabili. Le condizioni di indifferenza (X) possono servire a ingrandire i gruppi ma non devono mai essere coperte. Raggruppando invece gli 0 si ottiene la forma POS minima.
Implicanti primi
I gruppi più grandi che si possono formare con 1 e X.
C′D′, BD′, BC, A′D′, A′C′, A′B
Copertura minima
F = C′D′ + BC + A′D′ + A′C′
N = 4
Risposta
N = 4
7.Teoria dei numeri e aritmetica modulare
Risposta: x = 37
Inversi e congruenze: a ha un inverso modulo n esattamente quando MCD(a, n) = 1. L’algoritmo di Euclide esteso scrive 1 = s·n + t·a, e allora a⁻¹ ≡ t (mod n). Una congruenza a·x ≡ b (mod n) con MCD(a, n) = 1 ha la soluzione x ≡ a⁻¹·b. Due congruenze x ≡ r₁ (mod m₁) e x ≡ r₂ (mod m₂) con moduli coprimi hanno una soluzione modulo m₁·m₂ (teorema cinese del resto). La φ di Eulero φ(n) conta i numeri da 1 a n coprimi con n: φ(n) = n·∏(1 − 1/p).
Inverso di 15
r = 41, t = 0
r = 15, q = 2, t = 1
r = 11, q = 1, t = −2
r = 4, q = 2, t = 3
r = 3, q = 1, t = −8
r = 1, q = 3, t = 11
15−1 ≡ 11 (mod 41)
Risolvi
x ≡ 11·22 = 242 ≡ 37 (mod 41)
verifica: 15·37 = 555 ≡ 22 (mod 41)
Risposta
x = 37
8.Teoria dei numeri e aritmetica modulare
Risposta: 2960922 mod 73 = 19
Potenze modulari e RSA: calcola aᵏ mod n con il quadrato ripetuto: scrivi k in binario, eleva al quadrato, riduci a ogni passaggio e moltiplica le potenze il cui bit è 1. Fermat: aᵖ⁻¹ ≡ 1 (mod p) per un primo p che non divide a, quindi l’esponente si può ridurre modulo p − 1. RSA: scegli i primi p e q, n = p·q e φ(n) = (p − 1)(q − 1); l’esponente pubblico e è coprimo con φ(n), e l’esponente privato è d = e⁻¹ mod φ(n). Cifra con c = mᵉ mod n e decifra con m = cᵈ mod n.
Riduci l’esponente
60922 mod 72 = 10
2960922 ≡ 2910 (mod 73)
Potenza piccola
2910 mod 73 = 19
Risposta
2960922 mod 73 = 19
9.Algoritmi e complessità
Risposta: D · O(V × E)
Perché è questa la risposta
Ciascuno dei V − 1 turni rilassa tutti gli E archi, da cui O(VE); in cambio gestisce pesi negativi degli archi.
Risposta
D · O(V × E)
10.Algoritmi e complessità
Risposta: B · W è un numero, quindi il tempo è esponenziale nel numero di bit usati per scrivere W
Perché è questa la risposta
Il tempo di esecuzione è polinomiale nel valore di W ma esponenziale nella sua lunghezza (log W bit); lo zaino 0/1 è NP-completo.
Risposta
B · W è un numero, quindi il tempo è esponenziale nel numero di bit usati per scrivere W
11.Strutture dati
Risposta: C · A semplificare il codice eliminando i casi particolari in testa o in coda
Perché è questa la risposta
Con una sentinella ogni nodo reale ha un predecessore, quindi inserire o eliminare in testa non richiede una gestione speciale.
Risposta
C · A semplificare il codice eliminando i casi particolari in testa o in coda
12.Strutture dati
Risposta: C · Quei bit possono appartenere anche ad altri elementi, il che causerebbe falsi negativi
Perché è questa la risposta
Azzerare un bit condiviso farebbe sembrare assente un altro elemento; i filtri di Bloom a conteggio (counting Bloom filter) usano contatori invece di bit per permettere l'eliminazione.
Risposta
C · Quei bit possono appartenere anche ad altri elementi, il che causerebbe falsi negativi
13.Teoria dei grafi
Risposta: Cammino euleriano, nessun circuito
Eulero, Hamilton e alberi: un grafo connesso ha un circuito euleriano (ogni lato una volta, di nuovo al punto di partenza) quando ogni vertice ha grado pari, e un cammino euleriano che non è un circuito quando esattamente due vertici hanno grado dispari; il cammino va allora da un vertice dispari all’altro. Un ciclo hamiltoniano visita ogni vertice una volta; Kn ne ha (n − 1)!/2. Un albero con n vertici ha n − 1 lati, e un grafo connesso con m lati mantiene un albero di copertura dopo aver tolto m − n + 1 lati.
Il cammino euleriano parte da un vertice dispari e termina nell’altro.
14.Teoria dei grafi
Risposta: lato AB
Cammini minimi e alberi di copertura: l’algoritmo di Dijkstra fissa un vertice per passo: il vertice non fissato con la distanza provvisoria minima. La sua distanza è allora definitiva, e ogni vertice adiacente v riceve d(v) = min(d(v), d(u) + w(u, v)). L’algoritmo di Kruskal costruisce un albero di copertura minimo prendendo i lati dal più leggero al più pesante e saltando ogni lato che chiuderebbe un ciclo; l’algoritmo di Prim fa crescere un solo albero da un vertice iniziale aggiungendo sempre il lato più leggero che ne esce. Un albero di copertura di n vertici ha n − 1 lati.
Algoritmo di Prim
1. DF (15)
2. DE (16)
3. CE (14)
4. AC (8)
5. AB (5)
lato numero 5
AB
Risposta
lato AB
15.Basi di dati e SQL
Risposta: A · 15
Perché è questa la risposta
AVG ignora NULL, quindi calcola la media di 10 e 20 ottenendo 15, non 30 / 3 = 10.
Risposta
A · 15
16.Basi di dati e SQL
Risposta: C · name non è né raggruppato né aggregato, quindi non ha un unico valore per gruppo
Perché è questa la risposta
Ogni colonna dell'elenco della SELECT deve essere nel GROUP BY o dentro un aggregato (oppure dipendere funzionalmente dalle colonne di raggruppamento); altrimenti il valore è ambiguo.
Risposta
C · name non è né raggruppato né aggregato, quindi non ha un unico valore per gruppo
17.Reti di calcolatori
Risposta: B · Un indirizzo IP insieme a un numero di porta
Perché è questa la risposta
Una connessione TCP è identificata da IP e porta di origine più IP e porta di destinazione. Le porte distinguono le numerose applicazioni su uno stesso host.
Risposta
B · Un indirizzo IP insieme a un numero di porta
18.Reti di calcolatori
Risposta: A · Il path MTU discovery fallisce perché i messaggi «fragmentation needed» sono bloccati
Perché è questa la risposta
Il PMTUD si basa sui messaggi ICMP per conoscere l'MTU più piccola. Se vengono scartati, i pacchetti grandi scompaiono senza segnalazione, creando una connessione «black hole».
Risposta
A · Il path MTU discovery fallisce perché i messaggi «fragmentation needed» sono bloccati
19.Sottoreti IPv4
Risposta: p = 25
Sottoreti IPv4: un indirizzo ha 32 bit. Il prefisso /p indica quanti bit iniziali identificano la rete; i restanti 32 − p bit numerano gli host. Una sottorete ha 2³²⁻ᵖ indirizzi, ma il primo (indirizzo di rete) e l'ultimo (broadcast) non si possono assegnare agli host, quindi ci stanno 2³²⁻ᵖ − 2 host. Eccezioni: una /31 (collegamento punto-punto, RFC 3021) usa entrambi i suoi 2 indirizzi per gli host, e una /32 è un solo indirizzo (un singolo host o un’interfaccia di loopback).
Bit di host necessari
26 − 2 = 62 < 67
27 − 2 = 126 ≥ 67 → h = 7
Lunghezza del prefisso
p = 32 − 7 = 25
Risposta
p = /25
20.Sottoreti IPv4
Risposta: x = 183
Sottoreti IPv4: un indirizzo ha 32 bit. Il prefisso /p indica quanti bit iniziali identificano la rete; i restanti 32 − p bit numerano gli host. Una sottorete ha 2³²⁻ᵖ indirizzi, ma il primo (indirizzo di rete) e l'ultimo (broadcast) non si possono assegnare agli host, quindi ci stanno 2³²⁻ᵖ − 2 host. Eccezioni: una /31 (collegamento punto-punto, RFC 3021) usa entrambi i suoi 2 indirizzi per gli host, e una /32 è un solo indirizzo (un singolo host o un’interfaccia di loopback).