Visitenkarte - Alle Veranstaltungen für "Jan Frederik Haltermann, M. Sc."
Aktuelle Lehrveranstaltungen für Jan Frederik Haltermann, M. Sc.
Sommersemester 2024
- 2.01.400 Theoretische Informatik: Logik
- 2.01.400-c Theoretische Informatik: Logik (Übung)
- 2.01.400-d Theoretische Informatik: Logik (Übung)
- 2.01.400-e Theoretische Informatik: Logik (Übung)
- 2.01.400-f Theoretische Informatik: Logik (Übung)
Wintersemester 2023/2024
- 2.01.800-B Proseminar: Graphen - Konzepte, Algorithmen und Komplexität
- 2.01.801-B Forschungsseminar Formale Methoden
Sommersemester 2023
- 2.01.400 Theoretische Informatik: Logik (V)
- 2.01.400-a Theoretische Informatik: Logik (Ü)
- 2.01.400-b Theoretische Informatik: Logik (Ü)
- 2.01.400-c Theoretische Informatik: Logik (Ü)
- 2.01.400-d Theoretische Informatik: Logik (Ü)
- 2.01.481 Software Analysis
Wintersemester 2022/2023
- 2.01.401 Grundlagen der Theoretischen Informatik
- 2.01.401a Übung Grundlagen der Theoretischen Informatik
- 2.01.401b Übung Grundlagen der Theoretischen Informatik
- 2.01.401c Übung Grundlagen der Theoretischen Informatik
- 2.01.401d Übung Grundlagen der Theoretischen Informatik
- 2.01.401e Übung Grundlagen der Theoretischen Informatik
- 2.01.803-B Praktikum Softwareverifikation