Corso di: Logiche per informatica

Corso di Laurea Magistrale in Logica Computazionale

Anno accademico 2005-06

Testi di riferimento
M. Huth e M. Ryan, Logic in Computer Science, seconda edizione, Cambridge Univ. Press.
R. Turner, Logics for AI, MIT Press.
B. F. Chellas, LModal 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, logiche non monotone.

Orario del corso
Lunedì 9-11; Martedì 14-16; Giovedì 11-13 in Aula E,
o diversamente secondo preferenze studenti.
Inizio: 2 maggio 2006



Ricevimento
Orario: Giovedí ore 9.30-11.
Luogo: Stanza 45 al Dipartimento di Informatica (studio dei Matematici e Fisici) sul soppalco sopra le aule.

Warning Gli studenti sono pregati di non mandare e-mail al docente se non in casi di giustificata eccezionalità.
Il ricevimento non è riservato agli studenti di questo corso.