Vorlesung
2 SemesterwochenstundenBTU-Vorlesungsverzeichnis ↗- Dienstag06 Okt 2026 bis 26 Jan 202713:45 bis 15:15VG1C/2.03
← Zurück zur Übersicht
12472Fakultät 1 – MINT – Mathematik, Informatik, Physik, Elektro- und Informationstechnik
Einführung in die Constraint-Programmierung
Titel auf Englisch: Introduction to Constraint Programming
Lernergebnisse
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.
Inhalte
- 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.
Voraussetzungen
Verpflichtende Voraussetzungen
Keine
Empfohlene Voraussetzungen
Grundkenntnisse in Logik und in der Programmierung
Prüfungsmodalitäten
- Mündliche Prüfung, 30-45 min. ODER
- Klausur, 90 min. (bei erhöhter Teilnehmerzahl)
Termine im WiSe 26/27
Übung
2 SemesterwochenstundenBTU-Vorlesungsverzeichnis ↗- Montag12 Okt 2026 bis 25 Jan 202709:15 bis 10:45VG1C/2.03
Prüfung
BTU-Vorlesungsverzeichnis ↗Angeboten in
- Angewandte MathematikM.Sc.
Wahlpflichtkomplex: Anwendungen
- Angewandte MathematikM.Sc.
Wahlpflichtkomplex: Informatik
- Artificial IntelligenceM.Sc.
Wahlpflichtkomplex: Learning and Reasoning
| Studiengang | Abschluss | Wahlpflichtkomplex |
|---|---|---|
| Angewandte Mathematik | M.Sc. | Anwendungen |
| Angewandte Mathematik | M.Sc. | Informatik |
| Artificial Intelligence | M.Sc. | Learning and Reasoning |
Literatur und Materialien
P. Hofstedt, A. Wolf: Einführung in die Constraint-Programmierung. Grundlagen, Methoden, Sprachen, Anwendungen. Springer 2007.
Bewertungen von Studierenden
Was Studierende über dieses Modul sagen. Die BTU hat damit nichts zu tun — hier schreiben nur Studierende, und jede Bewertung ist die Meinung einer einzelnen Person.