Logica Computazionale

Laurea Specialistica di Informatica

In questa pagina troverete informazioni e documenti sulla Laurea Specialistica di Logica computazionale

• Informazioni Principali e Corsi

• Presentazione di Logica Computazionale (a.a. 2004-05)

• Regolamento Didattico di Logica Computazionale

Per informazioni rivolgersi a:

• Prof. Nicola Olivetti, Dipartimento di Informatica, Universita` di Torino, C.so Svizzera 185, 10149 - Torino
  Telefono +39 11 670 67 69, Fax +39 11 75 16 03
  email: olivetti@di.unito.it
  home page


• Prof. Gabriele Lolli, Dipartimento di Matematica, Universita` di Torino, V. Carlo Alberto 10, 10123 - Torino
  Telefono +39 11 670 28 91, Fax +39 670 28 78
  email: gabriele.lolli@unito.it
  home page