Docente
|
ABRUSCI VITO MICHELE
(programma)
A) LOGICA E COMPUTAZIONE : LA CORRISPONDENZA TRA DIMOSTRAZIONI E PROGRAMMI B) LOGICA E COGNIZIONE : IL POSITIVO E IL NEGATIVO, L'IMPLICITO E L'ESPLICITO C) COMPUTAZIONE E COGNIZIONE : LE MACCHINE E LA CONOSCENZA
(testi)
V. MICHELE ABRUSCI, LOGICA. LEZIONI DI PRIMO LIVELLO, CEDAM, PADOVA, 2012 DISPENSE
|