Lehre - Prof. Dr. Jean Christoph Jung
Kommendes Semester
Wintersemester 2025/2026
- Logik für Informatik (Bachelor, Pflicht)
- Grundlagen der formalen Argumentation (Bachelor, Proseminar)
- Automatentheorie und ihre Anwendungen 2 (Master, Vertiefung)
Aktuelles Semester
Sommersemester 2025
- DVEW (Bachelor, Wahl)
-
Seminar "Logic and Learning" (Master, Seminar)
Vorherige Semester
Wintersemester 2024/2025
- SAT Solving (Bachelor, Seminar)
- Automatentheorie und ihre Anwendungen 2 (Master, Vertiefung)
Sommersemester 2024
- DVEW (Bachelor, Wahl)
-
Seminar "Theory and Practice of Graph Databases" (Master, Seminar)
Wintersemester 2023/2024
- Logik (Bachelor, Pflicht)
- Automatentheorie und ihre Anwendungen 2 (Master, Vertiefung)
- Seminar Artificial Intelligence meets Formal Methods (Master, Seminar)
Sommersemester 2023
- DVEW (Bachelor, Wahl)
- Logic and Learning (Master, Seminar)
Wintersemester 2022/2023
- Seminar "Big Data Mining"