computational logic (2008/2009)

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
Location
VERONA
Period
1° Q dal Oct 2, 2008 al Dec 19, 2008.

Lesson timetable

1° Q
Day Time Type Place Note
Monday 9:30 AM - 11:30 AM lesson Lecture Hall C  
Wednesday 11:30 AM - 1:30 PM lesson Lecture Hall H  
Wednesday 4:30 PM - 5:30 PM lesson Lecture Hall E  

Learning outcomes

--

Syllabus

--

Assessment methods and criteria

--