Diese Vorlesung behandelt die fundamentale Modellierung von komplexen Systemen unter Verwendung von Logik und Daten. Wir werden uns mit verschiedenen Abstraktionstechniken beschäftigen, um die wesentlichen Prozesse und Interaktionen eines Systems zu erfassen. Dabei fokussieren wir uns auf die Modellierung von Verhalten und deren Interpretation über Funktionen. Die Studierenden lernen, wie man Daten nutzt, um die Logik eines Systems zu verstehen und zu verfeinern.