Im Rahmen des Praktikums sollen mittels Constraint-Programmierung und cleverer Suche eine Vielzahl an Knobelspielen gelöst werden. Zunächst wird ein kleiner Überblick über die Constraint-Programmierung und Suchtechniken gegeben, bevor die Studenten selbstständig die Spiele nachmodellieren und erweiterte Aufgaben dazu lösen sollen. Teilweise können hierbei Aufgaben und Spiele frei gewählt werden. Für jede bewältigte Aufgabe erhalten die Studenten Punkte. Zum Bestehen des Kurses muss eine bestimmte Anzahl von Punkten erreicht werden.

Die Studierenden können Zusatzpunkte durch verschiedene Lösungsansätze (Remodellierungen), den Einsatz von Parallelisierung, den Einsatz verschiedener Solver und für das Programm, welches jeweils am schnellsten eine Aufgabe löst, erhalten.

Im Rahmen des Praktikums wird ein kleiner Wettbewerb zwischen den Studenten ausgeschrieben, wer die meisten Probleme am besten lösen kann (die meisten Punkte sammelt). Auf den oder die Gewinner*in wartet sogar ein kleiner Preis.

Das Praktikum wird sowohl als Bachelor- als auch als Master-Modul angeboten.

Bachelor: Modul 12353

• B.Sc. Informatik (PO 2017, Wahlpflichtmodul im Komplex „Seminar oder Praktikum aus der Informatik “ (Niveaustufe 300))

Master: Modul 12474

• M.Sc. Informatik (PO 2008 - SÄ 2017, Wahlpflichtmodul im Komplex „Seminare oder Praktika“ (Niveaustufe 400))
• M.Sc. Information- und Medientechnik (PO 2017, Wahlpflichtmodul im Komplex „Multimedia-Systeme“ (Praktikum))

Alles weitere finden Sie im zugehörigen Moodle-Kurs.