| Prüfungsnummer | 50230 |
|---|---|
| Studiengang | [079] - Informatik |
| Prüfungsversion | [-1] - besondere Verarb. |
| Abschnitt | [G] - Grundstudium |
| Kurztext | FMI-IN0023 |
| Drucktext | GL der Constraint-Progr |
| Pflichtkennzeichen | [WP] - Wahlpflichtfach |
| Prüfungsform | [G] - generiert |
| Prüfungsart | [MO] - Modul |
| Art der Notengebung | [G] - Berechnung nur m. 1 NachK |
| Inhalt und Qualifikationsziel | Gegenstand der Constraint-Programmierung ist es, mit Hilfe von rechnerverständlich formulierten Bedingungen, sog. Constraints, reale Objekte und deren Wechselbeziehungen in einem vorgegebenen Weltauschnitt so zu modellieren, dass das dabei entstehende, formale Modell direkt als Programm zur Identifikation der relevanten, impliziten Eigenschaften des Objektsystems eingesetzt werden kann. Dieses Problem der Identifikation wird dann als Constraint-Problem bezeichnet. Typische Vertreter von Constraint-Problemen sind z.B. kombinatorische Optimierungsprobleme. In der Vorlesung wird eine Einführung in Grundlagen und Techniken der Constraint-Programmierung erfolgen. Dabei wird der praktische Schwerpunkt auf die Constraint-Logikprogrammierung mit Sicstus-Prolog gelegt werden. |
| Lehr- und Lernformen | 3V + 1Ü (mit Kleinprojekten) |
| Voraussetzungen für die Teilnahme | keine |