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 −93 in complemento a due a 8 bit. Letto come numero senza segno, qual è il valore U dello schema?
N = −938 bit
U =
2.Sistemi di numerazioneDifficile
Imposta i bit sul risultato a 8 bit di 1111 0001 OR 1101 1101. Qual è il valore R del risultato in decimale?
1111 0001OR1101 1101
R =
3.Logica proposizionale e dimostrazioniMedia
Vuoi dimostrare b → (a ∧ c) per contrapposizione. Quale implicazione dimostri al suo posto? Clicca su di essa.
b → (a ∧ c)
1¬b → ¬(a ∧ c)
2b ∧ ¬(a ∧ c)
3(a ∧ c) → b
4¬(a ∧ c) → ¬b
4.Logica proposizionale e dimostrazioniDifficile
L’argomento con premesse r → q; ¬r e conclusione ¬q non è valido. Clicca la riga della tabella di verità che è un controesempio.
r → q¬r∴ ¬q
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
Semplifica F = A′B′ + AB′C + A′B′C alla sua forma minima a somma di prodotti. Quanti letterali L contiene l’espressione semplificata?
F = A′B′ + AB′C + A′B′C
L =
6.Logica digitale: porte, mappe K e flip-flopDifficile
Trova la forma SOP minima di F(A, B, C, D) = Σm(0, 1, 10, 12, 14) + d(2, 4, 5, 9), dove d indica le condizioni di indifferenza. Quanti termini prodotto N ha?
Trova la funzione φ di Eulero φ(125), il numero di interi da 1 a 125 coprimi con 125.
n = 125 = 53
φ(125) =
8.Teoria dei numeri e aritmetica modulareDifficile
Usa il quadrato ripetuto per trovare 18123 mod 83.
a = 18k = 123n = 83
18123 mod 83 =
9.Algoritmi e complessitàMedia
Quanto spazio di stack usa una semplice funzione fattoriale ricorsiva fact(n) = n × fact(n − 1)?
AO(n)
BO(1)
CO(n²)
DO(log n)
10.Algoritmi e complessitàDifficile
Come si classifica il problema del commesso viaggiatore?
ALa versione decisionale è in P ma quella di ottimizzazione è NP-completa
BÈ in P perché l'algoritmo di Dijkstra lo risolve visitando ogni città una sola volta
CLa versione decisionale è NP-completa e la versione di ottimizzazione è NP-difficile
DÈ indecidibile
11.Strutture datiMedia
Quale condizione di bilanciamento mantiene un albero AVL in ogni nodo?
AI due sottoalberi di ogni nodo contengono esattamente lo stesso numero di nodi
BOgni nodo è colorato di rosso o di nero
CLe altezze dei sottoalberi sinistro e destro differiscono al massimo di 1
DTutte le foglie sono esattamente alla stessa profondità
12.Strutture datiDifficile
Quale affermazione sull'heapsort è corretta?
AOrdina sul posto in tempo O(n log n) nel caso peggiore ma non è stabile
BRichiede un albero binario di ricerca come memoria aggiuntiva, quindi usa O(n) memoria extra
CRichiede tempo O(n) su qualsiasi input
DÈ stabile e richiede O(n) memoria aggiuntiva
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| = 5|E| = 7
1Circuito euleriano
2Cammino euleriano, nessun circuito
3nessuna delle due
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
Gli studenti possono seguire molti corsi e i corsi hanno molti studenti. Come si modella questa situazione con le tabelle?
ACon un elenco di id dei corsi memorizzato in una sola colonna
BCon una tabella di associazione che contiene chiavi esterne verso studenti e corsi
CFondendo studenti e corsi in un'unica tabella
DCon una colonna di chiave esterna course_id nella tabella degli studenti che punta a courses
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
BCOUNT(*) non si può usare insieme a GROUP BY
CGROUP BY deve elencare tutte le colonne della tabella
Dname non è né raggruppato né aggregato, quindi non ha un unico valore per gruppo
17.Reti di calcolatoriMedia
Quale host si trova nella stessa sottorete /16 di 10.1.2.3?
A10.2.2.3
B10.0.2.3
C10.1.200.5
D11.1.2.3
18.Reti di calcolatoriDifficile
Il blocco head-of-line in HTTP/2 su TCP si verifica perché:
AI server non possono gestire richieste parallele
BOgni richiesta richiede una nuova connessione TCP, quindi le richieste successive attendono in coda
CUn segmento TCP perso ritarda tutti gli stream multiplexati finché non viene ritrasmesso
DHTTP/2 usa UDP
19.Sottoreti IPv4Media
La rete 192.168.10.0/24 va divisa in almeno 8 sottoreti uguali. Prendendo in prestito il minor numero possibile di bit, quanti host utilizzabili H ha ogni sottorete?
192.168.10.0/248 subnets
H =
20.Sottoreti IPv4Difficile
Un router ha route verso queste reti: 10.143.181.0/24, 10.143.182.0/24. Qual è la lunghezza di prefisso massima p di un’unica route di riepilogo che le copra tutte?
10.143.181.0/24 … 10.143.182.0/24
p =
3Soluzioni
1.Sistemi di numerazione
Risposta: U = 163
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
93 = 0101 1101
invertito: 1010 0010
+1 → 1010 0011
Leggilo senza segno
1010 0011₂ = 256 − 93 = 163
Risposta
U = 163
2.Sistemi di numerazione
Risposta: R = 253
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.
1111 0001
OR 1101 1101
= 1111 1101
Valore del risultato
1111 1101₂ = 253
Risposta
R = 253
3.Logica proposizionale e dimostrazioni
Risposta: ¬(a ∧ c) → ¬b
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 = b, b = a ∧ c
Contronominale
¬b → ¬a = ¬(a ∧ c) → ¬b
Risposta
¬(a ∧ c) → ¬b
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 0 | 0
q = 1, r = 0: 1 1 | 0
q = 0, r = 1: 0 0 | 1
q = 0, r = 0: 1 1 | 1
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: 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′B′ → m(0, 1)
AB′C → m(5)
A′B′C → m(1)
Raggruppa e leggi
F = B′C + A′B′
Conta i letterali
L = 4
Risposta
L = 4
6.Logica digitale: porte, mappe K e flip-flop
Risposta: N = 3
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.
B′C′D, B′CD′, BC′D′, A′C′, ACD′, A′B′D′, ABD′
Copertura minima
F = BC′D′ + A′C′ + ACD′
N = 3
Risposta
N = 3
Esiste un altro raggruppamento della stessa dimensione; ha lo stesso numero di termini e di letterali.
7.Teoria dei numeri e aritmetica modulare
Risposta: φ(125) = 100
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
125 = 53
Funzione φ
φ(125) = 125 − 25 = 100
Risposta
φ(125) = 100
8.Teoria dei numeri e aritmetica modulare
Risposta: 18123 mod 83 = 82
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.
Esponente binario
123 = 11110112 = 64 + 32 + 16 + 8 + 2 + 1
Quadrato ripetuto
181 ≡ 18 (mod 83)
182 ≡ 75 (mod 83)
184 ≡ 64 (mod 83)
188 ≡ 29 (mod 83)
1816 ≡ 11 (mod 83)
1832 ≡ 38 (mod 83)
1864 ≡ 33 (mod 83)
Moltiplica le potenze necessarie
18123 ≡ 18·75·29·11·38·33 ≡ 82 (mod 83)
Risposta
18123 mod 83 = 82
9.Algoritmi e complessità
Risposta: A · O(n)
Perché è questa la risposta
La ricorsione arriva a n chiamate di profondità prima di qualsiasi ritorno, e ogni chiamata richiede un record di attivazione (stack frame), quindi usa O(n) spazio.
Risposta
A · O(n)
10.Algoritmi e complessità
Risposta: C · La versione decisionale è NP-completa e la versione di ottimizzazione è NP-difficile
Perché è questa la risposta
"Esiste un giro di lunghezza al massimo k?" è NP-completo; trovare il giro più breve è NP-difficile, perché è almeno altrettanto difficile.
Risposta
C · La versione decisionale è NP-completa e la versione di ottimizzazione è NP-difficile
11.Strutture dati
Risposta: C · 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
C · Le altezze dei sottoalberi sinistro e destro differiscono al massimo di 1
12.Strutture dati
Risposta: A · Ordina sul posto in tempo O(n log n) nel caso peggiore ma non è stabile
Perché è questa la risposta
L'heapsort costruisce un max-heap ed estrae il massimo n volte all'interno dello stesso array; gli scambi a lunga distanza possono riordinare chiavi uguali.
Risposta
A · Ordina sul posto in tempo O(n log n) nel caso peggiore ma non è stabile
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: W = 42
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
BC (3): prendi
BD (4): prendi
BE (6): prendi
DE (7): salta, chiude un ciclo
CE (8): salta, chiude un ciclo
AB (14): prendi
EF (15): prendi
Peso totale
W = 3 + 4 + 6 + 14 + 15 = 42
Risposta
W = 42
15.Basi di dati e SQL
Risposta: B · Con una tabella di associazione che contiene chiavi esterne verso studenti e corsi
Perché è questa la risposta
Una relazione molti-a-molti richiede una tabella associativa (ponte), per esempio enrolment(student_id, course_id), spesso con una chiave primaria composta.
Risposta
B · Con una tabella di associazione che contiene chiavi esterne verso studenti e corsi
16.Basi di dati e SQL
Risposta: D · 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
D · name non è né raggruppato né aggregato, quindi non ha un unico valore per gruppo
17.Reti di calcolatori
Risposta: C · 10.1.200.5
Perché è questa la risposta
Con /16 i primi 16 bit (10,1) sono la parte di rete. Solo 10.1.200.5 li condivide, quindi si trova in 10.1.0.0/16.
Risposta
C · 10.1.200.5
18.Reti di calcolatori
Risposta: C · Un segmento TCP perso ritarda tutti gli stream multiplexati finché non viene ritrasmesso
Perché è questa la risposta
TCP consegna i byte in ordine, quindi una sola perdita blocca tutti gli stream della connessione. QUIC (HTTP/3) gestisce gli stream in modo indipendente su UDP.
Risposta
C · Un segmento TCP perso ritarda tutti gli stream multiplexati finché non viene ritrasmesso
19.Sottoreti IPv4
Risposta: H = 30
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
23 = 8 ≥ 8 → b = 3, /27
Host per sottorete
25 − 2 = 30
Risposta
H = 30
20.Sottoreti IPv4
Risposta: p = 22
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
181 = 10110101
182 = 10110110
bit iniziali comuni: 6
Lunghezza del prefisso
p = 16 + 6 = 22
Risposta
p = /22
Route di riepilogo: 10.143.180.0/22 (copre anche 2 rete/i che non sono nell’elenco).