2013
2013
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Informatica Teorica
Informazioni generali
Corso di Laurea Informatica Percorso Corso di Laurea Magistrale in Informatica
CFU 10 Università della CALABRIA
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

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