| Mo | Di | Mi | Do | Fr |
08:00 | |
Übung MaL | (Scheele) | F21/303 |
| | | |
UniTag | (nur 11.5.) | (N.N.) | F21/303 |
| GdI-CaC-M | (Mendler) | FMA/119 |
| GdI-CaC-M | (Mendler) | F21/381 |
| | |
|
GdI-SaV-B: Logik | (Mendler) | F21/384 |
| GdI-SaV-B: Logik | (nur 26.4.) | (Mendler) | KÄ7/00.108 |
| | |
|
09:00 | | | |
|
|
|
10:00 | | |
GdI-SaV-B: Logik | (Mendler) | F21/384 |
| | | |
|
|
|
11:00 | | | | |
|
|
|
12:00 |
GdI-CaC-M | (nur 25.6.) | (Mendler) | F21/380 |
| |
GdI-GTI-B: Grundlagen der Theoretischen Informatik | (Mendler) | F21/384 |
| | | | |
|
|
|
13:00 | | | |
|
|
|
14:00 |
GdI Seminar in Advanced Functional Programming | (nicht 9.7.) | (Scheele) | FMA/008 |
| GdI-CaC-M | (nur 25.6.) | (Mendler) | KÄ7/01/112 |
| | | |
GdI-GTI-B: Grundlagen der Theoretischen Informatik (Machines and Languages) | (Mendler) | F21/381 |
| GdI-GTI-B: Grundlagen der Theoretischen Informatik (Machines and Languages) | (nur 26.4.) | (Mendler) | KÄ7/00.108 |
| |
UniTag | (nur 11.5.) | (N.N.) | RZ/00/005 |
| GdI-GTI-B: Grundlagen der Theoretischen Informatik (Machines and Languages) | (nur 6.7.) | (Mendler) | FMA/006 |
| GdI Seminar in Advanced Functional Programming | (nur 20.7.) | (Scheele) | F21/061 |
| | |
|
|
|
15:00 | | | |
|
|
|
16:00 | |
GdI Seminar & Advanced Reading Club: "Formalised Logic and the Interactive Proof Checker Coq" | (Mendler) | F21/061 |
| Übung MaL | (Scheele) | FMA/119 |
| | | | |
|
|
|
17:00 | | | | |
|
|
|
18:00 | | |
GdI-GTI-B: Grundlagen der Theoretischen Informatik (Machines and Languages) | (Mendler) | FMA/006 |
| | | | |
|
|
|
19:00 | | | | | |
|
|
|