Ein Designprinzip für Lernumgebungen zu interaktiven Theorembeweisern
| dc.contributor.author | Garnelo, Irene | |
| dc.contributor.author | Liebendörfer, Michael | |
| dc.date.accessioned | 2025-11-17T15:29:18Z | |
| dc.date.available | 2025-11-17T15:29:18Z | |
| dc.date.issued | 2025 | |
| dc.description.abstract | Interaktive Theorembeweiser bieten vielversprechende Unterstützung beim Erwerb von Beweisfähigkeiten im Übergang von der Schule zur Hochschule. Bevor sie jedoch effektiv als Lernwerkzeuge genutzt werden können, müssen Studierende lernen mit ihnen umzugehen. In unserem Beitrag stellen wir ein Designprinzip für Lernumgebungen, die Theorembeweiser integrieren, vor, das aus Theorie in der Informatikdidaktik und empirischen Befunden hergeleitet wird und präsentieren eine Anwendung davon. | de |
| dc.identifier.uri | http://hdl.handle.net/2003/44207 | |
| dc.identifier.uri | http://dx.doi.org/10.17877/DE290R-25975 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Didaktik der Mathematik | |
| dc.relation.ispartof | Beiträge zum Mathematikunterricht 2025 | |
| dc.relation.ispartofseries | Beiträge zum Mathematikunterricht; 58 | |
| dc.subject | Argumentieren und Beweisen | de |
| dc.subject | Übergang Schule Hochschule | de |
| dc.subject | Hochschule | de |
| dc.subject | Lernumgebungen | de |
| dc.subject | Umgang mit Medien und Werkzeugen | de |
| dc.subject | Digitalisierung | de |
| dc.subject.ddc | 510 | |
| dc.title | Ein Designprinzip für Lernumgebungen zu interaktiven Theorembeweisern | de |
| dc.type | Text | |
| dc.type.publicationtype | ConferencePaper | |
| dcterms.accessRights | open access | |
| eldorado.dnb.deposit | true | |
| eldorado.secondarypublication | false |
