 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Informationssystem der Otto-Friedrich-Universität Bamberg |
© Config eG |
|
|
|
|
|
|
|
|
Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Informatik >> Professur für Grundlagen der Informatik >>
|
Lehrveranstaltungen
| |
GdI-IFP: Introduction to Functional Programming
V; Präsenz + Online-Anteile; 2,00 SWS; Fr, 10:00 - 12:00, WE5/01.004
|
Mendler, M.
|
| |
GdI-MfI-1-B: Mathematik für Informatik
V; Rein Online; 2,00 SWS; Di, 8:00 - 10:00
|
Mendler, M.
|
| |
GdI-MTL: Modal and Temporal Logic
V; Präsenz + Online-Anteile; 2,00 SWS; Di, 14:00 - 16:00, WE5/04.004
|
Mendler, M.
|
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|