| Corso di: Logiche per informatica | |
|
Corso di Laurea Magistrale in Logica Computazionale Anno accademico 2007-08 |
|
|
Il corso si svolgerà nel terzo trimestre. Gli studenti che intendono seguire il corso sono invitati a presentarsi per un primo incontro con il docente il giorno 22 aprile 2008, ore 10, aula F del Dipartimento di Informatica. Testo di riferimento M. Huth e M. Ryan, Logic in Computer Science, seconda edizione, Cambridge Univ. Press. Altri testi: R. Turner, Logics for AI, MIT Press. B. F. Chellas, Modal Logic - An Introduction, Cambrdge Univ. Press. Programma di massima del corso Logiche modali, con metodi di decisione come alberi semantici, logiche temporali con applicazioni ai processi, verifica dei programmi, model checking, logiche non monotone. Orario del corso Lunedí 11-13 Aula F Martedí 14-16 Aula D Mercoledí 9-11 Aula E | |
|
Ricevimento | |