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 1100 0001 memorizza un intero con segno in complemento a due. Qual è il suo valore N in decimale?
1100 00018 bit
N =
2.Sistemi di numerazioneDifficile
Imposta i bit sul risultato a 8 bit di 1100 0110 << 2. Qual è il valore R del risultato in decimale?
1100 0110<< 2
R =
3.Logica proposizionale e dimostrazioniMedia
Quale formula è logicamente equivalente a ¬(p ↔ q)? Clicca su di essa.
¬(p ↔ q)
1¬p ∨ ¬q
2p ∧ ¬q
3¬p ↔ ¬q
4p ↔ ¬q
4.Logica proposizionale e dimostrazioniDifficile
L’argomento con premesse b → a; c → a e conclusione b → c non è valido. Clicca la riga della tabella di verità che è un controesempio.
b → ac → a∴ b → c
1a = 1, b = 1, c = 1
2a = 1, b = 1, c = 0
3a = 1, b = 0, c = 1
4a = 1, b = 0, c = 0
5a = 0, b = 1, c = 1
6a = 0, b = 1, c = 0
7a = 0, b = 0, c = 1
8a = 0, b = 0, c = 0
5.Logica digitale: porte, mappe K e flip-flopMedia
Usa la mappa di Karnaugh per trovare la forma minima a prodotto di somme (POS) di F(A, B, C, D) = Σm(0, 1, 7, 10, 14, 15). Quanti termini somma (fattori) N ha?
F(A, B, C, D) = Σm(0, 1, 7, 10, 14, 15)
N =
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
7.Teoria dei numeri e aritmetica modulareMedia
Trova il più piccolo intero positivo x con x ≡ 8 (mod 11) e x ≡ 11 (mod 12).
x ≡ 8 (mod 11)x ≡ 11 (mod 12)
x =
8.Teoria dei numeri e aritmetica modulareDifficile
Risolvi 24x ≡ 12 (mod 34). Dai la più piccola soluzione positiva x.
24x ≡ 12 (mod 34)
x =
9.Algoritmi e complessitàMedia
Una funzione esegue un ciclo di n iterazioni e poi, separatamente, un altro ciclo di n iterazioni. Qual è la sua complessità temporale?
AO(n²)
BO(log n)
CO(2ⁿ)
DO(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 log n)
BΘ(n²)
CΘ(n² log n)
DΘ(n³)
11.Strutture datiMedia
Quanta memoria utilizza una matrice di adiacenza per un grafo con V vertici?
AO(V + E)
BO(log V)
CO(V²)
DO(E)
12.Strutture datiDifficile
In un buffer circolare, front == rear può significare sia vuoto sia pieno. Qual è un modo comune per distinguere i due casi?
ASvuotare sempre il buffer ogni volta che front è uguale a rear, così lo stato è vuoto
BRendere la dimensione del buffer una potenza di due
CMantenere un contatore separato degli elementi, oppure lasciare sempre una posizione inutilizzata
DMemorizzare front e rear nella stessa variabile
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
L’algoritmo di Dijkstra parte da A. Clicca il vertice che viene fissato (reso permanente) al passo 6; A stesso è il passo 1.
partenza: Apasso 6
1A
2B
3C
4D
5E
6F
7G
15.Basi di dati e SQLMedia
La tabella orders ha 5 righe, ciascuna riferita a un cliente esistente. La tabella customers ha 3 righe. Quante righe restituisce un INNER JOIN su customer_id?
A15
B5
C3
D8
16.Basi di dati e SQLDifficile
Che cosa restituisce SELECT name, dept, AVG(salary) OVER (PARTITION BY dept) FROM emp?
AOgni riga di dipendente insieme allo stipendio medio del suo reparto
BUna riga per reparto con il suo stipendio medio
CSolo i dipendenti che guadagnano più della media del loro reparto
DUn errore, perché name non è in un GROUP BY
17.Reti di calcolatoriMedia
Perché uno switch a volte invia un frame su tutte le porte tranne quella da cui è arrivato?
AIl frame è troppo grande per una sola porta
BIl frame ha un checksum IP errato e deve essere controllato da ogni host
CL'indirizzo MAC di destinazione non è ancora nella sua tabella degli indirizzi
DLo switch sta agendo da router
18.Reti di calcolatoriDifficile
Qual è la maximum transmission unit (MTU) del payload Ethernet standard?
A64 byte
B9000 byte in ogni rete
C65535 byte
D1500 byte
19.Sottoreti IPv4Media
Una sottorete usa la maschera 255.255.255.240. Quanti indirizzi host utilizzabili H ha?
255.255.255.240
H =
20.Sottoreti IPv4Difficile
La rete 192.168.81.0/24 viene suddivisa con VLSM per queste LAN: A: 28 host, B: 122 host, C: 14 host, D: 53 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: 28B: 122C: 14D: 53
x =
3Soluzioni
1.Sistemi di numerazione
Risposta: N = −63
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 + 1 = −63
Risposta
N = −63
2.Sistemi di numerazione
Risposta: R = 24
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
Scorrere a sinistra di 2 sposta ogni bit di 2 posizioni verso sinistra; i bit che escono dall’estremità sinistra sono persi ed entrano zeri a destra.
1100 0110 << 2
= 0001 1000
Valore del risultato
0001 1000₂ = 24
Risposta
R = 24
3.Logica proposizionale e dimostrazioni
Risposta: p ↔ ¬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) vale 1 esattamente quando a e b sono diversi, cioè a ↔ ¬b.
¬(p ↔ q) ≡ p ↔ ¬q
Verifica con la tabella di verità
p = 1, q = 1: 0 | 0 0 1 0
p = 1, q = 0: 1 | 1 1 0 1
p = 0, q = 1: 1 | 1 0 0 1
p = 0, q = 0: 0 | 1 0 1 0
Risposta
p ↔ ¬q
Le colonne dopo la barra sono le opzioni nell’ordine mostrato.
4.Logica proposizionale e dimostrazioni
Risposta: a = 1, b = 1, c = 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
a = 1, b = 1, c = 1: 1 1 | 1
a = 1, b = 1, c = 0: 1 1 | 0
a = 1, b = 0, c = 1: 1 1 | 1
a = 1, b = 0, c = 0: 1 1 | 1
a = 0, b = 1, c = 1: 0 0 | 1
a = 0, b = 1, c = 0: 0 1 | 0
a = 0, b = 0, c = 1: 1 0 | 1
a = 0, b = 0, c = 0: 1 1 | 1
Controesempio
a = 1, b = 1, c = 0
Risposta
a = 1, b = 1, c = 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: N = 4
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 0
Ogni gruppo è un rettangolo di 2ᵏ celle; le celle di bordo sono vicine alle celle del bordo opposto.
(B′ + C)
(B + C′ + D′)
(A′ + C)
(A + C′ + D)
Forma POS minima
F = (B′ + C)(B + C′ + D′)(A′ + C)(A + C′ + D)
N = 4
Risposta
N = 4
6.Logica digitale: porte, mappe K e flip-flop
Risposta: fronte di clock 6
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 = 8 + 11k
Seconda congruenza
8 + 11k ≡ 11 (mod 12) → 11k ≡ 3 (mod 12)
k ≡ 11·3 ≡ 9 (mod 12)
Risultato
x = 8 + 11·9 = 107
x = 107
verifica: 107 mod 11 = 8, 107 mod 12 = 11
Risposta
x = 107
8.Teoria dei numeri e aritmetica modulare
Risposta: x = 9
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(24, 34) = 2
12x ≡ 6 (mod 17)
Risolvi la congruenza ridotta
12−1 ≡ 10 (mod 17) → x ≡ 9 (mod 17)
Soluzioni modulo 34
x ∈ {9, 26}
x = 9
Risposta
x = 9
9.Algoritmi e complessità
Risposta: D · O(n)
Perché è questa la risposta
n + n = 2n, e i fattori costanti si eliminano, quindi la funzione è O(n).
Risposta
D · O(n)
10.Algoritmi e complessità
Risposta: D · Θ(n³)
Perché è questa la risposta
log₂ 8 = 3 e n² cresce più lentamente di n³, quindi dominano le foglie: Θ(n³).
Risposta
D · Θ(n³)
11.Strutture dati
Risposta: C · O(V²)
Perché è questa la risposta
Una matrice di adiacenza memorizza V × V elementi ed è efficiente per grafi densi; le liste di adiacenza usano O(V + E), meglio per grafi sparsi.
Risposta
C · O(V²)
12.Strutture dati
Risposta: C · Mantenere un contatore separato degli elementi, oppure lasciare sempre una posizione inutilizzata
Perché è questa la risposta
Con un contatore, vuoto significa count = 0 e pieno significa count = capacità; con una posizione sempre vuota, pieno si definisce come (rear + 1) mod n == front.
Risposta
C · Mantenere un contatore separato degli elementi, oppure lasciare sempre una posizione inutilizzata
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: F
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
1. A (0): B: 10, C: 11
2. B (10): D: 13
3. C (11): G: 20
4. D (13): E: 27, F: 19, G: 18
5. G (18): E: 20
6. F (19)
7. E (20)
passo 6
F
Risposta
F
15.Basi di dati e SQL
Risposta: B · 5
Perché è questa la risposta
Ogni ordine trova esattamente un cliente corrispondente, quindi il join restituisce una riga per ordine: 5 righe.
Risposta
B · 5
16.Basi di dati e SQL
Risposta: A · Ogni riga di dipendente insieme allo stipendio medio del suo reparto
Perché è questa la risposta
A differenza di GROUP BY, una funzione finestra mantiene ogni riga di input e aggiunge un valore calcolato sulla sua partizione, qui il reparto.
Risposta
A · Ogni riga di dipendente insieme allo stipendio medio del suo reparto
17.Reti di calcolatori
Risposta: C · L'indirizzo MAC di destinazione non è ancora nella sua tabella degli indirizzi
Perché è questa la risposta
Per un indirizzo unicast sconosciuto lo switch esegue il flooding del frame. Quando la destinazione risponde, lo switch apprende la sua porta dal MAC di origine.
Risposta
C · L'indirizzo MAC di destinazione non è ancora nella sua tabella degli indirizzi
18.Reti di calcolatori
Risposta: D · 1500 byte
Perché è questa la risposta
L'Ethernet standard trasporta fino a 1500 byte di payload; i pacchetti IP più grandi devono essere frammentati o usare la Path MTU Discovery.
Risposta
D · 1500 byte
19.Sottoreti IPv4
Risposta: H = 14
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.240 = /28
Host utilizzabili
24 − 2 = 14
Risposta
H = 14
20.Sottoreti IPv4
Risposta: x = 224
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.