CAS-unterstützte Beweisprozesse in der Hochschulmathematik: Ein Weg vom experimentellen zum formalen Beweis
Lade...
Datum
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Didaktik der Mathematik
Sonstige Titel
Zusammenfassung
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.
Beschreibung
Inhaltsverzeichnis
Schlagwörter
Argumentieren und Beweisen, Algebra, Übergang Schule Hochschule – speziell Lehramt, Arithmetik, Hochschule – speziell Lehramt, Lehr-Lern-Prozesse, Explorative Studie, Umgang mit Medien und Werkzeugen, Digitalisierung