TUD Logo

TUD Home » ... » Teaching » Winter Term 2008/09 » Foundations of Logic Programming

Computational Logic

Foundations of Logic Programming

Winter Term 2008/2009

Course Description

Lecturers:
Prof. Michael Thielscher, Mr. Sebastian Voigt

See the official Course Summary page for more details.

Time Table

  • Mondays (27.10., 10.11., 24.11., 8.12., 5.1., 19.1., 2.2.):
    • 6. DS Exercise (E 005)
  • Thursdays (start 16.10.):
    • 4. DS Lecture (E 005)

Consultations

Send an email to the lecturers to fix a date.

Details about the Examination

Written exam on the 11-th of February at 10.00 am in room E005 (all written materials allowed, no electronic devices, student and personal id cart have to be presented)

On the 5th of March between 1 pm and 2 pm you can have a look at your examination result in room 2004.

Handouts and Slides

Exercises

Date of exercise Handed out Exercise sheet
27.10.2008 24.10.2008 Exercise 1
10.11.2008 06.11.2008 Exercise 2
24.11.2008 21.11.2008 Exercise 3
08.12.2008 04.12.2008 Exercise 4
05.01.2009 18.12.2008 Exercise 5
19.01.2009 13.01.2009 Exercise 6
02.02.2009 28.01.2009 Exercise 7

Additional References

Last modified: 1st Feb 2010, 2.29 PM
Author: Dipl.-Inf. Sebastian Haufe