| Mo | Di | Mi | Do | Fr |
08:00 |
GdI-IFP-B/GdI-FP-M: (Introduction to) Functional Progamming | (Mendler) | WE5/01.004 |
| |
GdI-MfI-1: Mathematik für Informatik 1 | (Mendler) | WE5/00.022 |
| | |
GdI-MTL-B: Modal and Temporal Logic | (Mendler) | WE5/04.004 |
| | | |
|
|
|
09:00 | | | |
|
|
|
10:00 | | | | | | |
|
|
|
11:00 | | | | | | |
|
|
|
12:00 | | | |
GdI-MfI-1: Mathematik für Informatik 1 | (Mendler) | WE5/00.022 |
| | | |
|
|
|
13:00 | | | | | |
|
|
|
14:00 | |
GdI-MTL-B: Modal and Temporal Logic | (Mendler) | WE5/04.004 |
| | | | | |
|
|
|
15:00 | | | | | |
|
|
|
16:00 | |
ARES3: Oberseminar Software Science | (Lüttgen) | WE5/05.005 |
| |
GdI-IFP-B/GdI-FP-M: (Introduction to) Functional Progamming | (Mendler) | WE5/01.003 |
| | |
GdI-IFP-B/GdI-FP-M: (Introduction to) Functional Progamming | (Mendler) | WE5/01.004 |
| | |
|
|
|
17:00 | | | |
|
|
|