Computer Science - Informatica

ADOLFO PIPERNO

Obiettivi generali
L'insegnamento è indirizzato all'acquisizione delle conoscenze matematiche relative ad aspetti fondamentali dei linguaggi di programmazione funzionale e imperativa con particolare attenzione ai meccanismi di esecuzione dei programmi.

Obiettivi specifici

Conoscenza e comprensione:
Alla fine del corso lo studente avrà piena comprensione degli strumenti matematici proposti.

Capacità di applicare conoscenza e comprensione:
Lo studente sarà in grado di approfondire lo studio consultando autonomamente manuali o pubblicazioni scientifiche.

Capacità critiche e di giudizio:
Le conoscenze acquisite permetteranno allo studente di individuare e confrontare in altri ambiti gli argomenti proposti nell'uso di linguaggi di programmazione, in particolare nell'ambito lavorativo.

Capacità di comunicare quanto si è appreso:
Lo studente viene stimolato ad esporre e comunicare le proprie esperienze ai suoi colleghi.

Capacità di proseguire lo studio in modo autonomo nel corso della vita:
Il corso tratta aspetti fondamentali della programmazione, assicurando allo studente la possibilità di individuarli autonomamente nell'uso di ogni particolare linguaggio.

Obiettivi generali
L'insegnamento è indirizzato all'acquisizione delle conoscenze matematiche relative ad aspetti fondamentali dei linguaggi di programmazione funzionale e imperativa con particolare attenzione ai meccanismi di esecuzione dei programmi.

Obiettivi specifici

Conoscenza e comprensione:
Alla fine del corso lo studente avrà piena comprensione degli strumenti matematici proposti.

Capacità di applicare conoscenza e comprensione:
Lo studente sarà in grado di approfondire lo studio consultando autonomamente manuali o pubblicazioni scientifiche.

Capacità critiche e di giudizio:
Le conoscenze acquisite permetteranno allo studente di individuare e confrontare in altri ambiti gli argomenti proposti nell'uso di linguaggi di programmazione, in particolare nell'ambito lavorativo.

Capacità di comunicare quanto si è appreso:
Lo studente viene stimolato ad esporre e comunicare le proprie esperienze ai suoi colleghi.

Capacità di proseguire lo studio in modo autonomo nel corso della vita:
Il corso tratta aspetti fondamentali della programmazione, assicurando allo studente la possibilità di individuarli autonomamente nell'uso di ogni particolare linguaggio.

Nessuno

Introduzione al lambda-calcolo, sintassi e semantica operazionale. [10 ore]
Teorema di Church-Rosser. [10 ore]
Tesi di Church. [10 ore]
Strutture dati e loro rappresentazione nel lambda-calcolo. [10 ore]
Sistemi di tipi, normalizzazione forte e debole. [10 ore]
Teorema di Böhm. [10 ore]

Note distribuite dal docente

Nessuna

Didattica frontale, articolata in lezioni per circa il 70% delle ore ed in esercitazioni per il restante 30%.

Non obbligatoria

La prova di esame sarà scritta (fondamentale per la valutazione finale) con domande a risposta chiusa o aperta.
Si può prevedere (a richiesta dello studente) una prova orale di discussione della prova scritta.

Si prevede una prova intermedia.

beta-riduzione di lambda-termini, loro astrazione in logica combinatoria, assegnamento di tipi