Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre
Loading...
Date
2024
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Gesellschaft für Didaktik der Mathematik
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.
Description
Table of contents
Keywords
Hochschule, interdisziplinär, Argumentieren & Beweisen, Digitalisierung & Mathematik