Teaching

Studentische Arbeiten

Lehrveranstaltungen

• • Wahlpflichtveranstaltungen Theoretische Informatik
  • 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:

  • Sommersemester 2025
  • Wintersemester 2024/25
  • Sommersemester 2024
  • Wintersemester 2023/24
  • Sommersemester 2023
  • Wintersemester 2022/23
  • Sommersemester 2022
  • Wintersemester 2021/22
  • Sommersemester 2021
  • Wintersemester 2020/21
  • Sommersemester 2020
  • Wintersemester 2019/20
  • Sommersemester 2019
  • Wintersemester 2018/19
  • Sommersemester 2018
  • Wintersemester 2017/18
  • Sommersemester 2017
  • Wintersemester 2016/17
  • Sommersemester 2016
  • Wintersemester 2015/16
  • Sommersemester 2015
  • Wintersemester 2014/15
  • Sommersemester 2014
  • Wintersemester 2013/14
  • Sommersemester 2013
  • Wintersemester 2012/13
  • Sommersemester 2012
•