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

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

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…

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…

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 purpose of this study was to analyze the use of reading strategies being implemented in an urban school district in the Southeast. This study was framed on the SIOP (Sheltered Instruction Observation Protocol) Model (Echevarria et al., 2017). SIOP is an instructional framework that has been used in K-12 schools since the 1980s. It is a…

This article describes a system of specifications-based grading used in an introduction to proofs course. The system was introduced to address two issues that arose in the course: how to spend less time grading and how to encourage use of feedback. We describe the implementation of the system and the results on grading and on students.

Calculating Laplace transforms from the definition often requires tedious integrations. This paper provides an integration-free technique for calculating Laplace transforms of many familiar functions. It also shows how the technique can be applied to probability theory.

The Parity Theorem states that any permutation can be written as a product of transpositions, but no permutation can be written as a product of both an even number and an odd number of transpositions. Most proofs of the Parity Theorem take several pages of mathematical formalism to complete. This article presents an alternative but equivalent…

Calls for replication studies are becoming more frequent, and Computer Assisted Language Learning (CALL) has now reached sufficient maturity to offer numerous studies that lend themselves to replication. Realistic and successful replications rely on transparency in terms of data, results, and methodology. Two published studies in the area of…

We introduce a family of puzzles that can help students understand permutation groups. In addition these puzzles provide a basis to investigate other puzzles and their groups of permutations.

There is considerable variety in inquiry-oriented instruction, but what is common is that students assume roles in mathematical activity that in a traditional, lecture-based class are either assumed by the teacher (or text) or are not visible at all in traditional math classrooms. This paper is a case study of the teaching of an inquiry-based…

Advances in learning theory call us to examine ways to get students more actively engaged both inside and outside of the classroom. This report offers suggestions for encouraging and increasing student reading, writing, and collaborative development in a real analysis course.