Module

Voraussetzungen

Inhalte

Die Veranstaltung umfasst u.a. folgende Themengebiete: • Prädikatenlogik und Logikprogrammierung, • Constraints, Constraint-Systeme und Constraint-Domänen, • Spezielle Constraint-Lösungsmechanismen und Algorithmen, insbesondere Finite-Domain Constraints und arithmetische Constraints, • globale Constraints, • Constraint-Programmiersprachen (Syntax und Semantik), • Praktische Anwendung der Constraint-Programmierung und Modellierung, • Heuristische Suche und Optimierung.

Lernziele

Die Studierenden erlangen einen theoretisch fundierten Überblick über das Gebiet der Constraint-Programmierung sowie praktische und methodische Kenntnisse und Fähigkeiten in der Anwendung. Sie lernen Techniken und mathematische Grundlagen von Constraint-Solving-Verfahren kennen. Weiterhin werden sie befähigt, komplexe Constraint-Probleme (Optimierung, Planung, Logistik, Diagnose) zu abstrahieren, zu modellieren und zu implementieren. Dies schließt die Fähigkeit zur Auswahl geeigneter Techniken und Methoden für spezielle Anwendungsbereiche ein.

Prüfungsleistung

• mündliche Prüfung, 30-45 min. ODER • Klausur, 90 min. (bei erhöhter Teilnehmerzahl) In der ersten Lehrveranstaltung wird bekanntgegeben, ob die Prüfungsleistung in schriftlicher oder mündlicher Form zu erbringen ist.

Bemerkungen

• Studiengang Informatik M.Sc.: Wahlpflichtmodul im Komplex „Praktische Informatik“ (Niveaustufe 400) • Studiengang Artificial Intelligence M.Sc.: Wahlpflichtmodul im Komplex „Learning and Reasoning“ • Studiengang Künstliche Intelligenz Technologie M.Sc.: Wahlpflichtmodul im Komplex „Software-basierte Systeme“ • Studiengang Angewandte Mathematik M.Sc.: Wahlpflichtmodul im Komplex „Anwendungen“, Bereich „Informatik“