CAS-unterstützte Beweisprozesse in der Hochschulmathematik: Ein Weg vom experimentellen zum formalen Beweis

Szücs, Kinga

CAS-unterstützte Beweisprozesse in der Hochschulmathematik: Ein Weg vom experimentellen zum formalen Beweis

dc.contributor.author	Szücs, Kinga
dc.date.accessioned	2026-01-27T18:49:23Z
dc.date.available	2026-01-27T18:49:23Z
dc.date.issued	2025
dc.description.abstract	Ziel des Mathematikstudiums ist, Studierende in eine Disziplin einzuführen, in der formal-deduktive Beweise eine besondere Rolle spielen. Da in der Schule Aussagen oft durch Plausibilitätsüberlegungen begründet werden, haben Studierende Schwierigkeiten zum formal-deduktiven Beweisbegriff durchzudringen. In dem Vortrag werden Beispiele aufgezeigt, wie Beweisprozesse in der Hochschulmathematik mit Hilfe von CAS unterstützt werden können und wie hierbei das Modell von Wittmann und Müller (1988) genutzt werden kann, um von Plausibilitätsüberlegungen zu formal-deduktiven Beweisen zu gelangen.	de
dc.identifier.uri	http://hdl.handle.net/2003/44521
dc.identifier.uri	http://dx.doi.org/10.17877/DE290R-26289
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	Algebra	de
dc.subject	Übergang Schule Hochschule – speziell Lehramt	de
dc.subject	Arithmetik	de
dc.subject	Hochschule – speziell Lehramt	de
dc.subject	Lehr-Lern-Prozesse	de
dc.subject	Explorative Studie	de
dc.subject	Umgang mit Medien und Werkzeugen	de
dc.subject	Digitalisierung	de
dc.subject.ddc	510
dc.title	CAS-unterstützte Beweisprozesse in der Hochschulmathematik: Ein Weg vom experimentellen zum formalen Beweis	de
dc.type	Text
dc.type.publicationtype	ConferencePaper
dcterms.accessRights	open access
eldorado.dnb.deposit	true
eldorado.secondarypublication	false

Files

Original bundle

Now showing 1 - 1 of 1

Name:: BzMu25_SZUECS_Beweisprozesse.pdf
Size:: 1.92 MB
Format:: Adobe Portable Document Format
Description:: DNB

Download

License bundle

Now showing 1 - 1 of 1

Name:: license.txt
Size:: 4.82 KB
Format:: Item-specific license agreed upon to submission
Description:

Download

Collections

2025