Grundlagen der Informatik
GdI-MfI-1-B: Mathematik für Informatik 1 (Aussagen- und Prädikatenlogik)
V; 2 SWS; Do, 12:00 - 14:00, WE5/00.022
|
Mendler, M.
|
GdI-MfI-1-B: Mathematik für Informatik 1 (Aussagen- und Prädikatenlogik)
Ü; 2 SWS; Di, 8:00 - 10:00, WE5/00.022; Einzeltermin am 2.3.2016, 16:00 - 18:00, WE5/00.022
|
Sticht, M.
|
Mathematik für Informatik 1 (MfI1-Tutorium)
TU; Di, 16:00 - 18:00, WE5/01.003, (außer Di 10.11.2015); Mo, 12:00 - 14:00, WE5/01.003; Mi, Do, 14:00 - 16:00, WE5/02.005; Mi, 16:00 - 18:00, WE5/04.014; Fr, 12:00 - 14:00, WE5/02.005; Einzeltermin am 10.11.2015, 18:00 - 20:00, WE5/01.003
|
Sticht, M.
|
GdI-NPP-B: Nichtprozedurale Programmierung
V; 2 SWS; Fr, 10:00 - 12:00, WE5/01.006
|
Mendler, M.
|
GdI-NPP-B: Nichtprozedurale Programmierung
Ü; 2 SWS; Mo, 12:00 - 14:00, WE5/02.005; Di, 14:00 - 16:00, WE5/01.003; Einzeltermin am 22.2.2016, 12:00 - 14:00, WE5/02.005; Einzeltermin am 23.2.2016, 14:00 - 16:00, WE5/01.003
|
Bärenz, M.
|
GdI-SaV-B: Logik
V; 2 SWS; Do, 08:00 - 10:00, WE5/04.004
|
Mendler, M.
|
GdI-SaV-B: Logik
Ü; 2 SWS; Di, 14:00 - 16:00, WE5/02.020
|
Sticht, M.
|
|
|