Teacher
|
CIALDEA MARTA
(syllabus)
Logica classica: sintassi, semantica, sistema di deduzione naturale, tableaux e risoluzione. Il linguaggio Prolog. Il Calcolo delle situazioni e il linguaggio Golog. Metodi formali per la verifica di sistemi software (logica temporale, automi).
(reference books)
M. CIALDEA MAYER. LOGICA. LINGUAGGIO, RAGIONAMENTO, CALCOLO. ESCULAPIO, 2002.
W. F. CLOCKSIN AND C. S. MELLISH. PROGRAMMARE IN PROLOG. FRANCO ANGELI, 1993
M.CIALDEA MAYER. IL CALCOLO DELLE SITUAZIONI E IL LINGUAGGIO GOLOG (DISPENSE)
D. A. PELED. SOFTWARE RELIABILITY METHODS. SPRINGER, 2001
M. CIALDEA MAYER. LOGICA TEMPORALE E VERIFICA DI PROPRIETÀ DEI PROGRAMMI (DISPENSE).
|