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 1001 0010 memorizza un intero con segno in complemento a due. Qual è il suo valore N in decimale?
1001 00108 bit
N =
2.Sistemi di numerazioneDifficile
Imposta i bit sul risultato a 8 bit di 1110 1110 XOR 0100 1000. Qual è il valore R del risultato in decimale?
1110 1110XOR0100 1000
R =
3.Logica proposizionale e dimostrazioniMedia
Quale formula è logicamente equivalente a ¬(r → q)? Clicca su di essa.
¬(r → q)
1r ∧ ¬q
2¬r → ¬q
3¬r ∨ ¬q
4¬r ∧ q
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∃x ∀y ¬R(x, y)
4∀x ∀y ¬R(x, y)
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(1, 2, 4, 5, 6, 7, 9, 12, 15). Quanti termini prodotto N ha?
F(A, B, C, D) = Σm(1, 2, 4, 5, 6, 7, 9, 12, 15)
N =
6.Logica digitale: porte, mappe K e flip-flopDifficile
Un contatore binario regressivo a 3 bit parte da 4 (decimale, Q = 100). Quale valore Q (in decimale) mostra dopo 21 impulsi di clock?
Q0 = 421n = 3
Q =
7.Teoria dei numeri e aritmetica modulareMedia
Trova la funzione φ di Eulero φ(375), il numero di interi da 1 a 375 coprimi con 375.
n = 375 = 3·53
φ(375) =
8.Teoria dei numeri e aritmetica modulareDifficile
Cifra il messaggio m = 1123 con la chiave pubblica RSA (n, e) = (1247, 13). Trova il testo cifrato c.
n = 1247e = 13m = 1123
c =
9.Algoritmi e complessitàMedia
Qual è la complessità temporale del calcolo dell'n-esimo numero di Fibonacci con una tabella bottom-up?
AO(n)
BO(log n)
CO(n²)
DO(2ⁿ)
10.Algoritmi e complessitàDifficile
L'algoritmo di programmazione dinamica di Held–Karp risolve esattamente il problema del commesso viaggiatore. Qual è il suo tempo di esecuzione per n città?
AO(2n²)
BO(n³)
CO(n² 2ⁿ)
DO(n!)
11.Strutture datiMedia
Quale condizione di bilanciamento mantiene un albero AVL in ogni nodo?
ALe altezze dei sottoalberi sinistro e destro differiscono al massimo di 1
BTutte le foglie sono esattamente alla stessa profondità
COgni nodo è colorato di rosso o di nero
DI due sottoalberi di ogni nodo contengono esattamente lo stesso numero di nodi
12.Strutture datiDifficile
In che modo un radix tree (trie compresso) migliora un trie semplice?
AConserva solo la prima lettera di ogni parola
BMemorizza ogni parola in una tabella hash alla radice invece che in nodi separati
COrdina i figli di ogni nodo per frequenza
DFonde le catene di nodi con un solo figlio in un unico arco etichettato con una stringa
13.Teoria dei grafiMedia
Un grafo connesso ha 13 vertici e 13 lati. Quanti lati k vanno tolti per ottenere un albero di copertura?
|V| = 13|E| = 13
k =
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 fa ROLLBACK TO SAVEPOINT s1?
AAnnulla le modifiche fatte dopo il savepoint s1, mantenendo aperta la transazione
BElimina il savepoint e tutte le tabelle modificate da allora
CAnnulla l'intera transazione dall'inizio
DConclude la transazione e conferma tutto
16.Basi di dati e SQLDifficile
Quando uno schedule di transazioni concorrenti si dice serializzabile?
AQuando nessuna transazione legge mai dati
BQuando a ogni transazione viene assegnato un numero di serie
CQuando il suo effetto equivale a una qualche esecuzione seriale delle stesse transazioni
DQuando le transazioni vengono eseguite su una sola CPU
17.Reti di calcolatoriMedia
Quanti indirizzi host utilizzabili ha una rete IPv4 /24?
A254
B255
C256
D252
18.Reti di calcolatoriDifficile
Che cosa fa il fast retransmit di TCP?
ASalta il three-way handshake quando ci si riconnette a host conosciuti, così i dati vengono ritrasmessi prima
BRaddoppia la finestra dopo ogni perdita
CRitrasmette un segmento dopo tre ACK duplicati, senza attendere il timeout
DRitrasmette ogni segmento due volte per sicurezza
19.Sottoreti IPv4Media
Una sottorete usa la maschera 255.255.255.252. Quanti indirizzi host utilizzabili H ha?
255.255.255.252
H =
20.Sottoreti IPv4Difficile
Un router ha route verso queste reti: 10.37.26.0/24, 10.37.27.0/24. Qual è la lunghezza di prefisso massima p di un’unica route di riepilogo che le copra tutte?
10.37.26.0/24 … 10.37.27.0/24
p =
3Soluzioni
1.Sistemi di numerazione
Risposta: N = −110
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 + 16 + 2 = −110
Risposta
N = −110
2.Sistemi di numerazione
Risposta: R = 166
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
XOR dà 1 dove i due bit sono diversi.
1110 1110
XOR 0100 1000
= 1010 0110
Valore del risultato
1010 0110₂ = 166
Risposta
R = 166
3.Logica proposizionale e dimostrazioni
Risposta: r ∧ ¬q
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
¬(a → b) ≡ ¬(¬a ∨ b) ≡ a ∧ ¬b: l’unica riga in cui un’implicazione fallisce.
¬(r → q) ≡ r ∧ ¬q
Verifica con la tabella di verità
q = 1, r = 1: 0 | 0 1 0 0
q = 1, r = 0: 0 | 0 0 1 1
q = 0, r = 1: 1 | 1 1 1 0
q = 0, r = 0: 0 | 0 1 1 0
Risposta
r ∧ ¬q
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: 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.
B′C′D
BC′D′
BCD
A′CD′
A′B
Forma SOP minima
F = B′C′D + BC′D′ + BCD + A′CD′ + A′B
N = 5
Risposta
N = 5
6.Logica digitale: porte, mappe K e flip-flop
Risposta: Q = 7
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 8 impulsi riportano il contatore allo stesso stato.
21 = 2·8 + 5
Valore dopo gli impulsi rimanenti
Q = (4 − 5) mod 8 = 7
Q = 111₂
Risposta
Q = 7
7.Teoria dei numeri e aritmetica modulare
Risposta: φ(375) = 200
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).
Fattori primi
375 = 3·53
Funzione φ
φ(375) = φ(125)·φ(3) = 100·2 = 200
Risposta
φ(375) = 200
8.Teoria dei numeri e aritmetica modulare
Risposta: c = 678
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
13 = 8 + 4 + 1
11231 ≡ 1123 (mod 1247)
11232 ≡ 412 (mod 1247)
11234 ≡ 152 (mod 1247)
11238 ≡ 658 (mod 1247)
112313 ≡ 1123·152·658 ≡ 678 (mod 1247)
Testo cifrato
c = 678
Risposta
c = 678
9.Algoritmi e complessità
Risposta: A · O(n)
Perché è questa la risposta
Riempire la tabella da 0 a n richiede un'addizione per voce, quindi il lavoro è lineare anziché esponenziale.
Risposta
A · O(n)
10.Algoritmi e complessità
Risposta: C · O(n² 2ⁿ)
Perché è questa la risposta
Ci sono circa n 2ⁿ stati, ciascuno calcolato in O(n); è esponenziale ma molto più veloce che provare tutti gli (n − 1)! giri.
Risposta
C · O(n² 2ⁿ)
11.Strutture dati
Risposta: A · Le altezze dei sottoalberi sinistro e destro differiscono al massimo di 1
Perché è questa la risposta
Il fattore di bilanciamento (altezza sinistra − altezza destra) deve essere −1, 0 o 1; le rotazioni lo ripristinano dopo inserimenti e cancellazioni.
Risposta
A · Le altezze dei sottoalberi sinistro e destro differiscono al massimo di 1
12.Strutture dati
Risposta: D · Fonde le catene di nodi con un solo figlio in un unico arco etichettato con una stringa
Perché è questa la risposta
Comprimere i cammini privi di ramificazioni riduce il numero di nodi e la memoria usata, mantenendo la ricerca per prefisso.
Risposta
D · Fonde le catene di nodi con un solo figlio in un unico arco etichettato con una stringa
13.Teoria dei grafi
Risposta: k = 1
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
13 − 1 = 12
Lati da togliere
k = 13 − 12 = 1
Risposta
k = 1
14.Teoria dei grafi
Risposta: d(F) = 20
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): B: 2, C: 1
C (1): E: 5
B (2): D: 11
E (5): F: 20
D (11)
F (20)
Cammino minimo
A → C → E → F
d(F) = 20
Risposta
d(F) = 20
15.Basi di dati e SQL
Risposta: A · Annulla le modifiche fatte dopo il savepoint s1, mantenendo aperta la transazione
Perché è questa la risposta
Un savepoint segna un punto all'interno di una transazione; tornare a esso annulla il lavoro successivo, mentre le modifiche precedenti restano in sospeso fino al COMMIT.
Risposta
A · Annulla le modifiche fatte dopo il savepoint s1, mantenendo aperta la transazione
16.Basi di dati e SQL
Risposta: C · Quando il suo effetto equivale a una qualche esecuzione seriale delle stesse transazioni
Perché è questa la risposta
La serializzabilità è il principale criterio di correttezza per la concorrenza: il risultato dell'esecuzione intercalata deve essere uguale a quello di un qualche ordine una-alla-volta.
Risposta
C · Quando il suo effetto equivale a una qualche esecuzione seriale delle stesse transazioni
17.Reti di calcolatori
Risposta: A · 254
Perché è questa la risposta
Una /24 ha 8 bit di host, quindi 2⁸ = 256 indirizzi. Gli indirizzi di rete e di broadcast sono riservati, ne restano 254 per gli host.
Risposta
A · 254
18.Reti di calcolatori
Risposta: C · Ritrasmette un segmento dopo tre ACK duplicati, senza attendere il timeout
Perché è questa la risposta
Tre ACK duplicati suggeriscono fortemente la perdita di un singolo segmento, quindi TCP lo ritrasmette subito. Il recupero è molto più rapido che attendere il timer di ritrasmissione.
Risposta
C · Ritrasmette un segmento dopo tre ACK duplicati, senza attendere il timeout
19.Sottoreti IPv4
Risposta: H = 2
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).
Lunghezza del prefisso
255.255.255.252 = /30
Host utilizzabili
22 − 2 = 2
Risposta
H = 2
20.Sottoreti IPv4
Risposta: p = 23
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.