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.…

In this position paper, we propose commognition for the study of proof teaching at university lectures through an integrative literature review. We critically examine studies that focused on proof teaching but did not use the commognitive framework. Through this examination, we gain an understanding of the pedagogical aspects of proof teaching and…

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…

When first learning how to write mathematical proofs, it is often easier for students to work with statements using the universal quantifier. Results that single out special cases might initially come across as more puzzling or even mysterious. In this article we explore three specific statements from abstract algebra that involve the number…

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…

For many of my students, Real Analysis I is the first, and only, analysis course they will ever take, and these students tend to be overwhelmed by epsilon-delta proofs. To help them I reordered Real Analysis I to start with an "Analysis Boot Camp" in the first 2 weeks of class, which focuses on working with inequalities, absolute value,…

This paper offers instructional interventions designed to support undergraduate math students' understanding of two forms of representations of Calculus concepts, mathematical language and graphs. We first discuss issues in students' understanding of mathematical language and graphs related to Calculus concepts. Then, we describe tasks, which are…

While proof is often presented to mathematics undergraduates as a well-defined mathematical object, the proofs students encounter in different pedagogical contexts may bear salient differences. In this paper we draw on the work of Dawkins and Weber (2017) to explore variations in norms and values underlying a proof across different pedagogical…

Students often view their role as that of a replicator, rather than a creator, of mathematical arguments. We aimed to engage our students more fully in the creation process, helping them to see themselves as legitimate proof creators. In this paper, we describe an instructional activity (i.e., the "group proof activity") that is…

Should proof by induction be reserved for higher levels of mathematical instruction? How can teachers show students the nature of mathematics without first requiring that they master algebra and calculus? Proof by induction is one of the more difficult types of proof to teach, to learn, and to understand. Thus, this article delves deeper into…

In this paper I discuss my experience in using the inverted classroom structure to teach a proof-based, upper level Advanced Calculus course. The structure of the inverted classroom model allows students to begin learning the new mathematics prior to the class meeting. By front-loading learning of new concepts, students can use valuable class time…

Many students do not have a deep understanding of the integral concept. This article defines what a deep understanding of the integral is in respect to integration involving one independent variable; briefly discusses factors which may inhibit such an understanding; and then describes the design of a mathematical resource for introducing students…

The nine-point circle theorem is one of the most beautiful and surprising theorems in Euclidean geometry. It establishes an existence of a circle passing through nine points, all of which are related to a single triangle. This paper describes a set of instructional activities that can help students discover the nine-point circle theorem through…