Professur für Grundlagen der Informatik
GdI-IFP: Introduction to Functional Progamming (Übung 1) -
- Dozent/in:
- Luke Burke
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Fr, 16:00 - 18:00, WE5/01.004
Veranstaltung online über MS Teams
|
GdI-IFP: Introduction to Functional Progamming (Übung 2) -
- Dozent/in:
- Luke Burke
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Mi, 16:00 - 18:00, WE5/01.003
Veranstaltung online über MS Teams
|
GdI-IFP: Introduction to Functional Programming (Vorlesung) -
- Dozentinnen/Dozenten:
- Michael Mendler, Luke Burke
- Angaben:
- Vorlesung, 2,00 SWS
- Termine:
- Mo, 10:00 - 12:00, WE5/01.004
Veranstaltung online über MS Teams
|
GdI-MfI-1-B: Mathematik für Informatik (Übung) -
- Dozent/in:
- Luke Burke
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Do, 12:00 - 14:00, Raum n.V.
Veranstaltung online über MS Teams
|
GdI-MfI-1-B: Mathematik für Informatik (Vorlesung) -
- Dozent/in:
- Michael Mendler
- Angaben:
- Vorlesung, 2,00 SWS
- Termine:
- Di, 8:00 - 10:00, Raum n.V.
Wir bieten im WS 20/21 alle Veranstaltungen online an. Ob Übungen als Präsenzveranstaltung stattfinden entscheiden wir kurzfristig.
|
GdI-MTL: Modal and Temporal Logic -
- Dozent/in:
- Michael Mendler
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Di, 14:00 - 16:00, WE5/04.004
Veranstaltung online über MS Teams
|
GdI-MTL: Modal and Temporal Logic -
- Dozent/in:
- Michael Mendler
- Angaben:
- Vorlesung, 2,00 SWS
- Termine:
- Do, 12:00 - 14:00, WE5/04.004
Veranstaltung online über MS Teams
|
Mathematik für Informatik, Tutorium Gruppe 1 -
- Dozent/in:
- N.N.
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Mo, 12:00 - 14:00, WE5/01.003
|
Mathematik für Informatik, Tutorium Gruppe 2 -
- Dozent/in:
- N.N.
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Mo, 16:00 - 18:00, WE5/01.003
|
Mathematik für Informatik, Tutorium Gruppe 3 -
- Dozent/in:
- N.N.
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Di, 10:00 - 12:00, WE5/02.005
|
Mathematik für Informatik, Tutorium Gruppe 4 -
- Dozent/in:
- N.N.
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Di, 16:00 - 18:00, WE5/01.003
|
Mathematik für Informatik, Tutorium Gruppe 5 -
- Dozent/in:
- N.N.
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Mi, 8:00 - 10:00, WE5/04.014
|
Mathematik für Informatik, Tutorium Gruppe 6 -
- Dozent/in:
- N.N.
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Mi, 18:00 - 20:00, WE5/04.014
|
Mathematik für Informatik, Tutorium Gruppe 7 -
- Dozent/in:
- N.N.
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Do, 8:00 - 10:00, WE5/01.003
|
Mathematik für Informatik, Tutorium Gruppe 8 -
- Dozent/in:
- N.N.
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Fr, 12:00 - 14:00, WE5/02.005
|
|
|