Teaching - Università Roma Tre

(objectives)

Code

20810263

Language

ITA

Type of certificate

Profit certificate

Credits

6

Scientific Disciplinary Sector Code

ING-INF/05

Contact Hours

60

Type of Activity

Core compulsory activities

Derived from	20810263 Logica in Computer science and engineering LM-32 CIALDEA MARTA (syllabus) Classical first order logic (syntax and semantics). Automated proof methods. The resolution method, its refinements and SLD resolution. Logic programming and the Prolog language. Modal and temporal logics. The tableaux method for linear temporal logic. Application to system verification. (reference books) See the course web site: http://cialdea.dia.uniroma3.it/teaching/logica/ M. Cialdea Mayer. Logica (lecture notes) Any introductory book on Prolog. SWI-Prolog user manual. D. A. Peled. Software Reliability Methods. Springer, 2001 (chapters 1 and 4). M. Cialdea Mayer. Logica temporale e verifica di proprietà dei programmi (lecture notes).
Dates of beginning and end of teaching activities	From 01/03/2023 to 12/06/2023
Delivery mode	Traditional
Attendance	not mandatory
Evaluation methods	Written test