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

Lesson timetable

1° Q
Day Time Type Place Note
Tuesday 2:30 PM - 4:30 PM lesson Lecture Hall B  
Wednesday 12:30 PM - 1:30 PM lesson Lecture Hall C  
Friday 9:30 AM - 11:30 AM lesson Lecture Hall A  
Friday 2:30 PM - 4:30 PM lesson Lecture Hall L  

Teaching aids

Documents