Constraint-Programmierung ist eine relativ junge Entwicklung auf dem Gebiet der Programmiersprachen, die sich zu einem bedeutenden und stetig wachsenden Forschungs- und Anwendungsfeld entwickelt hat. Sie liefert Methoden zur effizienten Modellierung von Systemen und zur Lösung von Aufgaben, bei denen nur unvollständige Informationen vorliegen, z.B. Such- und Optimierungsprobleme, sowie zur Lösung kombinatorischer Probleme oder auch bei der Entwicklung komplexer Deduktionssysteme. Die Lehrveranstaltung gibt eine Einführung in die Constraint-Programmierung, stellt Constraint-Systeme und -Lösungsmechanismen vor und betrachtet und untersucht Sprachen des Constraint-Programming, Modellierung, heuristische Suche und Optimierung.

Veranstaltungsdaten

Umfang: 2 SWS VL + 2 SWS UE, insg. 6 Credit-Points

Vorlesung: mittwochs, 1. Block, HG/0.19 (Hofstedt)

Übung: mittwochs, 2. Block, HG/0.19 (Hofstedt)

Studiengänge

• Informatik, Diplom (Säule „Grundlagen der Informatik“)

• Informatik, Master (Komplex „Grundlagen der Informatik“)

• Informations- und Medientechnik, Master (Komplex „Methodische Grundlagen“)

• Angewandte Mathematik, Master (Anwendungsfach)

Vorlesungsfolien 

•  Einführung 
•  1. Prädikatenlogik
•  2. Logische Programmierung
•  3. Prolog
•  4. Constraints, Constraint-Systeme und Constraint-Löser
•  5. Finite-Domain-Constraints
•  5.1 FD-Constraints: Grenzenkonsistenz 
•  5.2 FD-Constraints: Auswahlheuristiken
•  6. Lineare arithmetische Constraints
•  7. Globale Constraints
•  8. Constraint-Logische Programmierung (CLP)
•  9. Nebenläufige (Concurrent) CLP (CCLP)

Aufgabenblätter 

•  Blatt 1
•  Blatt 2
•  Blatt 3 (Achtung: Abgabe der Aufgaben 3 und 4 bis 15.11.2011)
•  Blatt 4
•  Blatt 5
•  Blatt 6 (Achtung: Abgabe bis 2.1.2012)
•  Blatt 7 ( zebra.ecl,  MagicSquares.java)
•  Blatt 8 ( aufgabe1.ecl)
•  Blatt 9 (Achtung: Abgabe der Aufgaben 2 und 3 bis 24.1.2012)
•  Blatt 10
•  Blatt 11

Literatur

• P. Hofstedt; A. Wolf: Einführung in die Constraint-Programmierung. Grundlagen, Methoden, Sprachen, Anwendungen. Springer, 2007.

Weitere Literaturhinweise werden in der Veranstaltung gegeben.

Prüfungstermine

Prüfungsform: mündliche Prüfung 
Prüfungstermin:  Raum 2.38 HG, 27.03.2012 

vorherige Anmeldung und Terminvergabe im Sekretariat notwendig