Fondamenti (2013/2014)

Codice insegnamento
4S02789
Crediti
12
Coordinatore
Massimo Merro
L'insegnamento è organizzato come segue:
Modulo Crediti Settore disciplinare Periodo Docenti
LOGICA 6 INF/01-INFORMATICA II semestre Andrea Masini
LINGUAGGI 6 INF/01-INFORMATICA I semestre Massimo Merro
Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Andrea Asperti, Agata Ciabattoni Logica a Informatica McGraw-Hill 2007
Dirk van Dalen Logic and Structure (Edizione 4) Springer-Verlag 2004 3540208798