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

Many mathematics departments have transition to proof (TTP) courses, which prepare undergraduate students for proof-oriented mathematics. Here we discuss how common TTP textbooks connect three topics ubiquitous to such courses: logic, proof techniques, and sets. In particular, we were motivated by recent research showing that focusing on sets is…

This theoretical paper sets forth two "aspects of predication," which describe how students perceive the relationship between a property and an object. We argue these are consequential for how students make sense of discrete mathematics proofs related to the properties and how they construct a logical structure. These aspects of…

Knowledge assessments in undergraduate mathematics education commonly evaluate response correctness to determine learner proficiency. However, simultaneous evaluation of learner metacognition more accurately assesses the multiple dimensions of knowledge and has been shown to increase assessment validity and reliability. Research into…

This study sought to explore whether access to definitions and general representations influences the construction of general direct arguments. Data was collected in college mathematics courses for prospective elementary school teachers. Participant arguments were analyzed along two variables: the generality of the representations and the…

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…

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…

In this paper, we propose an elementary proof of Niven's Theorem in which the tangent function will have a primary role.

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…

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

The Math Immersion intervention was designed to aid the transition-to-proof phase of the undergraduate mathematics major. The Immersion was co-taught by two instructors, one for Intro to Proofs and Abstract Algebra and another for Probability and Statistics and Linear Algebra. This case study documented that efficiency gains directly attributable…

The purpose of this study is to examine the characteristics of students' thinking about graphs while evaluating statements from Calculus. We conducted clinical interviews in which undergraduate students evaluated mathematical statements using graphs to explain their reasoning. We report our classification of students' thinking about aspects of…

In this paper I explore eleven undergraduate students' comprehension of a proof taken from an undergraduate abstract algebra course. My interpretation of what it means to understand a proof is based on a proof comprehension model developed by Mejia-Ramos, et al. (2012). This study in particular examines the extent to which undergraduate students…

Recognizing identity not only as an important educational outcome but also as being inter-related to students' knowledge and practice, this paper explores an affordance of proof scripts; exploring students' identities. Specifically, drawing on data from teaching experiments and the construct of perceptual ambiguity, this paper presents an analysis…