2012
2012
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Fondamenti logici dell'Informatica
Informazioni generali
Corso di Laurea Informatica Percorso
CFU 6 Università BOLOGNA
Ore di didattica frontale per CFU 6 Settore Scientifico Disciplinare MAT/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

  • MAT - Crediti di MATEMATICA
    • MAT/01 - Logica Matematica
      Lambda calcolo puro
    • MAT/01 - Logica Matematica
      Lambda calcoli con tipi: semplici, polimorfi, aritmetica
    • MAT/01 - Logica Matematica
      Inferenza di tipo
    • MAT/01 - Logica Matematica
      Relazioni tra lambda-calcolo e logica intuizionista
    • MAT/01 - Logica Matematica
      Espressività dei calcoli tipizzati
    • MAT/01 - Logica Matematica
      Normalizzazione dei calcoli tipizzati

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali