| Mo | Di | Mi | Do | Fr |
08:00 | |
GdI-MfI-1-B: Mathematik für Informatik (Vorlesung) | (Mendler) |
| |
Mathematik für Informatik, Tutorium Gruppe 5 | (N.N.) | WE5/04.014 |
| |
Mathematik für Informatik, Tutorium Gruppe 7 | (N.N.) | WE5/01.003 |
| | | |
|
|
|
09:00 | | | |
|
|
|
10:00 |
GdI-IFP: Introduction to Functional Programming (Vorlesung) | (Mendler) | WE5/01.004 |
| |
Mathematik für Informatik, Tutorium Gruppe 3 | (N.N.) | WE5/02.005 |
| | | | | |
|
|
|
11:00 | | | | |
|
|
|
12:00 |
Mathematik für Informatik, Tutorium Gruppe 1 | (N.N.) | WE5/01.003 |
| | | |
GdI-MfI-1-B: Mathematik für Informatik (Übung) | (Burke) |
| GdI-MTL: Modal and Temporal Logic | (Mendler) | WE5/04.004 |
| |
Mathematik für Informatik, Tutorium Gruppe 8 | (N.N.) | WE5/02.005 |
| | |
|
|
|
13:00 | | | |
|
|
|
14:00 | |
GdI-MTL: Modal and Temporal Logic | (Mendler) | WE5/04.004 |
| | | | | |
|
|
|
15:00 | | | | | |
|
|
|
16:00 |
Mathematik für Informatik, Tutorium Gruppe 2 | (N.N.) | WE5/01.003 |
| |
Mathematik für Informatik, Tutorium Gruppe 4 | (N.N.) | WE5/01.003 |
| |
GdI-IFP: Introduction to Functional Progamming (Übung 2) | (Burke) | WE5/01.003 |
| | |
GdI-IFP: Introduction to Functional Progamming (Übung 1) | (Burke) | WE5/01.004 |
| | |
|
|
|
17:00 | | |
|
|
|
18:00 | | |
Mathematik für Informatik, Tutorium Gruppe 6 | (N.N.) | WE5/04.014 |
| | | | |
|
|
|
19:00 | | | | | |
|
|
|