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

Dozent/in:

Michael Mendler

Angaben:

Vorlesung, 2,00 SWS

Termine:

Do, 10:00 - 12:00, WE5/00.019
Einzeltermin am 25.10.2024, 10:00 - 12:00, WE5/01.006
Einzeltermin am 30.10.2024, 10:00 - 12:00, WE5/00.019
Einzeltermin am 24.1.2025, 10:00 - 12:00, WE5/01.006
ACHTUNG: Bitte die abweichenden Einzeltermine beachten!

GdI-MTL: Modal and Temporal Logic

Dozent/in:

Michael Mendler

Angaben:

Vorlesung und Übung, 2,00 SWS

Termine:

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