Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessità
+ AL-BACC - Basic Automata, Computability and Complexity
Introduzione alla teoria della NP-completezza.
L - Logica
+ DS-BL - Basic Logics
Proposizioni e formule booleane. Forme normali. Formule Horn.
• B - Algoritmi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-BA - Basic Analysis
Sommatorie e ricorrenze. Principio di induzione. Divide-et-impera. Analisi di algoritmi ricorsivi.
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Organizzazione di memoria sequenziale e collegata (array e liste). Pile e code. Code con priorita'. Rappresentazione di alberi e grafi.
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Problema dell'ordinamento. Quicksort, mergesort e heapsort.
AN - Algoritmi Numerici
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Operazioni fondamentali e loro bit cost. Aritmetica modulare. Sistema crittografico RSA. Hashing universale.
* ASC - Algoritmi su Strutture Combinatorie
+ AL-FDA - Fundamental Data Structures and Algorithms
Esplorazione di grafi: ricerca in ampiezza e in profondita'. Applicazioni della ricerca in profondita': ordinamento topologico, componenti fortemente connesse.
TAA - Tecniche Algoritmiche Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Programmazione dinamica, algoritmi greedy con applicazioni notevoli (minimo albero ricoprente, codici Huffman, problemi di cammino minimo).
TAA - Tecniche Algoritmiche Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Programmazione lineare. Applicazioni a problemi di natura combinatoriale. Il metodo del simplesso.