Teaching
Studentische Arbeiten
-
Aktuelle Themen für Bachelor, Master- und Projektarbeiten
-
Eine LaTeX-Vorlage für Bachelor, Master- und Projektarbeiten (auch im Lehrstuhl-Gitlab)
Lehrveranstaltungen
-
- Laufendes Semester: Wintersemester 2025/26:
Vertiefende Veranstaltungen
- Algebra des Programmierens (Campo) (StudOn)
- Automatenlernen (Campo) (StudOn)
- Automaten und Logik (Campo) (StudOn)
- Advanced Competitive Programming (Campo) (StudOn)
- Beschreibungslogik und formale Ontologien (Campo)
- Oberseminar
Grundlagenveranstaltungen
-
Vorige Semester: