Cinzia Di Giusto margherita

Home Research Teaching About me

Appunti

Note sulla Deduzione naturale disponibili qui.

Esercitazioni A.A. 2009/2010

  1. Esercitazione del 06 Ottobre 2009
  2. Esercitazione del 19 Ottobre 2009
  3. Esercitazione del 26 Ottobre 2009
  4. Esercitazione del 03 Novembre 2009
  5. Esercitazione del 17 Novembre 2009
  6. Esercitazione del 24 Novembre 2009 con soluzione
  7. Esercizi di deduzione naturale (e risoluzione) in preparazione dell'esame

I risultati delle esercitazioni sono disponibili qui

Bibliografia

Andrea Asperti, Agata Ciabattoni. Logica a Informatica. Ed. McGraw-Hill 1997
Il testo è ora disponibile nella pagina web dell'autore: http://www.cs.unibo.it/~asperti/PAPERS/logica.pdf.

margherita