en | de

Computational Logic

master program

no type  WS 2012/2013  no LVA number

Lecturer

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

Time and Place

VO Friday 13:15 - 15:00 HSB 9 Georg Moser

The lecture starts on October 5

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

First Exam on February 8, 2013

The first exam will take place on February 8 @ 13:15 in HSB 9.

exam    solution

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 time of the lecture.

Participation in this discussion is not a requirement in the technical sense, but strongly recommended. Here 'participation' includes but is not limited to the presentation of own solutions in the class room.

The assignments can only positivly improve the final mark.

Grading Scheme

The following case distinction is employed to deduce your final mark.
   Points    Mark       Points    Mark       Points    Mark
>= 45 Very Good       >= 32 Acceptable       < 25 Failed
>= 39 Good >= 25 Pass