TUD Logo

TUD Home » ... » Teaching » Winter Term 2010/11 » Foundations of Constraint Programming

Computational Logic

Foundations of Constraint Programming

Winter Term 2010/2011

Course Description

Lecturers:
Prof. Steffen Hölldobler, Mr. Sebastian Haufe

See the official Course Summary page for more details.

Time Table

  • Mondays (1.11., 15.11., 22.11., 29.11., 06.12., 13.12.):
    • 1. DS Lecture (E 005)
  • Fridays (29.10., 5.11., 19.11., 26.11., 7.1., 14.1., 21.1., 28.1.):
    • 2. DS Exercise (E 005)

Consultations

During the Open House or by appointment.

Details about the Examination

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

The 22nd of February 2011 between 9 am and 11 am, and between 12 pm and 2 pm you can have a look at your examination results (all parts: FLP, FCP, and LPE) in room 3027. Please reserve a time slot via this link.

.

Handouts and Slides

Exercises

Additional References

  • Book "Principles of Constraint Programming" by Krzysztof Apt in the library
Last modified: 14th Feb 2011, 2.23 PM
Author: Dipl.-Inf. Sebastian Haufe