GdI-IFP: Introduction to Functional Programming

Dozent/in:

Michael Mendler

Angaben:

Vorlesung, 2,00 SWS

Termine:

Fr, 10:00 - 12:00, WE5/01.004

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

Dozent/in:

Michael Mendler

Angaben:

Vorlesung, 2,00 SWS

Termine:

Di, 8:00 - 10:00, Raum n.V.

Schlagwörter:

Online in MS Teams

GdI-MTL: Modal and Temporal Logic

Dozent/in:

Michael Mendler

Angaben:

Vorlesung, 2,00 SWS

Termine:

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