IMP-Studierende belegen nach Modellstudienplan „Digitale Systeme für IMP“ (VL+UE+ PR) und Algorithmen und Datenstrukturen sowie Einführung in die formale Logik für IMP.