-
LOGIC-IN
-
Personen
-
Professors
-
Prof. Dr. Jean Christoph Jung
Lehre
Grundlagen der formalen Argumentation (Bachelor, Proseminar) Automatentheorie und ihre Anwendungen 2 (Master, Vertiefung) Vorherige Semester Sommersemester 2025 DVEW (Bachelor, Wahl) Seminar "Logic and [...] Seminar) 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 [...] Seminar) Wintersemester 2023/2024 Logik (Bachelor, Pflicht) Automatentheorie und ihre Anwendungen 2 (Master, Vertiefung) Seminar Artificial Intelligence meets Formal Methods (Master, Seminar) Sommersemester …