Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre

Abstract

Digitale Werkzeuge sind ein wichtiger Bestandteil der mathematischen Hochschullehre. Lange Zeit gab es allerdings kaum Werkzeuge zum Lernen mathematischen Beweisens. Aktuell etablieren sich Theorembeweiser als eine relevante digitale Innovation sowohl in der mathematischen Forschung als auch in der Lehre. Theorembeweiser sind interaktive Software-Tools, in denen Beweise formuliert werden können und die bei der Bearbeitung eines Beweises Feedback bieten. Wir stellen Potentiale vor, die Theorembeweiser beim Lernen des Beweisens bieten und untersuchen Herausforderungen bei ihrem Einsatz.