CIALDEA MARTA
(syllabus)
Predicate logic (syntax and semantics). Automated deduction: the resolution method. Logic Programming and Prolog. The situation calculus and the language Golog. Linear temporal logic and the tableau method for LTL. Omega-automata. Formal methods for the verification of software systems.
(reference books)
M. Cialdea Mayer. Logica (lecture notes). Any introductory text on Prolog. SWI-Prolog User Manual. M. Cialdea Mayer. Il Calcolo delle Situazioni e il linguaggio Golog (lecture notes). M. Cialdea Mayer. Logica temporale e verifica di proprietà dei programmi (lecture notes).
|