Grundstudium (1. und 2. Studienjahr)
12-1-01 Algorithmieren und Programmieren (VL+UE)
12-1-02 Programmierpraktikum (PR)
12-1-11 Proseminar
"Suchtechniken und Heuristiken"
"Maschinelles Lernen"
"How to prove it"
Hauptstudium (ab 3. Studienjahr)
12-3-38 Roboterprogrammierung (PR)
12-3-49 Moderne Funktionale Programmierung (VL+UE)
12-3-50 Compilerbau (VL+UE)
12-4-61 Techniken der Programmanalyse (SE)
12-4-72 Einführung in die Constraint-Programmierung (VL+UE)
12-4-74 Praktikum Programmiersprachen und Compilerbau (PR)
12-5-01 Logische Grundlagen der Informatik (VL+UE)