Foundations of Computing (2016/2017)

Course code
4S02789
Credits
12
Coordinator
Massimo Merro
Teaching is organised as follows:
Unit Credits Academic sector Period Academic staff
INTELLIGENZA ARTIFICIALE 6 INF/01-INFORMATICS II sem. Alessandro Farinelli
LINGUAGGI 6 INF/01-INFORMATICS I sem. Massimo Merro
Reference books
Author Title Publisher Year 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.