Hohe Studienabbruchquoten im Fach Mathematik in Deutschland werden seit langem beobachtet. Entsprechend wurden in der Literatur Unterschiede zwischen dem Fach Mathematik in der Schule und dem Mathematikstudium herausgearbeitet und Schwierigkeiten von Studierenden beim Wechsel zwischen den Bildungseinrichtungen untersucht, wobei Studierende insbesondere Schwierigkeiten mit dem mathematischen Beweisen haben, welches eine zentrale Stellung bezogen auf die Veränderungen von Lehr-, Lern- und Arbeitsmethoden einnimmt. Mathematische Kenntnisse stellen hierbei einen entscheidenden Einflussfaktor auf erfolgreiche Beweisprozesse dar. Weniger beforscht ist, wie sich die Qualität der mathematischen Kenntnisse auf den Beweisprozess auswirkt.

Zur Untersuchung dieses Zusammenhangs wird in der vorliegenden Arbeit durch Adaption und Synthese verschiedener mathematikdidaktischer Theorieelemente sowie der Tätigkeitstheorie ein theoretisches Rahmenmodell erarbeitet, durch welches zahlreiche Phänomene des Übergangs und die Tätigkeit des mathematischen Beweisens lerntheoretisch eingeordnet und begründet werden können. Anknüpfend an das lerntheoretische Rahmenmodell werden theoretische Modelle zur Beschreibung, Diagnose und Förderung der Qualität mathematischer Kenntnisse entwickelt. Die Qualität einer (individuellen) Kenntnis wird dabei im Wesentlichen durch die Anzahl der Vernetzungen und deren Passung zum (objektiven) Wissen beschrieben. Unterschieden werden dabei Vernetzungen, die nur den mathematischen Satz oder Begriff selbst betreffen (semantischer Kern), Vernetzungen in den Kenntnisbereich (bspw. die Einbettung in den Kenntnisbereich sowie inner- und außermathematische Anwendungssituationen) und darüberhinausgehende Vernetzungen. Mit Hilfe von vier Parametern (Verfügbarkeit, Exaktheit, Anschaulichkeit und Allgemeinheit) wird die Qualität einer Kenntnis auf Ebene des semantischen Kerns beschrieben.

Eine erste Untersuchung des Zusammenhangs zwischen der Qualität einer Kenntnis und dem Beweisprozess zu einem Satz, in dem das zugehörige Stoffelement eine zentrale Stellung einnimmt, erfolgt mittels einer qualitativen Interviewstudie am Beispiel der ε-δ-Definition von Stetigkeit. Auf Basis der Interviewstudie werden zudem die theoretischen Modelle zur Diagnose und Förderung erprobt, evaluiert und überarbeitet.