2019-2020 Logik für Informatiker Logische Programmierung Rechnernetze Prof. Dr. Habil. Hartmut König Integrierte Modellierung Komplexer Systeme (MHP) Künstliche Intelligenz Knowledge Discovery Forschungsprojekt Master Praktikum Master