2013
2013
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Modelli di Calcolo
Informazioni generali
Corso di Laurea Informatica Percorso Informatica
CFU 9 Università INSUBRIA
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

9 cfu così ripartiti nelle aree:

  • 9 CFU nell'area A - Fondamenti

Sillabo dell'insegnamento

  • A - Fondamenti
    • * ALF - Automi e Linguaggi Formali
      Linguaggi regolari. Automi deterministici e nondeterministici
    • * ALF - Automi e Linguaggi Formali
      Automi Pushdown con relative proprieta' di chiusura. Grarchia di Chomsky
    • * CAL - Calcolabilita'
      Macchine di Turing deterministiche e non-deterministiche. Macchine di Turing Universali.
    • * CAL - Calcolabilita'
      Problemi decidibili e indecidibili. Mapping Reducibility.
    • COM - Complessita'
      Complessità in tempo e spazio. Le classi P e NP. Problemi NP-Completi.
    • * ALF - Automi e Linguaggi Formali
      Teorema di Savitch's Theorem. PSPACE e PSPACE completezza
    • * ALF - Automi e Linguaggi Formali
      Le classi EXPTIME e EXPSPACE
    • SLP - Semantica dei Linguaggi di Programmazione
      Lambda caclolo
    • SLP - Semantica dei Linguaggi di Programmazione
      Semantica denotazionale

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa