TUD Logo

TUD Startseite » ... » Lehre » WS 2009/10 » Grundlagen der Logik-Programmierung

Computational Logic

Grundlagen der Logik-Programmierung

Winter Term 2009/2010

Course Description

Prof. Michael Thielscher, Mr. Sebastian Voigt

See the official Course Summary page for more details.

Time Table

  • Mondays (19.10., 2.11., 16.11., 30.11., 14.12., 11.1., 25.1.):
    • 6. DS Exercise (E 005)
  • Thursdays (start 15.10.):
    • 4. DS Lecture (E 005)


During the Open House or by appointment.

Details about the Examination

The written exam takes place the 22nd of February at 10.00 am in room E 005. For parts FLP and FCP, all written materials are allowed, except electronic devices. Student and personal id cart have to be presented.

The 26th of February between 11 am and 12 am you can have a look at your examination result in room 2004.

Handouts and Slides


Additional References

Stand: 22.2.2010, 15:33 Uhr
Autor: Dipl.-Inf. Sebastian Haufe