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 1010 0100 memorizza un intero con segno in complemento a due. Qual è il suo valore N in decimale?
1010 01008 bit
N =
2.Sistemi di numerazioneDifficile
Imposta i bit sul risultato a 8 bit di 1010 1110 << 1. Qual è il valore R del risultato in decimale?
1010 1110<< 1
R =
3.Logica proposizionale e dimostrazioniMedia
Quale formula è logicamente equivalente a ¬(c ↔ a)? Clicca su di essa.
¬(c ↔ a)
1c ∧ ¬a
2¬c ↔ ¬a
3c ↔ ¬a
4¬c ∨ ¬a
4.Logica proposizionale e dimostrazioniDifficile
Quante delle 16 righe della tabella di verità rendono vera (s ∧ p) ∧ ((q → s) ∨ r)? Chiama questo numero N.
(s ∧ p) ∧ ((q → s) ∨ r)
N =
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, 2, 4, 7, 8, 9, 10, 11, 12, 13, 15). Quanti termini somma (fattori) N ha?
6.Logica digitale: porte, mappe K e flip-flopDifficile
Per F(A, B, C, D) = Σm(2, 6, 8, 10, 11, 12, 13, 14, 15) + d(0, 1, 3, 9), dove d indica le condizioni di indifferenza, trova il numero N di implicanti primi essenziali.
Trova la funzione φ di Eulero φ(14), il numero di interi da 1 a 14 coprimi con 14.
n = 14 = 2·7
φ(14) =
8.Teoria dei numeri e aritmetica modulareDifficile
37 è primo. Usa il piccolo teorema di Fermat per trovare 2338119 mod 37.
p = 37k = 38119
2338119 mod 37 =
9.Algoritmi e complessitàMedia
Qual è la complessità temporale ammortizzata dell'aggiunta in coda a un array dinamico che raddoppia la capacità quando è pieno?
AO(1)
BO(n)
CO(n²)
DO(log n)
10.Algoritmi e complessitàDifficile
Qual è la complessità temporale della costruzione di un heap binario da n elementi non ordinati con il metodo bottom-up?
AO(n)
BO(n²)
CO(log n)
DO(n log n)
11.Strutture datiMedia
Quale metodo di risoluzione delle collisioni memorizza le chiavi in collisione in una lista nello stesso bucket?
AScansione quadratica (quadratic probing)
BDoppio hashing (double hashing)
CConcatenamento separato (separate chaining)
DScansione lineare (linear probing)
12.Strutture datiDifficile
La complessità temporale di decrease-key in un heap binario (nota la posizione dell'elemento) è:
AO(n log n)
BO(n)
CO(1)
DO(log n)
13.Teoria dei grafiMedia
Un grafo connesso ha 16 vertici e 16 lati. Quanti lati k vanno tolti per ottenere un albero di copertura?
|V| = 16|E| = 16
k =
14.Teoria dei grafiDifficile
L’algoritmo di Kruskal costruisce un albero di copertura minimo. Clicca il lato che aggiunge come lato numero 4; i lati saltati non contano.
k = 4
1lato AB
2lato AC
3lato BC
4lato BD
5lato CE
6lato DE
7lato BE
15.Basi di dati e SQLMedia
Che cosa restituisce SELECT SUM(amount) FROM orders quando la clausola WHERE non corrisponde ad alcuna riga?
ANULL
B0
CUna stringa vuota
DUn errore
16.Basi di dati e SQLDifficile
Che cosa calcola SELECT day, SUM(amount) OVER (ORDER BY day) FROM sales?
AUn totale progressivo di amount ordinato per giorno
BUna riga per giorno con il solo totale di quel giorno
CIl totale di tutti gli importi su ogni riga
DL'importo medio per giorno
17.Reti di calcolatoriMedia
In che cosa un firewall stateful differisce da un semplice filtro di pacchetti?
ATiene traccia delle connessioni e consente le risposte appartenenti a sessioni stabilite
BCifra ogni pacchetto che inoltra
CControlla solo l'indirizzo MAC di ogni frame
DBlocca tutto il traffico in entrata senza eccezioni, comprese le risposte alle richieste in uscita
18.Reti di calcolatoriDifficile
Perché un browser mostra un avviso quando un sito presenta un certificato autofirmato?
AI certificati autofirmati non usano alcuna cifratura, quindi il traffico viene inviato in chiaro
BIl sito deve usare HTTP invece di HTTPS
CIl certificato è sempre scaduto
DNessuna autorità di certificazione fidata garantisce che la chiave appartenga a quel sito
19.Sottoreti IPv4Media
La rete 192.168.10.0/24 va divisa in almeno 20 sottoreti uguali. Prendendo in prestito il minor numero possibile di bit, quanti host utilizzabili H ha ogni sottorete?
192.168.10.0/2420 subnets
H =
20.Sottoreti IPv4Difficile
Un router ha route verso queste reti: 10.0.156.0/24, 10.0.157.0/24. Qual è la lunghezza di prefisso massima p di un’unica route di riepilogo che le copra tutte?
10.0.156.0/24 … 10.0.157.0/24
p =
3Soluzioni
1.Sistemi di numerazione
Risposta: N = −92
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 + 32 + 4 = −92
Risposta
N = −92
2.Sistemi di numerazione
Risposta: R = 92
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 1 sposta ogni bit di 1 posizioni verso sinistra; i bit che escono dall’estremità sinistra sono persi ed entrano zeri a destra.
1010 1110 << 1
= 0101 1100
Valore del risultato
0101 1100₂ = 92
Risposta
R = 92
3.Logica proposizionale e dimostrazioni
Risposta: c ↔ ¬a
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.
¬(c ↔ a) ≡ c ↔ ¬a
Verifica con la tabella di verità
a = 1, c = 1: 0 | 0 1 0 0
a = 1, c = 0: 1 | 0 0 1 1
a = 0, c = 1: 1 | 1 0 1 1
a = 0, c = 0: 0 | 0 1 0 1
Risposta
c ↔ ¬a
Le colonne dopo la barra sono le opzioni nell’ordine mostrato.
4.Logica proposizionale e dimostrazioni
Risposta: N = 4
Tabelle di verità: una formula con n variabili distinte ha 2ⁿ righe, una per ogni combinazione di valori di verità (1 = vero, 0 = falso). Procedi dall’interno verso l’esterno e dai a ogni sottoformula una colonna propria. ¬a inverte il valore; a ∧ b vale 1 solo quando entrambi valgono 1; a ∨ b vale 0 solo quando entrambi valgono 0; a → b vale 0 solo quando a = 1 e b = 0; a ↔ b vale 1 quando i due lati sono uguali.
Colonne
s ∧ p; q → s; (q → s) ∨ r; (s ∧ p) ∧ ((q → s) ∨ r)
Dividi secondo p
p = 1: 4
p = 0: 0
N = 4 + 0 = 4
Risposta
N = 4
5.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.
Raggruppa gli 0
Ogni gruppo è un rettangolo di 2ᵏ celle; le celle di bordo sono vicine alle celle del bordo opposto.
(B′ + C′ + D)
(A + C + D′)
(A + B + D′)
Forma POS minima
F = (B′ + C′ + D)(A + C + D′)(A + B + D′)
N = 3
Risposta
N = 3
6.Logica digitale: porte, mappe K e flip-flop
Risposta: N = 2
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.
CD′, B′, A
Implicanti primi essenziali
CD′, A
N = 2
Risposta
N = 2
7.Teoria dei numeri e aritmetica modulare
Risposta: φ(14) = 6
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
14 = 2·7
Funzione φ
φ(14) = φ(7)·φ(2) = 6·1 = 6
Risposta
φ(14) = 6
8.Teoria dei numeri e aritmetica modulare
Risposta: 2338119 mod 37 = 14
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.
Riduci l’esponente
38119 mod 36 = 31
2338119 ≡ 2331 (mod 37)
Potenza piccola
2331 mod 37 = 14
Risposta
2338119 mod 37 = 14
9.Algoritmi e complessità
Risposta: A · O(1)
Perché è questa la risposta
La copia di tutti gli elementi avviene solo alle potenze di due; distribuito su tutte le aggiunte, il costo medio per aggiunta è costante.
Risposta
A · O(1)
10.Algoritmi e complessità
Risposta: A · O(n)
Perché è questa la risposta
Sommando i costi di discesa (sift-down) su tutti i livelli si ottiene una serie convergente, quindi heapify viene eseguito in tempo lineare.
Risposta
A · O(n)
11.Strutture dati
Risposta: C · Concatenamento separato (separate chaining)
Perché è questa la risposta
Il concatenamento mantiene una lista concatenata (o un'altra struttura) per ogni bucket; l'indirizzamento aperto cerca un'altra posizione libera all'interno della tabella stessa.
Risposta
C · Concatenamento separato (separate chaining)
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 = 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
16 − 1 = 15
Lati da togliere
k = 16 − 15 = 1
Risposta
k = 1
14.Teoria dei grafi
Risposta: lato AC
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
1. BE (1)
2. CE (5)
3. BD (8)
4. AC (14)
lato numero 4
AC
Risposta
lato AC
15.Basi di dati e SQL
Risposta: A · NULL
Perché è questa la risposta
SUM, AVG, MIN e MAX restituiscono NULL su un insieme vuoto, mentre COUNT restituisce 0; COALESCE(SUM(amount), 0) restituisce invece 0.
Risposta
A · NULL
16.Basi di dati e SQL
Risposta: A · Un totale progressivo di amount ordinato per giorno
Perché è questa la risposta
Con ORDER BY e senza una cornice (frame) esplicita, la finestra va dalla prima riga fino alla riga corrente (e ai suoi pari merito), il che dà una somma cumulativa.
Risposta
A · Un totale progressivo di amount ordinato per giorno
17.Reti di calcolatori
Risposta: A · Tiene traccia delle connessioni e consente le risposte appartenenti a sessioni stabilite
Perché è questa la risposta
Un firewall stateful mantiene una tabella delle connessioni attive, così il traffico di ritorno è consentito automaticamente. Un filtro stateless valuta ogni pacchetto isolatamente.
Risposta
A · Tiene traccia delle connessioni e consente le risposte appartenenti a sessioni stabilite
18.Reti di calcolatori
Risposta: D · Nessuna autorità di certificazione fidata garantisce che la chiave appartenga a quel sito
Perché è questa la risposta
I browser si fidano dei certificati firmati, direttamente o tramite una catena, da CA presenti nel loro archivio attendibile. Un certificato autofirmato potrebbe essere creato da chiunque, per esempio da un man-in-the-middle.
Risposta
D · Nessuna autorità di certificazione fidata garantisce che la chiave appartenga a quel sito
19.Sottoreti IPv4
Risposta: H = 6
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
25 = 32 ≥ 20 → b = 5, /29
Host per sottorete
23 − 2 = 6
Risposta
H = 6
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.