GdI-IFP: Introduction to Functional Progamming (Übung 1)

Dozent/in:

Luke Burke

Angaben:

Übung, 2,00 SWS

Termine:

Fr, 16:00 - 18:00, WE5/01.004
Veranstaltung online über MS Teams

GdI-IFP: Introduction to Functional Progamming (Übung 2)

Dozent/in:

Luke Burke

Angaben:

Übung, 2,00 SWS

Termine:

Mi, 16:00 - 18:00, WE5/01.003
Veranstaltung online über MS Teams

GdI-IFP: Introduction to Functional Programming (Vorlesung)

Dozentinnen/Dozenten:

Michael Mendler, Luke Burke

Angaben:

Vorlesung, 2,00 SWS

Termine:

Mo, 10:00 - 12:00, WE5/01.004
Veranstaltung online über MS Teams

GdI-MfI-1-B: Mathematik für Informatik (Übung)

Dozent/in:

Luke Burke

Angaben:

Übung, 2,00 SWS

Termine:

Do, 12:00 - 14:00, Raum n.V.
Veranstaltung online über MS Teams

GdI-MfI-1-B: Mathematik für Informatik (Vorlesung)

Dozent/in:

Michael Mendler

Angaben:

Vorlesung, 2,00 SWS

Termine:

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.

GdI-MTL: Modal and Temporal Logic

Dozent/in:

Michael Mendler

Angaben:

Übung, 2,00 SWS

Termine:

Di, 14:00 - 16:00, WE5/04.004
Veranstaltung online über MS Teams

GdI-MTL: Modal and Temporal Logic

Dozent/in:

Michael Mendler

Angaben:

Vorlesung, 2,00 SWS

Termine:

Do, 12:00 - 14:00, WE5/04.004
Veranstaltung online über MS Teams

Mathematik für Informatik, Tutorium Gruppe 1

Dozent/in:

N.N.

Angaben:

Übung, 2,00 SWS

Termine:

Mo, 12:00 - 14:00, WE5/01.003

Mathematik für Informatik, Tutorium Gruppe 2

Dozent/in:

N.N.

Angaben:

Übung, 2,00 SWS

Termine:

Mo, 16:00 - 18:00, WE5/01.003

Mathematik für Informatik, Tutorium Gruppe 3

Dozent/in:

N.N.

Angaben:

Übung, 2,00 SWS

Termine:

Di, 10:00 - 12:00, WE5/02.005

Mathematik für Informatik, Tutorium Gruppe 4

Dozent/in:

N.N.

Angaben:

Übung, 2,00 SWS

Termine:

Di, 16:00 - 18:00, WE5/01.003

Mathematik für Informatik, Tutorium Gruppe 5

Dozent/in:

N.N.

Angaben:

Übung, 2,00 SWS

Termine:

Mi, 8:00 - 10:00, WE5/04.014

Mathematik für Informatik, Tutorium Gruppe 6

Dozent/in:

N.N.

Angaben:

Übung, 2,00 SWS

Termine:

Mi, 18:00 - 20:00, WE5/04.014

Mathematik für Informatik, Tutorium Gruppe 7

Dozent/in:

N.N.

Angaben:

Übung, 2,00 SWS

Termine:

Do, 8:00 - 10:00, WE5/01.003

Mathematik für Informatik, Tutorium Gruppe 8

Dozent/in:

N.N.

Angaben:

Übung, 2,00 SWS

Termine:

Fr, 12:00 - 14:00, WE5/02.005