Appunti
Note sulla Deduzione naturale disponibili qui.
Esercitazioni A.A. 2009/2010
- Esercitazione del 06 Ottobre 2009
- Esercitazione del 19 Ottobre 2009
- Esercitazione del 26 Ottobre 2009
- Esercitazione del 03 Novembre 2009
- Esercitazione del 17 Novembre 2009
- Esercitazione del 24 Novembre 2009 con soluzione
- 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 1997Il testo è ora disponibile nella pagina web dell'autore: http://www.cs.unibo.it/~asperti/PAPERS/logica.pdf.