Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre

dc.contributor.author	Garnelo, Irene
dc.contributor.author	Liebendörfer, Michael
dc.date.accessioned	2024-12-10T11:11:54Z
dc.date.available	2024-12-10T11:11:54Z
dc.date.issued	2024
dc.description.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.	de
dc.identifier.uri	http://hdl.handle.net/2003/43224
dc.identifier.uri	http://dx.doi.org/10.17877/DE290R-25056
dc.language.iso	de
dc.publisher	Gesellschaft für Didaktik der Mathematik	de
dc.relation.ispartof	Beiträge zum Mathematikunterricht 2024	de
dc.relation.ispartofseries	Beiträge zum Mathematikunterricht 57
dc.subject	Hochschule	de
dc.subject	interdisziplinär	de
dc.subject	Argumentieren & Beweisen	de
dc.subject	Digitalisierung & Mathematik	de
dc.subject.ddc	510
dc.title	Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre	de
dc.type	Text
dc.type.publicationtype	ConferencePaper
dcterms.accessRights	open access
eldorado.secondarypublication	false

Files

Now showing 1 - 1 of 1

Now showing 1 - 1 of 1