GdI-MfI-1-B: Mathematik für Informatik 1 (Aussagen- und Prädikatenlogik)

Dozent/in:

Michael Mendler

Angaben:

Vorlesung, 2 SWS

Termine:

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

GdI-MfI-1-B: Mathematik für Informatik 1 (Aussagen- und Prädikatenlogik)

Dozent/in:

Martin Sticht

Angaben:

Übung, 2 SWS

Termine:

Di, 8:00 - 10:00, WE5/00.022
Einzeltermin am 2.3.2016, 16:00 - 18:00, WE5/00.022

Mathematik für Informatik 1 (MfI1-Tutorium)

Dozent/in:

Martin Sticht

Angaben:

Tutorien

Termine:

Di, 16:00 - 18:00, WE5/01.003
Mo, 12:00 - 14:00, WE5/01.003
Mi, Do, 14:00 - 16:00, WE5/02.005
Mi, 16:00 - 18:00, WE5/04.014
Fr, 12:00 - 14:00, WE5/02.005
Einzeltermin am 10.11.2015, 18:00 - 20:00, WE5/01.003

GdI-NPP-B: Nichtprozedurale Programmierung

Dozent/in:

Michael Mendler

Angaben:

Vorlesung, 2 SWS

Termine:

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

GdI-NPP-B: Nichtprozedurale Programmierung

Dozent/in:

Manuel Bärenz

Angaben:

Übung, 2 SWS

Termine:

Mo, 12:00 - 14:00, WE5/02.005
Di, 14:00 - 16:00, WE5/01.003
Einzeltermin am 22.2.2016, 12:00 - 14:00, WE5/02.005
Einzeltermin am 23.2.2016, 14:00 - 16:00, WE5/01.003

GdI-SaV-B: Logik

Dozent/in:

Michael Mendler

Angaben:

Vorlesung, 2 SWS

Termine:

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

GdI-SaV-B: Logik

Dozent/in:

Martin Sticht

Angaben:

Übung, 2 SWS

Termine:

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