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.

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/2026

Il 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.

CURRICULUM TIPO:

1° Anno 

InsegnamentiCreditiTAFSSD
12
B
ING-INF/05
12
B
INF/01
12
B
ING-INF/05
6
B
ING-INF/05
InsegnamentiCreditiTAFSSD
12
B
ING-INF/05
12
B
INF/01
12
B
ING-INF/05
6
B
ING-INF/05
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.




S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Codice insegnamento

4S02789

Crediti

4

Offerto anche nei corsi:

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

INF/01 - INFORMATICA

Periodo

I semestre dal 1 ott 2009 al 31 gen 2010.

Per visualizzare la struttura dell’insegnamento a cui questo modulo appartiene, consultare:  organizzazione dell'insegnamento

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.

Le/gli studentesse/studenti con disabilità o disturbi specifici di apprendimento (DSA), che intendano richiedere l'adattamento della prova d'esame, devono seguire le indicazioni riportate QUI

Materiale e documenti