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 −78 in complemento a due a 8 bit. Letto come numero senza segno, qual è il valore U dello schema?
N = −788 bit
U =
2.Sistemi di numerazioneDifficile
Un'immagine non compressa è di 1280 × 720 pixel con 16 bit per pixel. Quanta memoria M occupa, in KiB (1 KiB = 1024 byte)?
1280 × 720 px16 bit/px1 KiB = 1024 B
M = KiB
3.Logica proposizionale e dimostrazioniMedia
Vuoi dimostrare q → ¬p per assurdo. Quale enunciato assumi all’inizio? Clicca su di esso.
q → ¬p
1¬q → ¬¬p
2q ∧ ¬¬p
3¬q ∧ ¬¬p
4¬q ∧ ¬p
4.Logica proposizionale e dimostrazioniDifficile
L’argomento con premesse b → a; ¬b e conclusione ¬a non è valido. Clicca la riga della tabella di verità che è un controesempio.
b → a¬b∴ ¬a
1a = 1, b = 1
2a = 1, b = 0
3a = 0, b = 1
4a = 0, b = 0
5.Logica digitale: porte, mappe K e flip-flopMedia
Semplifica F = AB′C′ + AB + BC′ alla sua forma minima a somma di prodotti. Quanti letterali L contiene l’espressione semplificata?
F = AB′C′ + AB + BC′
L =
6.Logica digitale: porte, mappe K e flip-flopDifficile
Per F(A, B, C, D) = Σm(5, 9, 11, 14) + d(3, 12, 13), dove d indica le condizioni di indifferenza, trova il numero N di implicanti primi essenziali.
F(A, B, C, D) = Σm(5, 9, 11, 14) + d(3, 12, 13)
N =
7.Teoria dei numeri e aritmetica modulareMedia
Trova l’inverso di 23 modulo 80: il numero x con 0 < x < 80 e 23·x ≡ 1 (mod 80).
a = 23n = 80
23−1 mod 80 =
8.Teoria dei numeri e aritmetica modulareDifficile
Usa il quadrato ripetuto per trovare 31119 mod 39.
a = 31k = 119n = 39
31119 mod 39 =
9.Algoritmi e complessitàMedia
Nel problema della selezione di attività, quale regola greedy dà sempre il numero massimo di attività non sovrapposte?
AScegliere per prima l'attività più breve
BScegliere l'attività che termina prima, poi ripetere con quelle compatibili
CScegliere per prima l'attività con meno sovrapposizioni, poi ripetere con quelle compatibili
DScegliere l'attività che inizia prima
10.Algoritmi e complessitàDifficile
Quale affermazione su P e NP è corretta?
ANP significa «non polinomiale»
BLe soluzioni dei problemi NP non possono essere verificate rapidamente
COgni problema in P appartiene anche a NP
DÈ stato dimostrato che P ≠ NP
11.Strutture datiMedia
Quale struttura dati si usa per verificare se le parentesi in "{[()]}" sono bilanciate?
AUna coda
BUna pila
CUna tabella hash
DUn albero binario di ricerca
12.Strutture datiDifficile
Quale struttura permette di calcolare il massimo di ogni finestra di dimensione k di un array in tempo totale O(n)?
AUn min-heap ricostruito per ogni finestra
BUna lista concatenata semplice degli elementi della finestra
CUn array ordinato aggiornato con spostamenti
DUna deque che contiene indici in ordine decrescente di valore
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| = 6|E| = 8
1Circuito euleriano
2Cammino euleriano, nessun circuito
3nessuna delle due
14.Teoria dei grafiDifficile
L’algoritmo di Dijkstra parte da A. Clicca il vertice che viene fissato (reso permanente) al passo 3; A stesso è il passo 1.
partenza: Apasso 3
1A
2B
3C
4D
5E
6F
15.Basi di dati e SQLMedia
Quando WHERE EXISTS (subquery) è vera per una riga?
AQuando la subquery restituisce esattamente una riga
BQuando la subquery restituisce un numero maggiore di zero
CQuando la subquery restituisce almeno una riga
DQuando la subquery non restituisce valori NULL
16.Basi di dati e SQLDifficile
Due medici di turno verificano ciascuno che l'altro sia ancora di turno, poi smontano entrambi nello stesso momento. Quale anomalia può ancora permettere qui lo snapshot isolation?
ALettura sporca
BWrite skew
CLettura non ripetibile all'interno di una transazione
DScrittura sporca
17.Reti di calcolatoriMedia
Quali proprietà di sicurezza offre TLS a HTTPS?
AProtezione da qualsiasi malware e phishing sul sito visitato
BRiservatezza, integrità e autenticazione del server
CL'anonimato dell'utente
DSolo un caricamento più veloce
18.Reti di calcolatoriDifficile
Un attacco di DNS cache poisoning ha lo scopo di:
AFar memorizzare a un resolver un indirizzo IP falso per un dominio
BSovraccaricare un server di traffico fino a fargli smettere di rispondere alle interrogazioni
CRubare le password del Wi-Fi
DEliminare i server DNS
19.Sottoreti IPv4Media
Un reparto ha bisogno di 317 indirizzi host in un'unica sottorete. Qual è la lunghezza di prefisso più lunga p (la sottorete più piccola) sufficiente?
317 hosts
p =
20.Sottoreti IPv4Difficile
Un host ha l'indirizzo 10.20.174.212/30. Qual è il quarto ottetto x del suo indirizzo di rete?
10.20.174.212/30
x =
3Soluzioni
1.Sistemi di numerazione
Risposta: U = 178
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
78 = 0100 1110
invertito: 1011 0001
+1 → 1011 0010
Leggilo senza segno
1011 0010₂ = 256 − 78 = 178
Risposta
U = 178
2.Sistemi di numerazione
Risposta: M = 1800 KiB
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.
Bit e byte
1280·720·16 = 14745600 bit = 1843200 B
Converti in KiB
1843200/1024 = 1800 KiB
Risposta
M = 1800 KiB
3.Logica proposizionale e dimostrazioni
Risposta: q ∧ ¬¬p
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 = q, b = ¬p
Negazione dell’implicazione
¬(a → b) ≡ a ∧ ¬b = q ∧ ¬¬p
Risposta
q ∧ ¬¬p
Se l’ipotesi porta a una contraddizione, l’implicazione deve essere vera.
4.Logica proposizionale e dimostrazioni
Risposta: a = 1, b = 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: 1 0 | 0
a = 1, b = 0: 1 1 | 0
a = 0, b = 1: 0 0 | 1
a = 0, b = 0: 1 1 | 1
Controesempio
a = 1, b = 0
Risposta
a = 1, b = 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 = 6
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
AB′C′ → m(4)
AB → m(6, 7)
BC′ → m(2, 6)
Raggruppa e leggi
F = BC′ + AC′ + AB
Conta i letterali
L = 6
Risposta
L = 6
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.
B′CD, BC′D, AC′D, AB′D, ABD′
Implicanti primi essenziali
BC′D, ABD′
N = 2
Risposta
N = 2
7.Teoria dei numeri e aritmetica modulare
Risposta: 23−1 mod 80 = 7
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).
Algoritmo di Euclide esteso
Ogni resto r si scrive r ≡ t·23 (mod 80).
r = 80, t = 0
r = 23, q = 3, t = 1
r = 11, q = 2, t = −3
r = 1, q = 11, t = 7
Inversa
1 ≡ 7·23 (mod 80)
x = 7
verifica: 23·7 = 161 = 2·80 + 1
Risposta
23−1 mod 80 = 7
8.Teoria dei numeri e aritmetica modulare
Risposta: 31119 mod 39 = 34
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
119 = 11101112 = 64 + 32 + 16 + 4 + 2 + 1
Quadrato ripetuto
311 ≡ 31 (mod 39)
312 ≡ 25 (mod 39)
314 ≡ 1 (mod 39)
318 ≡ 1 (mod 39)
3116 ≡ 1 (mod 39)
3132 ≡ 1 (mod 39)
3164 ≡ 1 (mod 39)
Moltiplica le potenze necessarie
31119 ≡ 31·25·1·1·1·1 ≡ 34 (mod 39)
Risposta
31119 mod 39 = 34
9.Algoritmi e complessità
Risposta: B · Scegliere l'attività che termina prima, poi ripetere con quelle compatibili
Perché è questa la risposta
Si può dimostrare con un argomento di scambio che scegliere il tempo di fine più precoce è ottimo; le altre regole hanno controesempi.
Risposta
B · Scegliere l'attività che termina prima, poi ripetere con quelle compatibili
10.Algoritmi e complessità
Risposta: C · Ogni problema in P appartiene anche a NP
Perché è questa la risposta
P ⊆ NP: se puoi risolvere un problema rapidamente, puoi verificarne rapidamente una soluzione. Se P = NP è ancora una questione aperta.
Risposta
C · Ogni problema in P appartiene anche a NP
11.Strutture dati
Risposta: B · Una pila
Perché è questa la risposta
Si inserisce (push) ogni parentesi aperta e si estrae (pop) quando compare una parentesi chiusa; questa deve corrispondere a quella estratta e alla fine la pila deve essere vuota.
Risposta
B · Una pila
12.Strutture dati
Risposta: D · Una deque che contiene indici in ordine decrescente di valore
Perché è questa la risposta
La testa della deque è sempre il massimo della finestra; ogni indice entra ed esce dalla deque una sola volta, quindi il lavoro è lineare.
Risposta
D · Una deque che contiene indici in ordine decrescente di valore
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: B
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: 11, C: 2
2. C (2)
3. B (11): D: 17, E: 23
4. D (17): F: 20
5. F (20)
6. E (23)
passo 3
B
Risposta
B
15.Basi di dati e SQL
Risposta: C · Quando la subquery restituisce almeno una riga
Perché è questa la risposta
EXISTS verifica solo se viene prodotta almeno una riga; NOT EXISTS è vera quando la subquery non restituisce righe.
Risposta
C · Quando la subquery restituisce almeno una riga
16.Basi di dati e SQL
Risposta: B · Write skew
Perché è questa la risposta
Con lo snapshot isolation entrambe le transazioni vedono il vecchio stato e modificano righe diverse, quindi non viene rilevato alcun conflitto di scrittura; l'isolamento serializzabile lo impedisce.
Risposta
B · Write skew
17.Reti di calcolatori
Risposta: B · Riservatezza, integrità e autenticazione del server
Perché è questa la risposta
TLS cifra il traffico, rileva le manomissioni e autentica il server tramite certificati (facoltativamente anche il client).
Risposta
B · Riservatezza, integrità e autenticazione del server
18.Reti di calcolatori
Risposta: A · Far memorizzare a un resolver un indirizzo IP falso per un dominio
Perché è questa la risposta
Il poisoning inserisce record contraffatti nella cache di un resolver. DNSSEC aggiunge firme affinché i resolver possano verificare i record.
Risposta
A · Far memorizzare a un resolver un indirizzo IP falso per un dominio
19.Sottoreti IPv4
Risposta: p = 23
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 di host necessari
28 − 2 = 254 < 317
29 − 2 = 510 ≥ 317 → h = 9
Lunghezza del prefisso
p = 32 − 9 = 23
Risposta
p = /23
20.Sottoreti IPv4
Risposta: x = 212
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).