Fondamenti (2016/2017)

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 II sem. Alessandro Farinelli
LINGUAGGI 6 INF/01-INFORMATICA I sem. Massimo Merro
Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Stuart Russell, Peter Norvig Artificial Intelligence: A Modern Approach (Edizione 2) Prentice Hall 2003 0137903952
Peter Sewell Semantics of Programming Languages (Edizione 5) Cambridge University Press 2017 Note a cura del Prof. Sewell.
G. Winskel The formal Semantics of Programming Languages MIT Press 1993
Benjamin Pierce Types and Programming Languages (Edizione 1) MIT Press 2002 ISBN-10: 0262162091 Guida ineguagliabile per lo studio dei sistemi di tipi per i linguaggi di programmazione.