Professur für Grundlagen der Informatik
GdI-AFP-M Advanced Functional Programming
V; 2,00 SWS; Di, 8:30 - 10:00, WE5/02.005, WE5/00.022; ab 28.4.2020
|
Mendler, M.
|
GdI-AFP-M Advanced Functional Programming
Ü; 2,00 SWS; Mi, 8:30 - 10:00, WE5/01.004, WE5/02.005; ab 29.4.2020
|
Mendler, M.
|
GdI-CSNL-M: Computational Semantics of Natural Language
Ü; 2,00 SWS; Fr, 10:00 - 12:00, WE5/05.003
|
Burke, L.
|
GdI-CSNL-M: Computational Semantics of Natural Language
V; 2,00 SWS; Di, 16:00 - 18:00, WE5/05.003
|
Burke, L.
|
GdI-GTI-B: Grundlagen der Theoretischen Informatik
Ü; 2,00 SWS; Fr, 12:00 - 14:00, WE5/00.019
|
Mendler, M.
|
GdI-GTI-B: Grundlagen der Theoretischen Informatik
V; 2,00 SWS; Do, 16:00 - 18:00, WE5/00.019
|
Mendler, M.
|
GdI-Proj-B
V; 2,00 SWS; Projekte werden nur nach Absprache mit dem Dozenten vergeben; Do, 10:00 - 12:00, WE5/05.005
|
Mendler, M.
|
GdI-Sem-M: God, Modal Logic and Computational Metaphysics
S; 2,00 SWS; Di, 10:00 - 12:00, WE5/05.003; ab 5.5.2020
|
Burke, L.
|
Repetitorium Theoretischen Informatik
Ü; 2,00 SWS; Diese Veranstaltung wird im SS 2020 nicht angeboten; Fr, 16:00 - 18:00, WE5/01.004
|
N.N.
|
Scientific Research and Writing for Master's Students
S; 2 SWS; Do, 8:00 - 10:00, WE5/02.005
|
Aguado, J.
|
|
|