Erforscht die Verbindung von Logik und Algebra aus Sicht der Informatik: praxisorientierte Fallstudien, algorithmische Anwendungen und betriebswirtschaftliche Beispiele zeigen, wie formale Konzepte in Softwareentwicklung und Datenanalyse eingesetzt werden.