en | de

Computational Logic

master program

no type  WS 2013/2014  no LVA number


room consultation hours
VO Georg Moser 1N05 Wednesday12:00 – 14:00

Time and Place

VO Wednesday 13:15 - 15:00 3W03 Georg Moser

The lecture starts on October 2

Please register online for the lecture (till October 31, 23:59 Uhr).

Second Exam on July 7, 2014

The second exam will take place on July 7 @ 10:00 in 3W03. Please register online for the exam.

First Exam on February 26, 2014

The first exam took place on February 26 @ 17:00 in 3W03.

exam    solution (corrected, 09.04.14)

Please come by in the office hours of the lecturer, if you have any question regarding your exam papers.

Problem Assignment

In addition to the lecture problem assignments are provided that will be discussed during the Proseminar.

Grading Scheme

The following case distinction is employed to deduce your final mark.
   Points    Mark       Points    Mark       Points    Mark
>= 90 Very Good       >= 60 Acceptable       < 50 Failed
>= 75 Good >= 50 Pass