Veranstaltungen im Wintersemester 2018/2019
GdI-IFP: Introduction to Functional Progamming
V; 2,00 SWS; Mo, 8:00 - 10:00, WE5/01.003
Ü; 2,00 SWS; Fr, 14:00 - 16:00, WE5/02.005
Ü; 2,00 SWS; Mi, 14:00 - 16:00, WE5/01.003
GdI-MfI-1-B: Mathematik für Informatik
V; 2,00 SWS; Do, 12:00 - 14:00, WE5/00.022
Ü; 2,00 SWS; Di, 8:00 - 10:00, WE5/00.022
GdI-MTL: Modul and Temporal Logic
V; 2,00 SWS; Do, 8:00 - 10:00, WE5/04.004
Ü; 2,00 SWS; Di, 14:00 - 16:00, WE5/04.004