Fondamenti (2018/2019)

Codice insegnamento
4S02789
Crediti
12
Coordinatore
Massimo Merro
L'insegnamento è organizzato come segue:
Modulo Crediti Settore disciplinare Periodo Docenti
INTELLIGENZA ARTIFICIALE 6 INF/01-INFORMATICA Vedi pagina del modulo Vedi pagina del modulo
LINGUAGGI 6 INF/01-INFORMATICA I semestre Massimo Merro

Obiettivi formativi

L'obiettivo del corso è quello di presentare:
(i) le basi teoriche dei linguaggi di programmazione;
(ii) i paradigmi e le tecniche principali della rappresentazione simbolica e soluzione automatica di problemi.
A tale scopo, nel modulo di Linguaggi, verranno studiati vari linguaggi paradigmatici, anche di ordine superiore. Il modulo sarà incentrato sui concetti di semantica operazionale e di sistema di tipo.
Invece, nel modulo di Intelligenza artificiale vengono forniti gli strumenti per ideare, applicare e valutare algoritmi per problemi difficili. La soluzione meccanizzata di tali problemi cattura aspetti di intelligenza artificiale o razionalità computazionale.

Programma

Si rimanda ai programmi dei due moduli che costituiscono l'insegnamento.

Modalità d'esame

Il candidato deve superare gli esami di entrambi i moduli con una votazione maggiore o uguale a 18/30. La votazione dell'intero insegnamento si ricava dalla media per eccesso delle votazioni conseguite nei due moduli.

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Peter Sewell Semantics of Programming Languages (Edizione 5) Cambridge University Press 2017
Benjamin Pierce Types and Programming Languages (Edizione 1) MIT Press 2002 ISBN-10: 0262162091