Lehrveranstaltungen im Sommersemester 2023
Lehrveranstaltungen im Wintersemester 2022/2023
Lehrveranstaltungen im Sommersemester 2022
- Model Checking (Lehrveranstaltungsnummer 211000)
- Seminar Satisfiability (Lehrveranstaltungsnummer 211117)
Lehrveranstaltungen im Wintersemester 2022/2023
- Informatik 3: Theoretische Informatik (Lehrveranstaltungsnummer 212002)
- Logik in der Informatik (Lehrveranstaltungsnummer 212013)
Lehrveranstaltungen im Sommersemester 2022