Business card ? All courses for "M. Sc. Nick Würdemann"

Current courses for M. Sc. Nick Würdemann

Sommersemester 2022

• 2.01.486 Seminar: Strategien im Model-Checking 

Wintersemester 2021/2022

• 2.01.800-J Proseminar "Logiken in der Informatik"

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)

Wintersemester 2018/2019

• 2.01.8003 Proseminar Grundlagen und Anwendungen reaktiver Systeme
• 5.01.001 Vorkurs Mathematik

Wintersemester 2017/2018

• 5.01.001 Vorkurs Mathematik

Wintersemester 2014/2015

• 2.01.8887 SiWiMi Informatik