computational logic (2007/2008)

Course partially running

Course code: 4S01115
Name of lecturer: Gianluigi Bellin
Number of ECTS credits allocated: 5
Academic sector: MAT/01 - MATHEMATICAL LOGIC
Language of instruction: Italian
Period: 1° Q dal Oct 3, 2007 al Dec 4, 2007.
Web page: http://profs.sci.univr.it/~bellin

Course news Seminars related to the course

Lesson timetable

Teaching aids

Documents

esercizio 1 (pdf, it, 27 KB, 04/10/07)
esercizio 2 (pdf, it, 16 KB, 12/10/07)
esercizio 3 (pdf, it, 29 KB, 17/10/07)
esercizio 4 (pdf, it, 31 KB, 26/10/07)
esercizio 5 (pdf, it, 41 KB, 28/11/07)
esercizio 6 (pdf, it, 41 KB, 28/11/07)
esercizio 7 (pdf, it, 100 KB, 28/11/07)
Programma corso di logica computazionale 2007-8 (pdf, it, 28 KB, 02/10/07)
soluzione esercizio 2 (pdf, it, 102 KB, 24/10/07)
soluzione esercizio 3 (pdf, it, 113 KB, 24/10/07)
soluzione esercizio 4 (pdf, it, 112 KB, 28/11/07)