Dr. Thomas Zeume
Technische Universität Dortmund
Fakultät für Informatik, Lehrstuhl Logik in der Informatik
Fellowship für Innovationen in der digitalen Hochschullehre
Projekt:
Logik Digital
Logik ist eines der Fundamente vieler moderner Teilgebiete der Informatik. Ob in der künstlichen Intelligenz, in der formalen Software- und Hardwareverifikation, oder als Grundlage für Datenbankanfragesprachen – das Modellieren von Szenarien mit Hilfe logischer Formeln und das Schließen neuen Wissens sind wichtige Kompetenzen für angehende Informatikerinnen und Informatiker.
Im Rahmen dieses Projektes soll ein web-basiertes, interaktives System zur Unterstützung des Erlernens logischer Methoden entwickelt werden, das insbesondere (a) das Modellieren von Wissen und das Schließen neuen Wissens mit Hilfe von Aussagenlogik, Modallogik und Prädikatenlogik unterstützt, und (b) unmittelbares, didaktisch wertvolles Feedback sowie Hilfestellung ermöglicht.