Professur für Grundlagen der Informatik
| |
GdI-IFP: Introduction to Functional Programming
V/Ü; 2,00 SWS; Fr, 14:15 - 15:45, WE5/01.003; Mo, 8:00 - 10:00, WE5/01.003; Mi, 16:15 - 17:45, WE5/01.003; Einzeltermin am 21.2.2018, 16:00 - 18:00, WE5/01.003; ab 8.1.2018
|
Mendler, M.
Folter, L.-Ch.
|
| |
GdI-MfI-1-B: Mathematik für Informatik 1
Ü; 2,00 SWS; Di, 8:15 - 9:45, WE5/00.022; Zeit n.V., WE5/00.022; Einzeltermin am 21.2.2018, 8:00 - 10:00, WE5/00.022
|
Sticht, M.
Folter, L.-Ch.
|
| |
Tutorium MfI1, Gruppe 1
Ü/T; Mo, 12:00 - 14:00, WE5/01.003
|
Sticht, M.
|
| |
Tutorium MfI1, Gruppe 2
Ü/T; Mo, 16:00 - 18:00, WE5/01.003
|
Sticht, M.
|
| |
Tutorium MfI1, Gruppe 3
Ü/T; Di, 10:00 - 12:00, WE5/02.005
|
Sticht, M.
|
| |
Tutorium MfI1, Gruppe 4
Ü/T; Di, 16:00 - 18:00, WE5/01.003
|
Sticht, M.
|
| |
Tutorium MfI1, Gruppe 5
Ü/T; Mi, 8:00 - 10:00, WE5/04.014
|
Sticht, M.
|
| |
Tutorium MfI1, Gruppe 6
Ü/T; Mi, 18:00 - 20:00, WE5/04.014
|
Sticht, M.
|
| |
Tutorium MfI1, Gruppe 7
Ü/T; Do, 8:00 - 10:00, WE5/01.003
|
Sticht, M.
|
| |
Tutorium MfI1, Gruppe 8
Ü/T; Fr, 12:00 - 14:00, WE5/02.005
|
Sticht, M.
|
| |
GdI-MfI-1-B: Mathematik für Informatik 1
V; 2,00 SWS; Do, 12:15 - 13:45, WE5/00.022
|
Mendler, M.
|
| |
GdI-MTL: Modal and Temporal Logic
V/Ü; 2,00 SWS; Di, 14:15 - 15:45, WE5/04.004
|
Sticht, M.
Folter, L.-Ch.
|
| |
GdI-MTL: Modal and Temporal Logic
V/Ü; 2,00 SWS; Do, 8:30 - 10:00, WE5/04.004
|
Mendler, M.
|
|