Teaching - Università Roma Tre

LOGIC FOR COMPUTER SCIENCE (objectives)

Code

20802117

Language

ITA

Type of certificate

Profit certificate

Credits

9

Scientific Disciplinary Sector Code

ING-INF/05

Contact Hours

81

Type of Activity

Core compulsory activities

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).
Dates of beginning and end of teaching activities	From to
Attendance	not mandatory