|
|
|
Corso di Logica Matematica, M-Z.
Questa pagina è obsoleta.
Nell'a.a. 2007/2008 il corso sarà tenuto dal prof. Cesare Parenti
Programma ufficiale
Libro di testo
Andrea Asperti e Agata Ciabattoni, Logica a Informatica. McGraw-Hill, 1997.
Newsgroup: unibo.cs.informatica.logica
Trasparenze prima lezione:primalezione.pdf
Esercitazioni: a cura di Stefano Zacchiroli.
Eserciziario (a cura di Ugo Dal Lago):
pdf 67 KB
Modalità d'esame
L'esame consta di uno scritto e di un orale facoltativo. Alla prova scritta è non consentita la consultazione di libri o appunti.
All'esame (scritto e orale) ci si presenta muniti del libretto universitario (e non di altro documento di riconoscimento).
Esame del 3.6.2003:
pdf 36 KB;
con soluzione:
pdf 56 KB.
Esame del 1.7.2003:
pdf 40 KB;
con soluzione:
pdf 64 KB.
Esame del 3.9.2003:
pdf 40 KB;
con soluzione:
pdf 56 KB.
Esame del 23.9.2003:
pdf 40 KB;
con soluzione:
pdf 82 KB.
Esame del 9.6.2004:
pdf 40 KB;
con soluzione:
pdf 60 KB.
Altri testi d'esame: qui.