In recent years, professional organizations in the United States have suggested undergraduate mathematics shift away from pure lecture format. Transitioning to a student-centered class is a complex instructional undertaking especially in the proof-based context. In this paper, we share lessons learned from a design-based research project centering…

In this paper we develop a case for introducing a new teaching tool to undergraduate mathematics. Lean is an interactive theorem prover that instantly checks the correctness of every step and provides immediate feedback. Teaching with Lean might present a challenge, in that students must write their proofs in a formal way using a specific syntax.…

This research article is about "Introducing a Supportive Framework to Address Students' Misconceptions and Difficulties in Learning Mathematical proof techniques (MPT): A Case of Debark University". This study aims to develop, introduce, and implement a supportive framework to overcome students' misconceptions and difficulties in MPT.…

The purpose of this study is to examine the performances of university students' using dynamic mathematics software GeoGebra in argumentations and proving processes. A task related to the limit involving "sinx/x" was designed and 18 university students worked on the task during the collaborative learning, scientific debate, and…

Coming from the commognitive standpoint, we consider proof-based mathematics as a distinct discourse, the transition to which requires special rules for endorsement and rejection of mathematical statements. In this study, we investigate newcomers' learning of these rules when being taught them explicitly. Our data come from academically motivated…

The aim of this study is to characterize ways of reasoning and arguing that first year university mathematics students exhibit in problem-solving activities from a course that emphasizes the importance of formulating conjectures and the search for different ways to support or validate them. The use of a Dynamic Geometry System in the…

While proof has been studied from different perspectives in the mathematics education literature for decades, students continue to struggle to build proof comprehension. Complicating this, the manner in which proof comprehension is assessed largely remains to be the definition-theorem-proof format in which students are asked to reproduce proofs or…

The aim of the study was to investigate the validity level of Socrates-based linear algebra e-module, both material validity and design. This is a research and "development" (R&D) with ADDIE procedure: analysis, design, develop, implement, and evaluate. The participants were 30 students and 2 lecturers who supervised linear algebra…

Assessment is a topic of concern to all stakeholders in our educational system. Pattern Based Questions are an assessment tool which is an alternative to the standardized assessment tool, and they are based on generative learning pedagogy, which shows promise in engaging all learners and usefulness in teaching and learning but validity has not yet…

Students' proof abilities were explored in the context of an inquiry-based learning (IBL) approach to teaching an introductory proofs course. IBL is a teaching method that puts the responsibility for proof on students and focuses on student discussion and exploration. Data collected from each of the 70 participants included a portfolio consisting…

This study investigates the associations of spontaneous "dynamic gesture" and "transformational speech" with the production of "deductive proofs" in participants' reasoning about geometric conjectures (N=77). Although statistical analysis showed no significant association, the result suggests that purposefully…

Mathematical proof is a logically formed argument based on students' thinking process. A mathematical proof is a formal process which needs the ability of analytical thinking to solve. However, researchers still find students who complete the mathematical proof process through intuitive thinking. Students who have studied mathematical proof in the…

The Department of Mathematics and Computer Science at Adelphi University engaged in a year-long program revision of its mathematics major, which was initiated by a longitudinal study and the publication of the 2015 Curriculum Guide by the MAA's Committee on Undergraduate Programs in Mathematics. This paper stands as a short story, so to speak, of…

This paper deals with writing a proof text as the final step of the proving process at university level, particularly when it results in a disorganized, unclear draft. The reported study concerns third year university students when dealing with proof tasks for which the proving process has to be built up, as opposed to tasks that students may…

This study examined the genre of undergraduate mathematical proof writing by asking mathematicians and undergraduate students to read 7 partial proofs and identify and discuss uses of mathematical language that were out of the ordinary with respect to what they considered conventional mathematical proof writing. Three main themes emerged: First,…