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
La sequenza a 8 bit 1000 0000 memorizza un intero con segno in complemento a due. Qual è il suo valore N in decimale?
1000 00008 bit
N =
2.Sistemi di numerazioneDifficile
Qual è l'intero più negativo N memorizzabile in complemento a due a 16 bit?
16 bit
N =
3.Logica proposizionale e dimostrazioniMedia
Quale formula è logicamente equivalente a ¬(q ∧ r)? Clicca su di essa.
¬(q ∧ r)
1¬q ∨ ¬r
2¬q ∧ ¬r
3¬q ∧ r
4¬q ∨ r
4.Logica proposizionale e dimostrazioniDifficile
Quale enunciato è equivalente a ¬∀x ∃y R(x, y), con la negazione spostata fino in fondo all’interno? Clicca su di esso.
¬∀x ∃y R(x, y)
1∃x ∀y ¬R(x, y)
2∀x ∃y ¬R(x, y)
3∃y ∀x ¬R(x, y)
4∀x ∀y ¬R(x, y)
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, 1, 2, 6, 9, 11, 12)
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 binario progressivo a 4 bit parte da 14 (decimale, Q = 1110). Quale valore Q (in decimale) mostra dopo 20 impulsi di clock?
Q0 = 1420n = 4
Q =
7.Teoria dei numeri e aritmetica modulareMedia
Trova l’inverso di 36 modulo 67: il numero x con 0 < x < 67 e 36·x ≡ 1 (mod 67).
a = 36n = 67
36−1 mod 67 =
8.Teoria dei numeri e aritmetica modulareDifficile
Risolvi 26x ≡ 2 (mod 30). Dai la più piccola soluzione positiva x.
26x ≡ 2 (mod 30)
x =
9.Algoritmi e complessitàMedia
Qual è la soluzione della ricorrenza T(n) = T(n − 1) + O(1)?
AO(n²)
BO(2ⁿ)
CO(log n)
DO(n)
10.Algoritmi e complessitàDifficile
Quale affermazione sulla selezione del k-esimo elemento più piccolo di un array non ordinato è corretta?
ALa selezione richiede sempre Ω(n log n) perché richiede un ordinamento
BLa selezione è possibile solo in O(n²)
CIl quickselect richiede O(log n) nel caso peggiore, perché ricorre su un solo lato del pivot
DIl quickselect richiede O(n) atteso, e la mediana delle mediane garantisce O(n) nel caso peggiore
11.Strutture datiMedia
Una tabella hash di dimensione 7 usa h(k) = k mod 7 e la scansione lineare. Dopo aver inserito 10, dove viene memorizzato 17?
AAll'indice 3
BAll'indice 4
CAll'indice 0
DAll'indice 6
12.Strutture datiDifficile
La complessità temporale di decrease-key in un heap binario (nota la posizione dell'elemento) è:
AO(1)
BO(n)
CO(n log n)
DO(log n)
13.Teoria dei grafiMedia
Un grafo connesso ha 17 vertici e 24 lati. Quanti lati k vanno tolti per ottenere un albero di copertura?
|V| = 17|E| = 24
k =
14.Teoria dei grafiDifficile
Quanti cammini di lunghezza 3 vanno da E a C? Un cammino può ripetere vertici e lati. Chiama il numero N.
M = matrice di adiacenzaL = 3
N =
15.Basi di dati e SQLMedia
Quale istruzione rimuove tutte le righe di una tabella, ne mantiene la struttura e non ammette una clausola WHERE?
ATRUNCATE TABLE
BDELETE FROM con una clausola WHERE
CDROP TABLE
DALTER TABLE
16.Basi di dati e SQLDifficile
Il locking a due fasi (2PL) garantisce:
ASchedule serializzabili rispetto ai conflitti
BChe non servano lock
CChe le transazioni non attendano mai
DChe i deadlock non possano mai verificarsi
17.Reti di calcolatoriMedia
Un segnale percorre 2000 km in fibra a circa 2 × 10⁸ m/s. Qual è il ritardo di propagazione?
A100 ms
B0,1 ms
C10 ms
D1 ms
18.Reti di calcolatoriDifficile
Le query DNS usano normalmente UDP. Quando il DNS usa invece tipicamente TCP?
APer risposte troppo grandi per UDP e per i trasferimenti di zona
BSolo quando il nome di dominio supera i dieci caratteri
CSolo per le ricerche inverse degli indirizzi IP
DPer ogni query inviata da un browser web
19.Sottoreti IPv4Media
La rete 192.168.10.0/24 va divisa in almeno 12 sottoreti uguali. Prendendo in prestito il minor numero possibile di bit, quanti host utilizzabili H ha ogni sottorete?
192.168.10.0/2412 subnets
H =
20.Sottoreti IPv4Difficile
Un host ha l’indirizzo 172.20.121.139/22. Qual è il terzo ottetto x del suo indirizzo di rete?
172.20.121.139/22
x =
3Soluzioni
1.Sistemi di numerazione
Risposta: N = −128
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.
Somma i pesi
Gli altri bit mantengono i loro normali valori positivi.
−128 = −128
Risposta
N = −128
2.Sistemi di numerazione
Risposta: N = −32768
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 più negativo
−215 = −32768
Risposta
N = −32768
3.Logica proposizionale e dimostrazioni
Risposta: ¬q ∨ ¬r
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).
La legge
De Morgan: ¬(a ∧ b) ≡ ¬a ∨ ¬b. L’∧ diventa ∨ e le due parti vengono negate.
¬(q ∧ r) ≡ ¬q ∨ ¬r
Verifica con la tabella di verità
q = 1, r = 1: 0 | 0 0 0 1
q = 1, r = 0: 1 | 1 0 0 0
q = 0, r = 1: 1 | 1 0 1 1
q = 0, r = 0: 1 | 1 1 0 1
Risposta
¬q ∨ ¬r
Le colonne dopo la barra sono le opzioni nell’ordine mostrato.
4.Logica proposizionale e dimostrazioni
Risposta: ∃x ∀y ¬R(x, y)
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.
Sposta la negazione verso l’interno
¬∀x ∃y R(x, y) ≡ ∃x ∀y ¬R(x, y)
Risposta
∃x ∀y ¬R(x, y)
Le altre opzioni lasciano invariato un quantificatore, cambiano l’ordine dei quantificatori oppure negano in modo errato la formula interna.
5.Logica digitale: porte, mappe K e flip-flop
Risposta: AB = 11, CD = 00
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ù.
m12: m13, m14, m8, m4 → 0
L’1 isolato
m12 = ABC′D′ → AB = 11, CD = 00
Risposta
AB = 11, CD = 00
6.Logica digitale: porte, mappe K e flip-flop
Risposta: Q = 2
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.
Cicli completi
Ogni 16 impulsi riportano il contatore allo stesso stato.
20 = 1·16 + 4
Valore dopo gli impulsi rimanenti
Q = (14 + 4) mod 16 = 2
Q = 0010₂
Risposta
Q = 2
7.Teoria dei numeri e aritmetica modulare
Risposta: 36−1 mod 67 = 54
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).
Algoritmo di Euclide esteso
Ogni resto r si scrive r ≡ t·36 (mod 67).
r = 67, t = 0
r = 36, q = 1, t = 1
r = 31, q = 1, t = −1
r = 5, q = 6, t = 2
r = 1, q = 5, t = −13
Inversa
1 ≡ −13·36 (mod 67)
x = 54
verifica: 36·54 = 1944 = 29·67 + 1
Risposta
36−1 mod 67 = 54
8.Teoria dei numeri e aritmetica modulare
Risposta: x = 7
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).
Dividi per il MCD
gcd(26, 30) = 2
13x ≡ 1 (mod 15)
Risolvi la congruenza ridotta
13−1 ≡ 7 (mod 15) → x ≡ 7 (mod 15)
Soluzioni modulo 30
x ∈ {7, 22}
x = 7
Risposta
x = 7
9.Algoritmi e complessità
Risposta: D · O(n)
Perché è questa la risposta
Ci sono n livelli, ciascuno con lavoro costante, come nella somma ricorsiva di un array.
Risposta
D · O(n)
10.Algoritmi e complessità
Risposta: D · Il quickselect richiede O(n) atteso, e la mediana delle mediane garantisce O(n) nel caso peggiore
Perché è questa la risposta
Il lavoro atteso del quickselect è n + n/2 + n/4 + ... = O(n) con pivot casuali; scegliere il pivot come mediana delle mediane rende lineare il caso peggiore.
Risposta
D · Il quickselect richiede O(n) atteso, e la mediana delle mediane garantisce O(n) nel caso peggiore
11.Strutture dati
Risposta: B · All'indice 4
Perché è questa la risposta
10 mod 7 = 3 e 17 mod 7 = 3; l'indice 3 è occupato, quindi la scansione lineare prova la posizione successiva, l'indice 4.
Risposta
B · All'indice 4
12.Strutture dati
Risposta: D · O(log n)
Perché è questa la risposta
Dopo aver diminuito la chiave, l'elemento risale (sift-up) al massimo per l'altezza dell'heap. Gli heap di Fibonacci ottengono decrease-key in O(1) ammortizzato.
Risposta
D · O(log n)
13.Teoria dei grafi
Risposta: k = 8
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.
Lati di un albero di copertura
17 − 1 = 16
Lati da togliere
k = 24 − 16 = 8
Risposta
k = 8
14.Teoria dei grafi
Risposta: N = 5
Gradi: il grado di un vertice è il numero di lati che vi arrivano. Ogni lato ha due estremi, quindi i gradi sommano al doppio del numero di lati: Σ deg(v) = 2|E| (il lemma delle strette di mano). Il numero di vertici di grado dispari è quindi pari. Kn ha n(n − 1)/2 lati, un grafo k-regolare con n vertici ne ha nk/2, e un albero con n vertici ha n − 1 lati.
Matrice di adiacenza
A: 0 1 0 0 0 0
B: 1 0 1 1 0 0
C: 0 1 0 0 1 0
D: 0 1 0 0 1 1
E: 0 0 1 1 0 1
F: 0 0 0 1 1 0
Un altro passo
(M³)EC = 0·0 + 2·1 + 0·0 + 1·0 + 3·1 + 1·0 = 5
Risposta
N = 5
15.Basi di dati e SQL
Risposta: A · TRUNCATE TABLE
Perché è questa la risposta
TRUNCATE svuota rapidamente una tabella e ne mantiene la definizione; DELETE può rimuovere righe selezionate e DROP rimuove la tabella stessa.
Risposta
A · TRUNCATE TABLE
16.Basi di dati e SQL
Risposta: A · Schedule serializzabili rispetto ai conflitti
Perché è questa la risposta
Il 2PL garantisce la serializzabilità, ma i deadlock restano possibili e devono essere rilevati o prevenuti.
Risposta
A · Schedule serializzabili rispetto ai conflitti
17.Reti di calcolatori
Risposta: C · 10 ms
Perché è questa la risposta
2 × 10⁶ m / 2 × 10⁸ m/s = 0,01 s = 10 ms. Il ritardo di propagazione dipende dalla distanza e dal mezzo, non dalla dimensione del pacchetto.
Risposta
C · 10 ms
18.Reti di calcolatori
Risposta: A · Per risposte troppo grandi per UDP e per i trasferimenti di zona
Perché è questa la risposta
Se una risposta UDP è troncata, il resolver ritenta su TCP. Anche i trasferimenti di zona tra name server usano TCP perché trasportano molti dati.
Risposta
A · Per risposte troppo grandi per UDP e per i trasferimenti di zona
19.Sottoreti IPv4
Risposta: H = 14
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 da prendere in prestito
24 = 16 ≥ 12 → b = 4, /28
Host per sottorete
24 − 2 = 14
Risposta
H = 14
20.Sottoreti IPv4
Risposta: x = 120
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).