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)

Service

12-1-05 Einführung in die Programmierung (VL+UE)