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.

Course news Seminars related to the course

Lesson timetable

Learning outcomes

--

Syllabus

--

Assessment methods and criteria

--