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
Numeri reali