Studiare
In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.
Piano Didattico
Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso.Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:
Laurea magistrale in Ingegneria e scienze informatiche - Immatricolazione dal 2025/2026Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.
1° Anno
Insegnamenti | Crediti | TAF | SSD |
---|
2° Anno Attivato nell'A.A. 2010/2011
Insegnamenti | Crediti | TAF | SSD |
---|
Tre insegnamenti a scelta tra i seguenti
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Tre insegnamenti a scelta tra i seguenti
Insegnamenti | Crediti | TAF | SSD |
---|
Legenda | Tipo Attività Formativa (TAF)
TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.
Fondamenti - LINGUAGGI (2009/2010)
Codice insegnamento
4S02789
Docente
Crediti
4
Offerto anche nei corsi:
- Linguaggi funzionali del corso Laurea specialistica in Informatica
Lingua di erogazione
Italiano
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Periodo
I semestre dal 1 ott 2009 al 31 gen 2010.
Obiettivi formativi
L'obiettivo del corso è quello di presentare agli studenti le basi teoriche dei linguaggi di programmazione. A tale scopo verranno introdotti vari linguaggi tipati paradigmatici di ordine superiore (lambda calcoli). Tutto il corso sarà incentrato sui concetti di sistema di tipo e di semantica operazionale. Il corso affronterà anche problematiche relative alla definizione di tipi di dato.
Programma
Definizioni induttive; sistemi di transizione; sistemi di tipo; semantica operazionale strutturale;
Linguaggi di ordine superiore: lambda calcolo tipato: isomorfismo di Curry-Howard; calcoli di ordine superiore; il sistema T: sintassi e semantica; definibilità e tipi di dato; PCF: sintassi e semantica; definibilità e tipi di dato; il sistema F: sintassi e semantica, definibilità e tipi di dato.
Modalità d'esame
L'esame consiste in una prova scritta.
Materiale e documenti
-
Materiale didattico (html, en, 7 KB, 11/23/09)