Teacher
|
ABRUSCI VITO MICHELE
(syllabus)
A) LOGIC AND COMPUTATION: CORRESPONDENCE BETWEEN PROOFS AND PROGRAMS B) LOGIC AND COGNITION: POSITIVE VS NEGATIVE, IMPLICIT VS EXPLICIT C) COMPUTATION AND COGNITION : MACHINE VS KNOWDLEGE
(reference books)
V. MICHELE ABRUSCI, LOGICA. LEZIONI DI PRIMO LIVELLO, CEDAM, PADOVA, 2012 LECTURE NOTES
|