ARES3: Oberseminar Software Science

Dozentinnen/Dozenten:

Gerald Lüttgen, Michael Mendler

Angaben:

Oberseminar, 2 SWS

Termine:

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

GdI-IFP: Introduction to Functional Progamming

Dozent/in:

Michael Mendler

Angaben:

Vorlesung und Übung, 4,00 SWS

Termine:

Fr, 14:00 - 16:00, WE5/02.005, WE5/00.019
Fr, 8:00 - 10:00, WE5/00.019
ab 26.10.2018

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

Dozent/in:

Michael Mendler

Angaben:

Übung, 2,00 SWS

Termine:

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

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

Dozent/in:

Michael Mendler

Angaben:

Vorlesung, 2,00 SWS

Termine:

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

GdI-MTL: Modal and Temporal Logic

Dozent/in:

Michael Mendler

Angaben:

Vorlesung und Übung, 2,00 SWS

Termine:

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

GdI-MTL: Modal and Temporal Logic

Dozent/in:

Michael Mendler

Angaben:

Vorlesung und Übung, 2,00 SWS

Termine:

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