Foundations of Computing (2013/2014)

Course code
4S02789
Credits
12
Coordinator
Massimo Merro
Teaching is organised as follows:
Unit Credits Academic sector Period Academic staff
LOGICA 6 INF/01-INFORMATICS II semestre Andrea Masini
LINGUAGGI 6 INF/01-INFORMATICS I semestre Massimo Merro
Reference books
Author Title Publisher Year ISBN Note
Andrea Asperti, Agata Ciabattoni Logica a Informatica McGraw-Hill 2007
Dirk van Dalen Logic and Structure (Edizione 4) Springer-Verlag 2004 3540208798