ARES3: Oberseminar Software Science -
- Dozentinnen/Dozenten:
- Gerald Lüttgen, Michael Mendler
- Angaben:
- Oberseminar, 2 SWS
- Termine:
- Di, 16:00 - 18:00, WE5/05.005
|
GdI-IFP-B/GdI-FP-M: (Introduction to) Functional Progamming -
- Dozent/in:
- Michael Mendler
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Fr, 16:00 - 18:00, WE5/01.004
Einzeltermin am 14.2.2020, 16:00 - 18:00, WE5/01.004
|
GdI-IFP-B/GdI-FP-M: (Introduction to) Functional Progamming -
- Dozent/in:
- Michael Mendler
- Angaben:
- Vorlesung, 2,00 SWS
- Termine:
- Mo, 8:00 - 10:00, WE5/01.004
|
GdI-IFP-B/GdI-FP-M: (Introduction to) Functional Progamming -
- Dozent/in:
- Michael Mendler
- Angaben:
- Übung, 2,00 SWS
| | Mi | 16:00 - 18:00 | WE5/01.003 |
Mendler, M. |
GdI-MfI-1: Mathematik für Informatik 1 -
- Dozent/in:
- Michael Mendler
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Do, 12:00 - 14:00, WE5/00.022
|
GdI-MfI-1: Mathematik für Informatik 1 -
- Dozent/in:
- Michael Mendler
- Angaben:
- Vorlesung, 2,00 SWS
- Termine:
- Di, 8:00 - 10:00, WE5/00.022
|
GdI-MTL-B: Modal and Temporal Logic -
- Dozent/in:
- Michael Mendler
- Angaben:
- Vorlesung, 2,00 SWS
- Termine:
- Do, 8:00 - 10:00, WE5/04.004
|
GdI-MTL-B: Modal and Temporal Logic -
- Dozent/in:
- Michael Mendler
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Di, 14:00 - 16:00, WE5/04.004
|
|
|