en | de

Computational Logic

master program

no type  WS 2012/2013  no LVA number

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.