Università Roma Tre

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).

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).