Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

Fellowship für Innovationen in der Digitalen Hochschullehre für Thomas Zeume

Für das Projekt Logik Digital wird Dr. Thomas Zeume vom Lehrstuhl 1 mit einem Fellowship für Innovationen in der Digitalen Hochschullehre des Landes Nordrhein-Westfalen und des Stifterverbandes gefördert.

Zeume

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.

 

Weiterführende Informationen:

https://www.stifterverband.org/digital-lehrfellows