Professur für Grundlagen der Informatik
| |
GdI-CSNL-M: Computational Semantics of Natural Language
Vorlesung; Rein Präsenz; 2,00 SWS; Di, 14:00 - 16:00, WE5/05.005
|
Burke, L.
|
| |
GdI-CSNL-M: Computational Semantics of Natural Language
Übung; Rein Präsenz; 2,00 SWS; Mi, 12:00 - 14:00, WE5/03.004
|
Burke, L.
|
| |
GdI-FPRS-M: Functional Programming of Reactive Systems
Übung; Rein Präsenz; 2,00 SWS; Fr, 10:00 - 12:00, WE5/04.004, (außer Fr 25.4.2025, Fr 25.7.2025); Einzeltermin am 25.4.2025, Einzeltermin am 25.7.2025, 10:00 - 12:00, WE5/03.004
|
Mendler, M.
|
| |
GdI-FPRS-M: Functional Programming of Reactive Systems
Vorlesung; Rein Präsenz; 2,00 SWS; Do, 8:00 - 10:00, WE5/04.004, (außer Do 12.6.2025, Do 24.7.2025); Einzeltermin am 12.6.2025, Einzeltermin am 24.7.2025, 8:00 - 10:00, WE5/04.003
|
Mendler, M.
|
| |
Inf-LBR-B: Logik und Berechenbarkeit
Vorlesung und Übung; Rein Präsenz; 2,00 SWS; Di, 8:00 - 10:00, WE5/00.019
|
Burke, L.
|
| |
Inf-LBR-Workshop-1
Übung/Tutorium; Rein Präsenz; Fr, 10:00 - 12:00, WE5/00.022
|
N.N.
|
| |
Inf-LBR-Workshop-3
Übung/Tutorium; Rein Präsenz; Mo, 16:00 - 18:00, WE5/03.004
|
N.N.
|
| |
Inf-LBR-Workshop-4
Übung/Tutorium; Rein Präsenz; Fr, 12:00 - 14:00, WE5/03.004
|
N.N.
|
| |
Inf-LBR-Workshopx-2
Übung/Tutorium; Rein Präsenz
|
|
| | | n.V. | | |
N.N. |
| |
Inf-LBR-B: Logik und Berechenbarkeit
Vorlesung und Übung; Rein Präsenz; 2,00 SWS; Mi, 10:00 - 12:00, WE5/02.005
|
Burke, L.
Mendler, M.
|
| |
Inf-LBR-B: Logik und Berechenbarkeit
Vorlesung; Rein Präsenz; 2,00 SWS; Do, 12:00 - 14:00, WE5/04.014, (außer Do 5.6.2025); Einzeltermin am 5.6.2025, 12:00 - 14:00, WE5/04.004
|
Mendler, M.
|
| |
Inf-LBR-Workshop-2
Übung/Tutorium; Rein Präsenz; Do, 8:00 - 10:00, WE5/05.005
|
N.N.
|
| |
Scientific Research and Writing for Masters Students
Vorlesung; Rein Präsenz; 2 SWS; Mi, 10:00 - 12:00, WE5/04.003; ab 30.4.2025
|
Aguado, J.
|
|