Einführung in die Constraint-Programmierung

 

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, 2. Block, HG/0.19 (Hofstedt)

Übung: mittwochs, 1. 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)

 

 

Literatur

Weitere Literaturhinweise werden in der Veranstaltung gegeben.

 

Prüfungstermine

Prüfungsform: mündliche Prüfung
Prüfungszeiträume: hier