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 1110 1011 memorizza un intero con segno in complemento a due. Qual è il suo valore N in decimale?
1110 10118 bit
N =
2.Sistemi di numerazioneDifficile
Imposta i bit sul risultato a 8 bit di 1110 1111 OR 1001 1011. Qual è il valore R del risultato in decimale?
1110 1111OR1001 1011
R =
3.Logica proposizionale e dimostrazioniMedia
c ∧ ¬c è una tautologia, una contraddizione o una contingenza? Clicca la tua risposta.
c ∧ ¬c
1tautologia
2contraddizione
3contingenza
4.Logica proposizionale e dimostrazioniDifficile
Quale enunciato è equivalente a ¬∃x (A(x) → B(x)), con la negazione spostata fino in fondo all’interno? Clicca su di esso.
¬∃x (A(x) → B(x))
1∀x (A(x) ∧ ¬B(x))
2∀x (¬A(x) → ¬B(x))
3∃x (A(x) ∧ ¬B(x))
4∀x (A(x) → ¬B(x))
5.Logica digitale: porte, mappe K e flip-flopMedia
Semplifica F = A′BC′ + B′C′ + AB′ alla sua forma minima a somma di prodotti. Quanti letterali L contiene l’espressione semplificata?
F = A′BC′ + B′C′ + AB′
L =
6.Logica digitale: porte, mappe K e flip-flopDifficile
Un flip-flop JK sensibile al fronte di salita parte con Q = 0 e riceve gli ingressi mostrati. Clicca il primo fronte di clock in cui Q passa da 1 a 0.
Q₀ = 0JK
1fronte di clock 1
2fronte di clock 2
3fronte di clock 3
4fronte di clock 4
5fronte di clock 5
6fronte di clock 6
7fronte di clock 7
8fronte di clock 8
7.Teoria dei numeri e aritmetica modulareMedia
Trova il più piccolo intero positivo x con x ≡ 3 (mod 5) e x ≡ 2 (mod 13).
x ≡ 3 (mod 5)x ≡ 2 (mod 13)
x =
8.Teoria dei numeri e aritmetica modulareDifficile
Quante soluzioni N ha 12x ≡ 34 (mod 38) in {0, 1, …, 37}?
12x ≡ 34 (mod 38)
N =
9.Algoritmi e complessitàMedia
Qual è la soluzione della ricorrenza T(n) = 2T(n/2) + O(1)?
AO(n²)
BO(n)
CO(n log n)
DO(log n)
10.Algoritmi e complessitàDifficile
Usando il teorema dell'esperto (master theorem), T(n) = 8T(n/2) + O(n²) ha come soluzione:
AΘ(n²)
BΘ(n log n)
CΘ(n³)
DΘ(n² log n)
11.Strutture datiMedia
Che cosa è vero per la matrice di adiacenza di un grafo non orientato?
AÈ sempre triangolare superiore
BÈ simmetrica rispetto alla diagonale principale
CLa sua diagonale principale contiene sempre degli uno
DOgni riga contiene esattamente un 1
12.Strutture datiDifficile
Le chiavi 5, 3, 8, 1 vengono inserite in quest'ordine in un min-heap binario vuoto basato su array. Qual è l'array finale?
A[1, 5, 8, 3]
B[1, 3, 5, 8]
C[3, 1, 8, 5]
D[1, 3, 8, 5]
13.Teoria dei grafiMedia
Un albero ha 3 vertici di grado 3, 2 vertici di grado 4, e tutti gli altri suoi vertici sono foglie (grado 1). Quante foglie L ha?
3 × deg 32 × deg 4
L =
14.Teoria dei grafiDifficile
Trova il peso totale W di un albero di copertura minimo del grafo pesato.
|V| = 6|E| = 8
W =
15.Basi di dati e SQLMedia
Una chiave esterna è dichiarata con ON DELETE CASCADE. Che cosa succede quando viene eliminata una riga padre?
ALa riga padre viene copiata in una tabella di archivio
BLe righe figlie che vi fanno riferimento vengono eliminate automaticamente
CLa chiave esterna nelle righe figlie viene impostata automaticamente a NULL
DL'eliminazione viene sempre rifiutata
16.Basi di dati e SQLDifficile
Con il controllo della concorrenza multiversione (MVCC), come possono i lettori evitare di bloccare gli scrittori?
AI lettori aspettano sempre che tutti gli scrittori abbiano confermato
BI lettori leggono direttamente i dati non confermati
CI lettori vedono uno snapshot coerente delle versioni confermate delle righe, mentre gli scrittori creano nuove versioni
DGli scrittori non sono ammessi finché c'è un lettore attivo
17.Reti di calcolatoriMedia
A che cosa corrisponde una subnet mask 255.255.255.0 in notazione CIDR?
A/32
B/8
C/24
D/16
18.Reti di calcolatoriDifficile
Un utente riesce a fare ping a 8.8.8.8 ma non ad aprire alcun sito web per nome. Dove si trova più probabilmente il problema?
ANel default gateway
BNella risoluzione dei nomi (DNS)
CNel cavo fisico
DNel driver della scheda di rete
19.Sottoreti IPv4Media
La rete 192.168.10.0/24 va divisa in almeno 16 sottoreti uguali. Prendendo in prestito il minor numero possibile di bit, quanti host utilizzabili H ha ogni sottorete?
192.168.10.0/2416 subnets
H =
20.Sottoreti IPv4Difficile
La rete 192.168.29.0/24 viene suddivisa con VLSM per queste LAN: A: 12 host, B: 19 host, C: 3 host, D: 4 host, E: 28 host. Le sottoreti vengono assegnate da .0 in su, partendo dalla LAN con più host, ciascuna con la sottorete più piccola sufficiente. Qual è il quarto ottetto x dell’indirizzo di rete della LAN C?
A: 12B: 19C: 3D: 4E: 28
x =
3Soluzioni
1.Sistemi di numerazione
Risposta: N = −21
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 + 64 + 32 + 8 + 2 + 1 = −21
Risposta
N = −21
2.Sistemi di numerazione
Risposta: R = 255
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.
Bit per bit
OR dà 1 dove almeno un bit è 1.
1110 1111
OR 1001 1011
= 1111 1111
Valore del risultato
1111 1111₂ = 255
Risposta
R = 255
3.Logica proposizionale e dimostrazioni
Risposta: contraddizione
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).
Tabella di verità riga per riga
c = 1: ¬c = 0, c ∧ ¬c = 0
c = 0: ¬c = 1, c ∧ ¬c = 0
Classifica
c ∧ ¬c: 0, 0
0 in ogni riga: una contraddizione.
Risposta
contraddizione
4.Logica proposizionale e dimostrazioni
Risposta: ∀x (A(x) ∧ ¬B(x))
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 (A(x) → B(x)) ≡ ∀x (A(x) ∧ ¬B(x))
Risposta
∀x (A(x) ∧ ¬B(x))
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: L = 4
Algebra di Boole: le regole che semplificano le espressioni sono X + X′ = 1 e X·X′ = 0, X + X = X, l’assorbimento X + X·Y = X, la regola di combinazione X·Y + X·Y′ = X, X + X′Y = X + Y e il teorema del consenso XY + X′Z + YZ = XY + X′Z. Le leggi di De Morgan trasformano (X·Y)′ in X′ + Y′ e (X + Y)′ in X′·Y′. Una mappa di Karnaugh applica queste regole in forma grafica: ogni gruppo di due celle vicine è un uso di XY + XY′ = X.
Mintermini dell’espressione
A′BC′ → m(2)
B′C′ → m(0, 4)
AB′ → m(4, 5)
Raggruppa e leggi
F = A′C′ + AB′
Conta i letterali
L = 4
Risposta
L = 4
6.Logica digitale: porte, mappe K e flip-flop
Risposta: fronte di clock 3
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 = 3 + 5k
Seconda congruenza
3 + 5k ≡ 2 (mod 13) → 5k ≡ 12 (mod 13)
k ≡ 8·12 ≡ 5 (mod 13)
Risultato
x = 3 + 5·5 = 28
x = 28
verifica: 28 mod 5 = 3, 28 mod 13 = 2
Risposta
x = 28
8.Teoria dei numeri e aritmetica modulare
Risposta: N = 2
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(12, 38) = 2
6x ≡ 17 (mod 19)
Risolvi la congruenza ridotta
6−1 ≡ 16 (mod 19) → x ≡ 6 (mod 19)
Soluzioni modulo 38
x ∈ {6, 25}
N = 2
Risposta
N = 2
9.Algoritmi e complessità
Risposta: B · O(n)
Perché è questa la risposta
Per il teorema dell'esperto (master theorem) nlog₂ 2 = n domina il lavoro costante, quindi T(n) = Θ(n), come quando si trova il massimo dividendo a metà.
Risposta
B · O(n)
10.Algoritmi e complessità
Risposta: C · Θ(n³)
Perché è questa la risposta
log₂ 8 = 3 e n² cresce più lentamente di n³, quindi dominano le foglie: Θ(n³).
Risposta
C · Θ(n³)
11.Strutture dati
Risposta: B · È simmetrica rispetto alla diagonale principale
Perché è questa la risposta
In un grafo non orientato l'arco {u, v} implica che siano impostati sia M[u][v] sia M[v][u], quindi la matrice coincide con la sua trasposta.
Risposta
B · È simmetrica rispetto alla diagonale principale
12.Strutture dati
Risposta: D · [1, 3, 8, 5]
Perché è questa la risposta
Dopo 5, 3, 8 l'array è [3, 5, 8]; 1 va all'indice 3, si scambia con il genitore 5 e poi con 3, dando [1, 3, 8, 5].
Risposta
D · [1, 3, 8, 5]
13.Teoria dei grafi
Risposta: L = 9
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.
Lemma delle strette di mano per un albero
L + 17 = 2(L + 5) − 2
L = 9
Risposta
L = 9
Scorciatoia: L = 2 + Σ (d − 2) sui vertici di grado d ≥ 3.
14.Teoria dei grafi
Risposta: W = 46
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 Kruskal
CE (5): prendi
BC (7): prendi
DF (9): prendi
EF (10): prendi
BD (12): salta, chiude un ciclo
AC (15): prendi
Peso totale
W = 5 + 7 + 9 + 10 + 15 = 46
Risposta
W = 46
15.Basi di dati e SQL
Risposta: B · Le righe figlie che vi fanno riferimento vengono eliminate automaticamente
Perché è questa la risposta
CASCADE propaga l'eliminazione alle righe che fanno riferimento alla riga padre; altre opzioni sono RESTRICT/NO ACTION (rifiuto) e SET NULL.
Risposta
B · Le righe figlie che vi fanno riferimento vengono eliminate automaticamente
16.Basi di dati e SQL
Risposta: C · I lettori vedono uno snapshot coerente delle versioni confermate delle righe, mentre gli scrittori creano nuove versioni
Perché è questa la risposta
L'MVCC conserva le vecchie versioni delle righe, così un lettore può vedere i dati com'erano al momento del suo snapshot, mentre uno scrittore crea una nuova versione invece di sovrascrivere sul posto.
Risposta
C · I lettori vedono uno snapshot coerente delle versioni confermate delle righe, mentre gli scrittori creano nuove versioni
17.Reti di calcolatori
Risposta: C · /24
Perché è questa la risposta
Tre ottetti a 255 sono 24 bit a 1, quindi 255.255.255.0 = /24.
Risposta
C · /24
18.Reti di calcolatori
Risposta: B · Nella risoluzione dei nomi (DNS)
Perché è questa la risposta
Un ping riuscito verso un IP esterno dimostra che cablaggio, indirizzamento e instradamento funzionano. Il fallimento dei nomi indica un problema del server DNS o delle impostazioni del resolver.
Risposta
B · Nella risoluzione dei nomi (DNS)
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 ≥ 16 → b = 4, /28
Host per sottorete
24 − 2 = 14
Risposta
H = 14
20.Sottoreti IPv4
Risposta: x = 88
VLSM: ogni LAN riceve la sottorete più piccola con 2ʰ − 2 ≥ il suo numero di host, cioè prefisso 32 − h. Assegnando prima le sottoreti più grandi, ogni blocco resta allineato su un multiplo della propria dimensione, quindi gli indirizzi di rete si ottengono sommando le dimensioni dei blocchi.