Download Teaching Poster WiSe 25/26
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
- Grundlagen der Logik in der Informatik
- Zusätzliche Intensivübung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt
Vorige Semester: