ARES3: Oberseminar Software Science

Dozentinnen/Dozenten:

Gerald Lüttgen, Michael Mendler

Angaben:

Oberseminar, 2 SWS

Termine:

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

GdI-IFP-B/GdI-FP-M: (Introduction to) Functional Progamming

Dozent/in:

Michael Mendler

Angaben:

Übung, 2,00 SWS

Termine:

Fr, 16:00 - 18:00, WE5/01.004
Einzeltermin am 14.2.2020, 16:00 - 18:00, WE5/01.004

GdI-IFP-B/GdI-FP-M: (Introduction to) Functional Progamming

Dozent/in:

Michael Mendler

Angaben:

Vorlesung, 2,00 SWS

Termine:

Mo, 8:00 - 10:00, WE5/01.004

GdI-IFP-B/GdI-FP-M: (Introduction to) Functional Progamming

Dozent/in:

Michael Mendler

Angaben:

Übung, 2,00 SWS

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

Dozent/in:

Michael Mendler

Angaben:

Übung, 2,00 SWS

Termine:

Do, 12:00 - 14:00, WE5/00.022

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

Dozent/in:

Michael Mendler

Angaben:

Vorlesung, 2,00 SWS

Termine:

Di, 8:00 - 10:00, WE5/00.022

GdI-MTL-B: Modal and Temporal Logic

Dozent/in:

Michael Mendler

Angaben:

Vorlesung, 2,00 SWS

Termine:

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

GdI-MTL-B: Modal and Temporal Logic

Dozent/in:

Michael Mendler

Angaben:

Übung, 2,00 SWS

Termine:

Di, 14:00 - 16:00, WE5/04.004