Professur für Grundlagen der Informatik
GdI-IFP: Introduction to Functional Progamming (Übung 1)
Ü; Rein Präsenz; 2,00 SWS; Fr, 16:00 - 18:00, WE5/01.004; Veranstaltung online über MS Teams
|
Burke, L.
|
GdI-IFP: Introduction to Functional Progamming (Übung 2)
Ü; Präsenz + Online-Anteile; 2,00 SWS; Mi, 16:00 - 18:00, WE5/01.003; Veranstaltung online über MS Teams
|
Burke, L.
|
GdI-IFP: Introduction to Functional Programming (Vorlesung)
V; Präsenz + Online-Anteile; 2,00 SWS; Mo, 10:00 - 12:00, WE5/01.004; Veranstaltung online über MS Teams
|
Mendler, M.
Burke, L.
|
GdI-MfI-1-B: Mathematik für Informatik (Übung)
Ü; Rein Online; 2,00 SWS; Do, 12:00 - 14:00; Veranstaltung online über MS Teams
|
Burke, L.
|
GdI-MfI-1-B: Mathematik für Informatik (Vorlesung)
V; 2,00 SWS; Di, 8:00 - 10:00, Raum n.V.; Wir bieten im WS 20/21 alle Veranstaltungen online an. Ob Übungen als Präsenzveranstaltung stattfinden entscheiden wir kurzfristig.
|
Mendler, M.
|
GdI-MTL: Modal and Temporal Logic
Ü; Präsenz + Online-Anteile; 2,00 SWS; Di, 14:00 - 16:00, WE5/04.004; Veranstaltung online über MS Teams
|
Mendler, M.
|
GdI-MTL: Modal and Temporal Logic
V; Präsenz + Online-Anteile; 2,00 SWS; Do, 12:00 - 14:00, WE5/04.004; Veranstaltung online über MS Teams
|
Mendler, M.
|
Mathematik für Informatik, Tutorium Gruppe 1
Ü; Rein Online; 2,00 SWS; Mo, 12:00 - 14:00, WE5/01.003
|
N.N.
|
Mathematik für Informatik, Tutorium Gruppe 2
Ü; Rein Online; 2,00 SWS; Mo, 16:00 - 18:00, WE5/01.003
|
N.N.
|
Mathematik für Informatik, Tutorium Gruppe 3
Ü; Rein Online; 2,00 SWS; Di, 10:00 - 12:00, WE5/02.005
|
N.N.
|
Mathematik für Informatik, Tutorium Gruppe 4
Ü; Rein Online; 2,00 SWS; Di, 16:00 - 18:00, WE5/01.003
|
N.N.
|
Mathematik für Informatik, Tutorium Gruppe 5
Ü; Rein Online; 2,00 SWS; Mi, 8:00 - 10:00, WE5/04.014
|
N.N.
|
Mathematik für Informatik, Tutorium Gruppe 6
Ü; Rein Online; 2,00 SWS; Mi, 18:00 - 20:00, WE5/04.014
|
N.N.
|
Mathematik für Informatik, Tutorium Gruppe 7
Ü; Rein Online; 2,00 SWS; Do, 8:00 - 10:00, WE5/01.003
|
N.N.
|
Mathematik für Informatik, Tutorium Gruppe 8
Ü; Rein Online; 2,00 SWS; Fr, 12:00 - 14:00, WE5/02.005
|
N.N.
|
|
|