Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessità
+ AL-BACC - Basic Automata, Computability and Complexity
Teoria della NP-completzza
COM - Complessità
+ DS-PT - Proof Techniques
Prove per induzione, invarianti di ciclo
L - Logica
+ DS-BL - Basic Logics
Correttezza di algoritmi ricorsivi e imperativi
• B - Algoritmi
SDA - Strutture di Dati Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Strutture union-find, hash table
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi di ordinamento: elementari, mergesort, heapsort
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi di ordinamento: quicksort, algoritmi lineari, limitazione inferiore
TAA - Tecniche Algoritmiche Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Programmazione dinamica, algoritmi greedy
TAA - Tecniche Algoritmiche Avanzate
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi su grafi: topological sorting, componenti connesse, cammini minimi
TAA - Tecniche Algoritmiche Avanzate
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi su grafi: minimo albero ricoprente, algoritmi di Prim e Kruskal