20802117 - LOGIC FOR COMPUTER SCIENCE

Basic knowledge of classical and some non-classical logics and some of their applications in computer science
teacher profile | teaching materials

Programme

First order logic, automatic deduction, the Prolog programming language, formal verification methods

Core Documentation

See the course web page: http://cialdea.dia.uniroma3.it/teaching/logica/

M. Cialdea Mayer. Logica (Lecture notes)
Any introductory book on Prolog
D. A. Peled. Software Reliability Methods, chapters 1 and 4
M. Cialdea Mayer. Logica temporale e verifica di proprietà dei programmi (lecture notes).
J.-P. Katoen. Concepts, Algorithms and Tools for Model Checking
Gerd Behrmann, Alexandre David, and Kim G. Larsen A Tutorial on Uppaal 4.0.


Type of delivery of the course

Class lessons

Type of evaluation

Written exam