GdI-IFP: Introduction to Functional Programming [GdI-IFP]

Dozentinnen/Dozenten:

Michael Mendler, Laura-Christiane Folter

Angaben:

Vorlesung und Übung, 2,00 SWS

Termine:

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

GdI-MfI-1-B: Mathematik für Informatik 1

Dozentinnen/Dozenten:

Martin Sticht, Laura-Christiane Folter

Angaben:

Übung, 2,00 SWS

Termine:

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

Tutorium MfI1, Gruppe 1

Dozent/in:

Martin Sticht

Angaben:

Übung/Tutorium

Termine:

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

Tutorium MfI1, Gruppe 2

Dozent/in:

Martin Sticht

Angaben:

Übung/Tutorium

Termine:

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

Tutorium MfI1, Gruppe 3

Dozent/in:

Martin Sticht

Angaben:

Übung/Tutorium

Termine:

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

Tutorium MfI1, Gruppe 4

Dozent/in:

Martin Sticht

Angaben:

Übung/Tutorium

Termine:

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

Tutorium MfI1, Gruppe 5

Dozent/in:

Martin Sticht

Angaben:

Übung/Tutorium

Termine:

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

Tutorium MfI1, Gruppe 6

Dozent/in:

Martin Sticht

Angaben:

Übung/Tutorium

Termine:

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

Tutorium MfI1, Gruppe 7

Dozent/in:

Martin Sticht

Angaben:

Übung/Tutorium

Termine:

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

Tutorium MfI1, Gruppe 8

Dozent/in:

Martin Sticht

Angaben:

Übung/Tutorium

Termine:

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

GdI-MfI-1-B: Mathematik für Informatik 1

Dozent/in:

Michael Mendler

Angaben:

Vorlesung, 2,00 SWS

Termine:

Do, 12:15 - 13:45, WE5/00.022

GdI-MTL: Modal and Temporal Logic

Dozentinnen/Dozenten:

Martin Sticht, Laura-Christiane Folter

Angaben:

Vorlesung und Übung, 2,00 SWS

Termine:

Di, 14:15 - 15:45, WE5/04.004

GdI-MTL: Modal and Temporal Logic

Dozent/in:

Michael Mendler

Angaben:

Vorlesung und Übung, 2,00 SWS

Termine:

Do, 8:30 - 10:00, WE5/04.004