CIALDEA MARTA
(programma)
Logica dei predicati (sintassi e semantica). Deduzione automatica: il metodo di risoluzione. Programmazione logica e il linguaggio Prolog. Il calcolo delle situazioni e il linguaggio Golog. Logica temporale lineare e il metodo dei tableaux per LTL. Omega-automi. Metodi formali per la verifica di sistemi software.
(testi)
M. Cialdea Mayer. Logica (dispense).
Qualsiasi testo introduttivo al Prolog.
Manuale utente di SWI-Prolog.
M. Cialdea Mayer. Il Calcolo delle Situazioni e il linguaggio Golog (dispense).
M. Cialdea Mayer. Logica temporale e verifica di proprietà dei programmi (dispense).
|
Università Roma Tre