Introduzione
Terzo anno
1.
Data e web mining
❱
1.1.
Supervised learning
❱
1.1.1.
k-NN
1.1.2.
Decision tree
2.
Calcolabilità e linguaggi formali
❱
2.1.
Automi finiti
❱
2.1.1.
Linguaggi
2.1.2.
Operazioni su linguaggi
2.1.3.
Espressioni regolari
2.1.4.
Equivalenza
2.1.5.
Pumping lemma
2.1.6.
Esercizi
2.2.
Linguaggi context-free
❱
2.2.1.
Ambiguità
2.2.2.
Forma normale di Chomsky
2.2.3.
Automi a pila
Secondo anno
3.
Probabilità e statistica
❱
3.1.
Probabilità elementare
3.2.
Probabilità condizionata
3.3.
Variabili casuali
❱
3.3.1.
Distribuzioni discrete
3.3.2.
Distribuzioni continue
3.4.
Variabili congiunte
3.5.
Catene di Markov
4.
Analisi dei dati
❱
4.1.
Concetti
❱
4.1.1.
Stimatori di posizione
4.1.2.
Stimatori di variabilità
4.1.3.
Analisi grafiche
4.2.
Stima
❱
4.2.1.
Momenti
4.2.2.
Verosimiglianza
4.3.
Intervalli di confidenza
❱
4.3.1.
Statistica Z
4.3.2.
Statistica T
4.4.
Verifica delle ipotesi
❱
4.4.1.
Test Z
4.4.2.
Test T
4.4.3.
Significatività osservata
4.5.
Regressione
❱
4.5.1.
Minimi quadrati
4.5.2.
Valutare il modello
5.
Algoritmi e strutture dati (M. 2)
❱
5.1.
Dizionari
❱
5.1.1.
Array
5.1.2.
Lista
5.2.
Alberi
❱
5.2.1.
Array
5.2.2.
Puntatori
5.2.3.
Visite
5.2.4.
Decomposizione
5.2.5.
Di ricerca
5.2.6.
Heap
5.2.7.
Altri tipi
5.3.
Ordinamento a confronto
❱
5.3.1.
Insertion sort
5.3.2.
Merge sort
5.3.3.
Quick sort
5.3.4.
Heap sort
5.4.
Code di priorità
5.5.
Ordinamento lineare
❱
5.5.1.
Counting sort
5.5.2.
Radix sort
5.6.
Tabelle hash
❱
5.6.1.
Concatenamento
5.6.2.
Indirizzamento aperto
5.6.3.
Confronto
5.7.
Programmazione dinamica
❱
5.7.1.
Taglio delle aste
5.7.2.
Least common subsequence
6.
Algoritmi e strutture dati (M. 1)
❱
6.1.
Complessità asintotica
❱
6.1.1.
Classi asintotiche
❱
6.1.1.1.
Proprietà
6.1.1.2.
Funzioni elementari
6.1.2.
Calcolo della complessità
6.1.3.
Ricorrenze
6.2.
Grafi
❱
6.2.1.
Concetti
❱
6.2.1.1.
Rappresentazioni
6.2.1.2.
Grado
6.2.1.3.
Isomorfismo
6.2.1.4.
Condizioni
6.2.2.
Alberi di copertura
❱
6.2.2.1.
Algoritmo generico
6.2.2.2.
Algoritmo di Kruskal
6.2.2.3.
Algoritmo di Prim
6.2.3.
Cammini minimi
❱
6.2.3.1.
Dijkstra
6.2.3.2.
Bellman-Ford
6.2.3.3.
Floyd-Warshall
6.3.
Algoritmi greedy
6.4.
Teoria NP
❱
6.4.1.
Classi decisionali
6.4.2.
Problema SAT
7.
Basi di dati (M. 1)
❱
7.1.
Progettazione concettuale
7.2.
Progettazione logica
7.3.
Algebra relazionale
7.4.
SQL
8.
Basi di dati (M. 2)
❱
8.1.
Normalizzazione
❱
8.1.1.
Dipendenze funzionali
8.1.2.
Chiavi
8.1.3.
Forma e copertura canonica
8.1.4.
Decomposizione di schemi
8.1.5.
Forme normali
9.
Sistemi operativi (M. 1)
❱
9.1.
Processi
9.2.
Thread
9.3.
Scheduling
9.4.
Memoria
❱
9.4.1.
Paginazione
9.4.2.
Segmentazione
9.5.
Filesystem
9.6.
Dischi
9.7.
Casi di studio
Primo anno
10.
Calcolo 2
❱
10.1.
Equazioni differenziali ordinarie
❱
10.1.1.
Primo ordine
10.1.2.
Secondo ordine
10.2.
Curve parametriche
❱
10.2.1.
Proprietà
10.2.2.
Tipi di curve
10.2.3.
Coordinate polari
10.2.4.
Lunghezza
10.2.5.
Parametro d'arco
10.2.6.
Integrale di linea
10.3.
Funzioni a più variabili
❱
10.3.1.
Tipi di funzioni
10.3.2.
Dominio
10.3.3.
Topologia
10.3.4.
Disuguaglianze
10.3.5.
Limiti
❱
10.3.5.1.
Continuità
10.3.5.2.
Calcolo dei limiti
10.3.6.
Derivate
❱
10.3.6.1.
Piano tangente
10.3.6.2.
Derivata direzionale
10.3.6.3.
Massimi e minimi
10.3.6.4.
Derivate seconde
10.4.
Integrali doppi
❱
10.4.1.
Domini non rettangolari
10.4.2.
Cambio di variabili
10.4.3.
Baricentro
11.
Architettura degli elaboratori (M. 2)
❱
11.1.
Pipeline
❱
11.1.1.
Implementazione
11.1.2.
Hazards
11.1.3.
Forwarding
11.1.4.
Eccezioni e interrupt
11.1.5.
Multiple issue
11.2.
Cache
11.3.
Memoria virtuale
11.4.
Assembly
11.5.
I/O
❱
11.5.1.
Arbitraggio
11.5.2.
Controller
12.
Calcolo 1
❱
12.1.
Insiemi
12.2.
Numeri reali
❱
12.2.1.
Assiomi
12.2.2.
Estremi
12.2.3.
Intervalli
12.2.4.
Cardinalità e numerabilità
12.3.
Funzioni
❱
12.3.1.
Immagine e controimmagine
12.3.2.
Tipi di funzione
12.3.3.
Operazioni tra funzioni
12.3.4.
Funzioni elementari
❱
12.3.4.1.
Potenze
12.3.4.2.
Esponenziali e logaritmiche
12.3.4.3.
Valore assoluto e segno
12.3.4.4.
Trigonometriche
12.3.4.5.
Angoli notevoli
12.3.4.6.
Iperboliche
12.4.
Limiti
❱
12.4.1.
Teoremi
12.4.2.
Algebra dei limiti
12.4.3.
Funzioni continue
❱
12.4.3.1.
Operazioni tra funzioni
12.4.3.2.
Funzioni elementari
12.4.3.3.
Teoremi
12.4.4.
Forme indeterminate
12.4.5.
Limiti notevoli
12.5.
Derivate
❱
12.5.1.
Teoremi
12.5.2.
Derivate fondamentali
12.5.3.
Algebra delle derivate
12.5.4.
Proprietà locali
12.5.5.
Asintoti
12.5.6.
Teoremi fondamentali su intervalli
12.5.7.
Convessità, concavità e flessi
12.6.
Studio di funzione
12.7.
Infiniti e infinitesimi
❱
12.7.1.
Polinomio di Taylor
12.8.
Successioni
12.9.
Serie
12.10.
Integrali
❱
12.10.1.
Integrali fondamentali
12.10.2.
Algebra degli integrali
12.10.3.
Integrali definiti
12.10.4.
Integrali impropri
13.
Matematica discreta
❱
13.1.
Logica
13.2.
Insiemi
13.3.
Relazioni
❱
13.3.1.
Relazioni d'ordine
13.3.2.
Relazioni di equivalenza
13.3.3.
Catene e anticatene
13.4.
Funzioni
❱
13.4.1.
Cardinalità
13.5.
Principio di induzione
13.6.
Sommatorie
13.7.
Algebra modulare
13.8.
Divisibilità
13.9.
Numeri primi
13.10.
Calcolo combinatorio
14.
Algebra lineare
❱
14.1.
Numeri complessi
14.2.
Vettori
❱
14.2.1.
Operazioni
14.2.2.
Perpendicolari e allineati
14.2.3.
Proiezione
14.3.
Rette e piani
14.4.
Matrici
❱
14.4.1.
Prodotto tra matrici
14.4.2.
Determinante
14.4.3.
Matrice aggiunta e inversa
14.4.4.
Matrice elementare
14.4.5.
Matrice a scala
14.4.6.
Rango
14.5.
Sistemi lineari
14.6.
Grafi
14.7.
Spazio vettoriale
❱
14.7.1.
Combinazioni lineari
14.7.2.
Basi
14.7.3.
Dimensione
14.8.
Trasformazioni lineari
14.9.
Autovalori e autovettori
15.
Architettura degli elaboratori (M. 1)
❱
15.1.
Rappresentazione dell'informazione
❱
15.1.1.
Conversioni
15.1.2.
Numeri negativi
15.1.3.
Overflow
15.1.4.
Numeri con la virgola
15.1.5.
IEEE754
15.1.6.
Errori di sequenze
15.2.
Algebra booleana
❱
15.2.1.
Forme canoniche
15.2.2.
Minimizzazione
15.2.3.
Altri componenti
15.3.
MIPS
15.4.
ALU
15.5.
Circuiti sequenziali
15.6.
Automi per circuiti
15.7.
CPU
Light
Rust
Coal
Navy
Ayu
Computer Science
Architettura degli elaboratori (M. 2)