Logik, Prozesse und Programmieren