Teacher
|
ABRUSCI VITO MICHELE
(syllabus)
A) LOGIC AND COMPUTATION: CORRESPONDENCE BETWEEN LOGICAL 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, WOLTERS KLUWER, 2016 LECTURE NOTES
|