Riepilogo dell'insegnamento: Informatica Teorica
10 cfu così ripartiti nelle aree:
- 5 CFU nell'area A - Fondamenti
- 5 CFU nell'area B - Algoritmi
Sillabo dell'insegnamento
- A - Fondamenti
-
COM - Complessita'
Problemi NP-hard e NP-completi
-
COM - Complessita'
La gerachia Polinomiale delle classi di complessità
- *
CAL - Calcolabilita'
Riducibilità tra problemi
- *
CAL - Calcolabilita'
Linguaggi e problemi decisionali
- *
CAL - Calcolabilita'
Decidibilità ed Indecidibilità di problemi
- B - Algoritmi
-
TAA - Tecniche Algoritmiche Avanzate
Backtracking, Branch and Bound ed euristiche
-
TAA - Tecniche Algoritmiche Avanzate
Backjumping
-
TAA - Tecniche Algoritmiche Avanzate
Algoritmi greedy e metodi di ricerca locale
-
TAA - Tecniche Algoritmiche Avanzate
Algoritmi complessi (PSPACE, EXPTIME)
-
TAA - Tecniche Algoritmiche Avanzate
Linguaggi ed Espressività
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa