en | de

Computational Logic

master program

VO2  WS 2012/2013  703607

News

first exam
Exam and example solution is online, grades have been entered into LFU.
problem sets
Final problem sets are online.
lecture notes
The lecture notes corrected Nov. 30.
lecture notes
The lecture notes are online.
registration
Please register for the course.