This page: http://www.pms.informatik.uni-muenchen.de/lehre/constraints/02ss/        (validation)
Slim.Abdennadher@informatik.uni-muenchen.de

Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen,
Institut für Informatik der Ludwig-Maximilians-Universität München

Vorlesung "Constraint-Programmierung: Theorie und Anwendung" (SS 2002)

Inhaltsverzeichnis dieser Seite

Aktuelles

19. Juni 2002: Die Vorlesung vom Freitag, den 21.6. 2002 findet erst um 11:00 Uhr s.t statt.

15. Mai 2002: In der nächsten Woche (20. bis 24. Mai) ist am Dienstag vorlesungsfrei. In der nächsten Woche findet also keine Übung statt. Allerdings gibt es ein Übungsblatt, das am 04.06 besprochen wird.

15. Mai 2002: In der Woche vom 27. bis 31. Mai finden die beiden Vorlesungen und die Übung nicht statt.

Organisatorisches

Vorlesung:
Constraint-Programmierung: Theorie und Anwendung. (PG,A) 4+2
Dozenten: Thom Frühwirth und Slim Abdennadher
Zeit und Ort: Mi 10-12, Raum Z1.09, Fr 10-12, Raum Z1.09 Oettingenstr. 67.
Übung:
Betreuer: Thom Frühwirth und Slim Abdennadher
Zeit und Ort: Di 10-12, das erste Mal am 30. April im Hörsaal 0.13, dann im CIP-Pool (Keller), Raum Z8 Gobi, Oettingenstr. 67.

für:
Haupt- und Nebenfach Informatik
Vorkenntnisse:
Grundkenntnisse in Informatik. Grundkenntnisse in Prolog oder Logik vorteilhaft.
Schein:
Gilt für Diplomprüfung Haupt- und Nebenfach Informatik, Hauptprüfung für das Lehramt an Gymnasien: Erweiterungsfach Informatik.
Voraussetzungen für den Schein:
Mündliche Prüfung am Ende des Semesters mit Zulassungsvoraussetzung.
Auf jedem der wöchentlichen Übungsblätter sind alle Aufgaben zu lösen (keine Gruppenlösungen). Dreimal während des Semesters werden die Lösungen des aktuellen Übungsblatts bewertet. Die Termine sind vorher nicht bekannt. An der Prüfung kann teilnehmen, wer an wenigstens zwei der drei Termine nicht-triviale Lösungsversuche abgibt. Die Lösungen sollen bis Dienstag 10:00 Uhr per E-Mail an Slim Abdennadher geschickt werden mit dem Subject "Abgabe-der-Constraint-Uebung".
Prüfungstermin: Dienstag, den 16.7.2002 von 9:00-11:00, und Mittwoch, den 17.7.2002 von 9:00-13:00. Anmeldung per E-Mail an Slim Abdennadher notwendig.

zurück zum Inhaltsverzeichnis dieser Seite

Inhalt der Vorlesung

Die Constraint-Programmierung ist in den letzten Jahren sowohl wissenschaftlich als auch praktisch stark im Kommen. Der weltweite Umsatz durch Anwendung dieser Technologie wurde für 1996 auf 100 Millionen Dollar geschätzt. Haupteinsatzbereiche sind Produktions- und Personalplanung, Transportoptimierung sowie Layoutgenerierung.

Die Constraint-Programmierung begann vor etwa 10 Jahren als natürliche Fusion zweier deklarativen Paradigmen: Lösen von Constraints und Logikprogrammierung. Dadurch lassen sich schnell und elegant komplexe kombinatorische Probleme durch eine Verbindung aus Constraintlösen und Suche behandeln. Unter Constraintlösen versteht man das Lösen von Problemen, indem man Constraints (Bedingungen, Einschränkungen) angibt, die von einer Lösung erfüllt werden müssen, und diese Constraints kombiniert, um die Lösung weiter einzuschränken.

Die vierstündige Vorlesung deckt sowohl formale als auch praktische Aspekte ab. Die zweistündige Übung ermöglicht es, praktische Erfahrungen mit einer der fortgeschrittensten Constraintsprachen zu sammeln.

Themen

zurück zum Inhaltsverzeichnis dieser Seite

Newsgroup

Unter news://news.informatik.uni-muenchen.de/lmu.informatik.pms.vorlesung.constraints ist ein Informationsaustausch über die Vorlesung möglich. Diskussionen über den Stoff der Vorlesung, Fragen zum Stoff und den Übungsblättern, Rückmeldungen an die Veranstalter usw. unterstützt werden.

Hinweis: auf den Newsserver des Instituts (news://news.informatik.uni-muenchen.de) kann nur innerhalb des Münchener Wissenschaftsnetzes (MWN) zugegriffen werden, also zum Beispiel nicht, wenn das Login über einen kommerziellen Internetprovider erfolgt. Siehe auch die Informationsseite der Rechnerbetriebsgruppe. Allerdings können alle Studenten den Modem-Zugang über das LRZ nutzen und damit in das MWN gelangen.

zurück zum Inhaltsverzeichnis dieser Seite

Literatur und Unterlagen

Buch und Folien zur Vorlesung, Links zu Constraint-Programmiersprachen und weitere Links

Folien zu Constraint Handling Rules vom 24.5.2002

zurück zum Inhaltsverzeichnis dieser Seite

Übungsblätter

Auf jedem der wöchentlichen Übungsblätter sind alle Aufgaben zu lösen (keine Gruppenlösungen). Dreimal während des Semesters werden die Lösungen des aktuellen Übungsblatts bewertet. Die Termine sind vorher nicht bekannt. An der Prüfung kann teilnehmen, wer an wenigstens zwei der drei Termine nicht-triviale Lösungsversuche abgibt. Die Lösungen sollen bis Dienstag 10:00 Uhr per E-Mail an Slim Abdennadher geschickt werden mit dem Subject "Abgabe-der-Constraint-Uebung".

Es wird mit Sictus Prolog programmiert (Kurzbeschreibung Sictus Prolog (ps.Z), Sicstus Prolog User Manual) und mit Constraint Handling Rules (Kurzbeschreibung CHR (ps), CHR User Manual, (ps.Z)

zurück zum Inhaltsverzeichnis dieser Seite

PMS Lehr- und Forschungseinheit          IfI Institut          LMU Universität