TUD Logo

TUD Home » ... » Teaching » Winter Term 2009/10 » Foundations of Logic Programming

Computational Logic

Foundations of Logic Programming

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

Last modified: 22nd Feb 2010, 3.33 PM
Author: Dipl.-Inf. Sebastian Haufe