Visitenkarte - Alle Veranstaltungen für "Nick Würdemann"
Aktuelle Lehrveranstaltungen für Nick Würdemann
Sommersemester 2023
Wintersemester 2022/2023
Sommersemester 2022
- 2.01.486 Seminar: Strategien im Model-Checking
- 2.01.530c Tutorium Einführung in die Künstliche Intelligenz
Wintersemester 2021/2022
Sommersemester 2021
- 2.01.400 Vorlesung - Theoretische Informatik: Logik
- 2.01.4001 Tutorium Theoretische Informatik: Logik (A)
- 2.01.4002 Tutorium Theoretische Informatik: Logik (B)
- 2.01.4003 Tutorium Theoretische Informatik: Logik (C)
- 2.01.4004 Tutorium Theoretische Informatik: Logik (D)
- 2.01.4005 Tutorium Theoretische Informatik: Logik (E)
- 2.01.4006 Tutorium Theoretische Informatik: Logik (F)