ARES3: Oberseminar Software Science
OS; 2 SWS; Di, 16:00 - 18:00, WE5/04.003
|
Lüttgen, G.
Mendler, M.
|
GdI-IFP: Introduction to Functional Progamming
V/Ü; 4,00 SWS; Fr, 14:00 - 16:00, WE5/02.005, WE5/00.019; Fr, 8:00 - 10:00, WE5/00.019; ab 26.10.2018
|
Mendler, M.
|
GdI-MfI-1-B: Mathematik für Informatik
Ü; 2,00 SWS; Do, 12:00 - 14:00, WE5/00.022
|
Mendler, M.
|
GdI-MfI-1-B: Mathematik für Informatik
V; 2,00 SWS; Di, 8:00 - 10:00, WE5/00.022
|
Mendler, M.
|
GdI-MTL: Modal and Temporal Logic
V/Ü; 2,00 SWS; Do, 8:00 - 10:00, WE5/04.004
|
Mendler, M.
|
GdI-MTL: Modal and Temporal Logic
V/Ü; 2,00 SWS; Di, 14:00 - 16:00, WE5/04.004
|
Mendler, M.
|
|
|