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
Imposta i bit in modo che memorizzino −77 in complemento a due a 8 bit. Letto come numero senza segno, qual è il valore U dello schema?
N = −778 bit
U =
2.Sistemi di numerazioneDifficile
Qual è il più grande intero senza segno N che sta in 32 bit?
32 bit
N =
3.Logica proposizionale e dimostrazioniMedia
Vuoi dimostrare c → b per contrapposizione. Quale implicazione dimostri al suo posto? Clicca su di essa.
c → b
1c ∧ ¬b
2b → c
3¬c → ¬b
4¬b → ¬c
4.Logica proposizionale e dimostrazioniDifficile
L’argomento con premesse r → q; q e conclusione r non è valido. Clicca la riga della tabella di verità che è un controesempio.
r → qq∴ r
1q = 1, r = 1
2q = 1, r = 0
3q = 0, r = 1
4q = 0, r = 0
5.Logica digitale: porte, mappe K e flip-flopMedia
In questa mappa di Karnaugh esattamente un 1 non ha 1 vicini, quindi resta un gruppo di una cella (un mintermine completo di quattro letterali) nella forma SOP minima. Contano anche i vicini attraverso i bordi della mappa. Clicca su quella cella.
F = Σm(0, 3, 4, 7, 14)
1AB = 00, CD = 00
2AB = 00, CD = 01
3AB = 00, CD = 11
4AB = 00, CD = 10
5AB = 01, CD = 00
6AB = 01, CD = 01
7AB = 01, CD = 11
8AB = 01, CD = 10
9AB = 11, CD = 00
10AB = 11, CD = 01
11AB = 11, CD = 11
12AB = 11, CD = 10
13AB = 10, CD = 00
14AB = 10, CD = 01
15AB = 10, CD = 11
16AB = 10, CD = 10
6.Logica digitale: porte, mappe K e flip-flopDifficile
Un contatore ad anello a 4 bit Q₃Q₂Q₁Q₀ parte da 1000. A ogni fronte di clock i bit scorrono di una posizione a destra (Q₃ → Q₂ → Q₁ → Q₀) e Q₃ riceve Q₀. Dai lo stato Q = Q₃Q₂Q₁Q₀ come numero decimale dopo 8 fronti di clock.
Q₃Q₂Q₁Q₀ = 10008
Q =
7.Teoria dei numeri e aritmetica modulareMedia
Trova il più piccolo intero positivo x con x ≡ 1 (mod 3) e x ≡ 6 (mod 7).
x ≡ 1 (mod 3)x ≡ 6 (mod 7)
x =
8.Teoria dei numeri e aritmetica modulareDifficile
Cifra il messaggio m = 127 con la chiave pubblica RSA (n, e) = (299, 17). Trova il testo cifrato c.
n = 299e = 17m = 127
c =
9.Algoritmi e complessitàMedia
Qual è la soluzione della ricorrenza T(n) = T(n/2) + O(1)?
AO(1)
BO(n)
CO(n log n)
DO(log n)
10.Algoritmi e complessitàDifficile
Quale affermazione sulla notazione o piccolo è corretta?
A2n = o(n), perché 2n cresce lentamente
Bn² = o(n)
Cn = o(n), perché ogni funzione è o piccolo di se stessa
Dn = o(n²), ma n non è o(n)
11.Strutture datiMedia
Un buffer circolare (ring buffer) è comunemente usato per implementare:
AUna visita di un grafo
BUn albero binario di ricerca
CUna coda di dimensione fissa
DUna funzione hash
12.Strutture datiDifficile
Quale proprietà mantiene ogni B-albero perfettamente bilanciato?
AOgni nodo memorizza una sola chiave
BLe chiavi sono memorizzate solo nella radice
CTutte le foglie sono alla stessa profondità
DOgni nodo ha esattamente due figli
13.Teoria dei grafiMedia
Quanti cicli hamiltoniani diversi H ha il grafo completo K8? I cicli che differiscono solo per il vertice iniziale o per il verso contano come lo stesso.
K8
H =
14.Teoria dei grafiDifficile
Usa l’algoritmo di Dijkstra per trovare la lunghezza d(F) del cammino minimo da A a F nel grafo pesato.
partenza: Aarrivo: F
d(F) =
15.Basi di dati e SQLMedia
Che cosa restituisce INTERSECT usato tra due query SELECT?
ALe righe del primo risultato ma non del secondo
BTutte le righe di entrambi i risultati
CIl prodotto cartesiano dei risultati
DLe righe presenti in entrambi i risultati
16.Basi di dati e SQLDifficile
Due medici di turno verificano ciascuno che l'altro sia ancora di turno, poi smontano entrambi nello stesso momento. Quale anomalia può ancora permettere qui lo snapshot isolation?
ALettura sporca
BWrite skew
CLettura non ripetibile all'interno di una transazione
DScrittura sporca
17.Reti di calcolatoriMedia
In che cosa un firewall stateful differisce da un semplice filtro di pacchetti?
ATiene traccia delle connessioni e consente le risposte appartenenti a sessioni stabilite
BControlla solo l'indirizzo MAC di ogni frame
CBlocca tutto il traffico in entrata senza eccezioni, comprese le risposte alle richieste in uscita
DCifra ogni pacchetto che inoltra
18.Reti di calcolatoriDifficile
In un attacco SYN flood, quale risorsa cerca di esaurire l'attaccante?
ALa tabella degli indirizzi MAC dello switch
BLo spazio su disco del server
CLa cache DNS del client
DLa tabella delle connessioni semiaperte del server
19.Sottoreti IPv4Media
La rete 172.19.0.0/16 viene divisa in sottoreti uguali con prefisso /22. Quante sottoreti N ci sono?
172.19.0.0/16/22
N =
20.Sottoreti IPv4Difficile
Un router ha route verso queste reti: 10.18.75.0/24, 10.18.76.0/24, 10.18.77.0/24. Qual è la lunghezza di prefisso massima p di un’unica route di riepilogo che le copra tutte?
10.18.75.0/24 … 10.18.77.0/24
p =
3Soluzioni
1.Sistemi di numerazione
Risposta: U = 179
Impostare i bit: ogni bit vale una potenza di due (128, 64, …, 1). Una cifra esadecimale è esattamente quattro bit, e nel complemento a due a 8 bit il bit più a sinistra vale −128. Le operazioni bit a bit lavorano su ogni posizione di bit separatamente.
Inverti e aggiungi uno
77 = 0100 1101
invertito: 1011 0010
+1 → 1011 0011
Leggilo senza segno
1011 0011₂ = 256 − 77 = 179
Risposta
U = 179
2.Sistemi di numerazione
Risposta: N = 4,295 × 10⁹
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
232 − 1 = 4294967295
Risposta
N = 4294967295
3.Logica proposizionale e dimostrazioni
Risposta: ¬b → ¬c
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 = b
Contronominale
¬b → ¬a = ¬b → ¬c
Risposta
¬b → ¬c
La contronominale è equivalente all’enunciato originale, quindi dimostrarla dimostra l’enunciato.
4.Logica proposizionale e dimostrazioni
Risposta: q = 1, r = 0
Quantificatori e argomenti: ¬∀x P(x) ≡ ∃x ¬P(x) e ¬∃x P(x) ≡ ∀x ¬P(x). Sposta una negazione verso l’interno, scambia ogni quantificatore che attraversa e nega la formula interna con le leggi proposizionali, come ¬(a → b) ≡ a ∧ ¬b. Un argomento è valido quando la conclusione vale 1 in ogni riga in cui tutte le premesse valgono 1. Una sola riga con premesse vere e conclusione falsa è un controesempio e mostra che l’argomento non è valido.
Premesse e conclusione riga per riga
q = 1, r = 1: 1 1 | 1
q = 1, r = 0: 1 1 | 0
q = 0, r = 1: 0 0 | 1
q = 0, r = 0: 1 0 | 0
Controesempio
q = 1, r = 0
Risposta
q = 1, r = 0
Un argomento di questa forma sembra una regola valida, ma una sola riga basta a mostrare che non lo è.
5.Logica digitale: porte, mappe K e flip-flop
Risposta: AB = 11, CD = 10
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.
Vicini di ogni 1
Un 1 con un 1 vicino può far parte di un gruppo di due o più.
m14: m15, m12, m10, m6 → 0
L’1 isolato
m14 = ABCD′ → AB = 11, CD = 10
Risposta
AB = 11, CD = 10
6.Logica digitale: porte, mappe K e flip-flop
Risposta: Q = 8
Flip-flop e contatori: un flip-flop cambia solo sul fronte attivo del clock. D copia il suo ingresso (Q⁺ = D); T commuta quando T = 1; JK mantiene per 00, azzera per 01, imposta a 1 per 10 e commuta per 11. Un contatore binario a n bit ha 2ⁿ stati e conta modulo 2ⁿ; un contatore modulo N conta 0, 1, …, N − 1 e torna a 0, e richiede il minimo n con 2ⁿ ≥ N flip-flop. Ogni stadio di un contatore asincrono (ripple) dimezza la frequenza, quindi l’ultima uscita di un contatore modulo N ha frequenza fclk/N. Un contatore Johnson di n flip-flop ha 2n stati, un contatore ad anello n.
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).
Prima congruenza
x = 1 + 3k
Seconda congruenza
1 + 3k ≡ 6 (mod 7) → 3k ≡ 5 (mod 7)
k ≡ 5·5 ≡ 4 (mod 7)
Risultato
x = 1 + 3·4 = 13
x = 13
verifica: 13 mod 3 = 1, 13 mod 7 = 6
Risposta
x = 13
8.Teoria dei numeri e aritmetica modulare
Risposta: c = 147
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.
Quadrato ripetuto
17 = 16 + 1
1271 ≡ 127 (mod 299)
1272 ≡ 282 (mod 299)
1274 ≡ 289 (mod 299)
1278 ≡ 100 (mod 299)
12716 ≡ 133 (mod 299)
12717 ≡ 127·133 ≡ 147 (mod 299)
Testo cifrato
c = 147
Risposta
c = 147
9.Algoritmi e complessità
Risposta: D · O(log n)
Perché è questa la risposta
Il problema si dimezza a ogni passo con lavoro costante per passo, quindi ci sono circa log₂ n passi.
Risposta
D · O(log n)
10.Algoritmi e complessità
Risposta: D · n = o(n²), ma n non è o(n)
Perché è questa la risposta
f = o(g) significa che f(n) / g(n) tende a 0; n / n² tende a 0, ma n / n = 1 no.
Risposta
D · n = o(n²), ma n non è o(n)
11.Strutture dati
Risposta: C · Una coda di dimensione fissa
Perché è questa la risposta
Un buffer circolare usa indici di testa e di coda che ripartono dall'inizio, garantendo enqueue e dequeue in O(1) con memoria fissa.
Risposta
C · Una coda di dimensione fissa
12.Strutture dati
Risposta: C · Tutte le foglie sono alla stessa profondità
Perché è questa la risposta
I nodi pieni si dividono verso l'alto e l'albero diventa più alto solo quando si divide la radice, quindi tutte le foglie restano sempre allo stesso livello.
Risposta
C · Tutte le foglie sono alla stessa profondità
13.Teoria dei grafi
Risposta: H = 2520
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.
Conta
H = (8 − 1)!/2 = 5040/2 = 2520
Risposta
H = 2520
14.Teoria dei grafi
Risposta: d(F) = 22
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.
Dijkstra passo per passo
Ogni riga: il vertice fissato, la sua distanza definitiva e i vertici adiacenti la cui distanza migliora.
A (0): C: 6
C (6): B: 15, E: 21
B (15): D: 27
E (21): F: 22
F (22)
D (27)
Cammino minimo
A → C → E → F
d(F) = 22
Risposta
d(F) = 22
15.Basi di dati e SQL
Risposta: D · Le righe presenti in entrambi i risultati
Perché è questa la risposta
INTERSECT mantiene solo le righe presenti in entrambe le query e, come UNION, rimuove per impostazione predefinita i duplicati.
Risposta
D · Le righe presenti in entrambi i risultati
16.Basi di dati e SQL
Risposta: B · Write skew
Perché è questa la risposta
Con lo snapshot isolation entrambe le transazioni vedono il vecchio stato e modificano righe diverse, quindi non viene rilevato alcun conflitto di scrittura; l'isolamento serializzabile lo impedisce.
Risposta
B · Write skew
17.Reti di calcolatori
Risposta: A · Tiene traccia delle connessioni e consente le risposte appartenenti a sessioni stabilite
Perché è questa la risposta
Un firewall stateful mantiene una tabella delle connessioni attive, così il traffico di ritorno è consentito automaticamente. Un filtro stateless valuta ogni pacchetto isolatamente.
Risposta
A · Tiene traccia delle connessioni e consente le risposte appartenenti a sessioni stabilite
18.Reti di calcolatori
Risposta: D · La tabella delle connessioni semiaperte del server
Perché è questa la risposta
Ogni SYN fa sì che il server riservi uno stato e attenda un ACK che non arriva mai. I SYN cookie evitano di memorizzare lo stato finché l'handshake non è completato.
Risposta
D · La tabella delle connessioni semiaperte del server
19.Sottoreti IPv4
Risposta: N = 64
IPv4 subnetting: an address has 32 bits. The prefix /p says how many leading bits identify the network; the remaining 32 − p bits number the hosts. A subnet has 2³²⁻ᵖ addresses, but the first (network address) and last (broadcast address) cannot be given to hosts, so 2³²⁻ᵖ − 2 hosts fit. Exceptions: a /31 (point-to-point link, RFC 3021) uses both of its 2 addresses for hosts, and a /32 is one single address (a single host or a loopback).
Bit presi in prestito
22 − 16 = 6
Numero di sottoreti
N = 26 = 64
Risposta
N = 64
Ogni sottorete /22 ha 210 − 2 = 1022 host utilizzabili.
20.Sottoreti IPv4
Risposta: p = 21
Riepilogo delle route (summarization): una route di riepilogo a.b.c.0/p copre tutte le reti i cui primi p bit coincidono. Scrivi in binario l’ottetto che differisce tra la prima e l’ultima rete; il numero di bit iniziali comuni, più i bit degli ottetti precedenti, è il prefisso di riepilogo più lungo.
Confronta i bit
75 = 01001011
77 = 01001101
bit iniziali comuni: 5
Lunghezza del prefisso
p = 16 + 5 = 21
Risposta
p = /21
Route di riepilogo: 10.18.72.0/21 (copre anche 5 rete/i che non sono nell’elenco).