Lehre - Prof. Dr. Jean Christoph Jung
Kommendes Semester
Sommersemester 2024
- DVEW (Bachelor, Wahl)
-
Seminar "Theory and Practice of Graph Databases" (Master, Seminar)
Aktuelles Semester
Wintersemester 2023/2024
- Logik (Bachelor, Pflicht)
- Automatentheorie und ihre Anwendungen 2 (Master, Vertiefung)
- Seminar Artificial Intelligence meets Formal Methods (Master, Seminar)
Vorherige Semester
Sommersemester 2023
- DVEW (Bachelor, Wahl)
- Logic and Learning (Master, Seminar)
Wintersemester 2022/2023
- Seminar "Big Data Mining"