Im vorliegenden Beitrag wird über die Argumentationsweise von Schüler*innen der Sek II bei der Untersuchung gebrochen-rationaler Folgen auf Konvergenz berichtet sowie die dabei deutlich werdenden deskriptiven Grundvorstellungen bzgl. der Folgengrenzwerte miteinander verglichen. Neben den üblichen in der Literatur diskutierten Grundvorstellungen konnte eine weitere Vorstellung zum Grenzwert identifiziert werden, welche neue Impulse für die Lehre von Folgengrenzwerten geben könnte. Die identifizierte Vorstellung kann als vorstellungsbasierter Einstieg zum Cauchy-Kriterium betrachtet werden.

Im Mathematikstudium bereiten insbesondere die Beweise den Studienanfänger:innen Schwierigkeiten, sowohl das eigene Beweisen als auch das Verstehen gegebener Beweise. Daher wurde im Rahmen einer Förderung des Projekts InnoMA ein digitales Beweisverständnistraining auf Basis von Worked Examples entwickelt. Dieses wurde im HWS 23 für Erst- und Drittsemesterstudierende der Universität Mannheim angeboten und evaluiert. Die Studierenden nahmen außerdem an Pre- und Posttests teil. Diese Daten werden aktuell zusammen mit den gespeicherten Nutzungsdaten ausgewertet.

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.