Für das Projekt Logik Digital wird Thomas Zeume mit einem Fellowship für Innovationen in der Digitalen Hochschullehre des Landes Nordrhein-Westfalen und des Stifterverbandes gefördert. Ob in Datenbankanfragesprachen, in der Verifikation oder der künstlichen Intelligenz - logische Formalismen sind fester Bestandteil des Berufsalltags von Informatikerinnen und Informatikern. Im Rahmen des Projektes Logik Digital wird ein webbasiertes, interaktives System für die Unterstützung der Logik-Ausbildung von Informatikstudierenden entwickelt.
Zeume
 
Weiterführende Informationen: