2020-2021 Logik für Informatiker Logische Programmierung Software Lebenszyklus Modellierungs- und Entwicklungsprojekt