ARES3: Oberseminar Software Science
OS; 2 SWS; Di, 16:00 - 18:00, WE5/05.005
|
Lüttgen, G.
Mendler, M.
|
GdI-IFP-B/GdI-FP-M: (Introduction to) Functional Progamming
Ü; 2,00 SWS; Fr, 16:00 - 18:00, WE5/01.004; Einzeltermin am 14.2.2020, 16:00 - 18:00, WE5/01.004
|
Mendler, M.
|
GdI-IFP-B/GdI-FP-M: (Introduction to) Functional Progamming
V; 2,00 SWS; Mo, 8:00 - 10:00, WE5/01.004
|
Mendler, M.
|
GdI-IFP-B/GdI-FP-M: (Introduction to) Functional Progamming
Ü; 2,00 SWS
|
Mendler, M.
|
| | Mi | 16:00 - 18:00 | WE5/01.003 |
Mendler, M. |
GdI-MfI-1: Mathematik für Informatik 1
Ü; 2,00 SWS; Do, 12:00 - 14:00, WE5/00.022
|
Mendler, M.
|
GdI-MfI-1: Mathematik für Informatik 1
V; 2,00 SWS; Di, 8:00 - 10:00, WE5/00.022
|
Mendler, M.
|
GdI-MTL-B: Modal and Temporal Logic
V; 2,00 SWS; Do, 8:00 - 10:00, WE5/04.004
|
Mendler, M.
|
GdI-MTL-B: Modal and Temporal Logic
Ü; 2,00 SWS; Di, 14:00 - 16:00, WE5/04.004
|
Mendler, M.
|
|
|