Formale Grundlagen von Lernsystemen für die Theoretische Informatik

• Antragsteller: Professor Dr. Thomas Zeume
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung seit 2020
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 448468041

Theoretische Grundlagen sind das Rückgrat vieler informatischer Anwendungen. Die Korrektheit von Hardware und Software kann mit Hilfe formaler Methoden aus der Automatentheorie und der Logik überprüft werden; die effiziente Beantwortung von Datenbankanfragen basiert auf Erkenntnissen aus Logik und Komplexitätstheorie; und auch Wissen in intelligenten Systemen zu repräsentieren und neues Wissen automatisiert zu folgern, erfordert solide theoretische Grundlagen.Moderne Lehre der Grundlagen der theoretischen Informatik -- Grundlagen der Logik, der Theorie der formalen Sprachen, der Komplexitäts- und Berechenbarkeitstheorie -- sowie der Methoden der theoretischen Informatik haben deshalb eine große Bedeutung für angehende Informatikerinnen und Informatikern. Die Entwicklung von Technologien zur Unterstützung von Studierenden durch interaktive Inhalte und individuelles Feedback sowie von Lehrenden durch qualitativ hochwertige Lernfortschrittsanalysen ist gerade in der theoretischen Informatik eine große Herausforderung. Oft werden hierbei fortgeschrittene und neue Werkzeuge aus der theoretischen Informatik selbst benötigt.Im Rahmen dieses Projektes sollen A) die sich in diesem Kontext ergebenden theoretische Herausforderungen systematisch identifiziert und formalisiert werden; und B) konzeptuelle Lösungen für diese Herausforderungen mit Hilfe bestehender und neuer Methoden der theoretischen Informatik entwickelt werden. Die Lösungen sollen prototypisch in ein web-basiertes Teaching-Support-System integriert werden.

• DFG-Verfahren: Sachbeihilfen