Professur für Grundlagen der Informatik
GdI-IFP: Introduction to Functional Programming -
- Angaben:
- Vorlesung und Übung, 2,00 SWS, Gaststudierendenverzeichnis
| | Di | 12:00 - 14:00 | WE5/03.004 |
Mendler, M. |
ab 15.11.2022 |
| Di | 12:00 - 14:00 | WE5/01.004 |
Mendler, M. |
vom 25.10.2022 bis zum 8.11.2022 |
GdI-IFP: Introduction to Functional Programming -
- Dozent/in:
- Michael Mendler
- Angaben:
- Vorlesung und Übung, 2,00 SWS, Gaststudierendenverzeichnis
| | Fr | 8:00 - 10:00 | WE5/04.014 |
Mendler, M. |
GdI-MfI-1-B: Mathematik für Informatik 1 -
- Dozent/in:
- Luke Burke
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Di, 8:00 - 10:00, WE5/00.022
Achtung: Die Erste Übung am Di 18.10.22 findet als Vorlesung statt
|
GdI-MfI-1-B: Mathematik für Informatik 1 -
- Dozent/in:
- Michael Mendler
- Angaben:
- Vorlesung, 2,00 SWS
- Termine:
- Do, 12:00 - 14:00, WE5/00.022
|
GdI-MTL: Modal and Temporal Logic -
- Dozent/in:
- Michael Mendler
- Angaben:
- Vorlesung, 2,00 SWS, Gaststudierendenverzeichnis
- Termine:
- Di, 14:00 - 16:00, WE5/04.004
|
GdI-MTL: Modal and Temporal Logic -
- Dozent/in:
- Luke Burke
- Angaben:
- Übung, 2,00 SWS, Gaststudierendenverzeichnis
- Termine:
- Do, 8:00 - 10:00, WE5/04.004
|
GdI-Proj-M: Masterprojekt Grundlagen der Informatik -
- Dozentinnen/Dozenten:
- Michael Mendler, Luke Burke
- Angaben:
- Projekt, 4,00 SWS
- Termine:
- Fr, 8:00 - 10:00, WIAI - ERBA alle
Please contact the course lecturer (michael.mendler@uni-bamberg.de)
|
GdI-Sem-B/M: Seminar (Computational Semantics of Natural Language) -
- Dozent/in:
- Luke Burke
- Angaben:
- Seminar, 2,00 SWS
| | Mi | 12:00 - 14:00 | WE5/04.004 |
Burke, L. |
ab 26.10.2022, please contact the course lecturer (luke.burke@uni-bamberg.de)
|
Mathematik für Informatik 1 Tutorium Gruppe 3 -
- Dozent/in:
- N.N.
- Angaben:
- Übung
- Termine:
- Mo, 18:00 - 20:00, WE5/01.003
|
Mathematik für Informatik 1 Tutorium Gruppe 8 -
- Dozent/in:
- N.N.
- Angaben:
- Übung
- Termine:
- Do, 8:00 - 10:00, WE5/04.003
Vorbesprechung: Donnerstag, 27.10.2022
|
Mathematik für Informatik 1 Tutorium Gruppe 10 -
- Dozent/in:
- N.N.
- Angaben:
- Übung
- Termine:
- Do, 18:00 - 20:00, WE5/01.003
|
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 4 -
- Dozent/in:
- N.N.
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Di, 10:00 - 12:00, WE5/02.005
|
Mathematik für Informatik, Tutorium Gruppe 5 -
- Dozent/in:
- N.N.
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Di, 16:00 - 18:00, WE5/01.003
|
Mathematik für Informatik, Tutorium Gruppe 6 -
- Dozent/in:
- N.N.
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Mi, 8:00 - 10:00, WE5/04.014
|
Mathematik für Informatik, Tutorium Gruppe 7 -
- Dozent/in:
- N.N.
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Mi, 18:00 - 20:00, WE5/04.014
|
Mathematik für Informatik, Tutorium Gruppe 9 -
- Dozent/in:
- N.N.
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Do, 8:00 - 10:00, WE5/01.003
|
Mathematik für Informatik, Tutorium Gruppe 11 -
- Dozent/in:
- N.N.
- Angaben:
- Übung, 2,00 SWS
- Termine:
- Fr, 12:00 - 14:00, WE5/02.005
|
Scientific Research and Writing for Master's Students -
- Dozent/in:
- Joaquin Aguado
- Angaben:
- Seminar, 2,00 SWS
- Termine:
- Do, 8:00 - 10:00, WE5/02.005
Please contact the course lecturer (joaquin.aguado@uni-bamberg.de)
|
|
|