This paper introduces the concept of logical consistency in students' thinking in mathematical contexts. We present the Logical in-Consistency (LinC) instrument as a valuable assessment tool designed to examine the prevalence and types of logical inconsistencies among undergraduate students' evaluation of mathematical statements and accompanying…

This article presents an inquiry-oriented lesson for teaching Lagrange's theorem in abstract algebra. This lesson was developed and refined as part of a larger grant project focused on how to "Orchestrate Discussions Around Proof" (ODAP, the name of the project). The lesson components were developed and refined with attention to how well…

The mathematical egg hunt is a hands-on activity designed to help students understand mathematical relations in an Introduction to Proofs course. This activity gives students the opportunity to practice selecting which ordered pairs do and do not belong to a given relation in a moderately competitive egg hunt. It is designed to be low-stakes, yet…

An online intro-to-proof course provided an unexpected opportunity for a series of email exchanges that yielded insights into one student's mathematical thinking and the ambiguous role of mathematical jargon in miscuing this student's reasoning. The jargon deals with the notation [limit value of a function], which encapsulates multiple conceptual…

Experienced provers employ a host of skills when assessing the validity of a justification, often without names for those skills. This paper offers an introduction to a lens called Toulmin analysis that can help make sense of this process. Then this paper describes both an in-class module to help students learn to apply Toulmin analysis and…

Connecting and comparing across student strategies has been shown to be productive for students in elementary and secondary classrooms. We have recently been working on a project converting such practices from the K-12 level to the undergraduate classroom. In this paper, we share a particular instantiation of this practice in an abstract 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…

Undergraduate mathematics instructors are called by many current standards to promote prospective teachers' learning of geometry from a transformation perspective, marking a change from previous standards. The novelty of this situation means it is unclear what is involved in undergraduate learning and teaching of geometry from a transformation…

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…

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…

Teaching determinants poses significant challenges to the instructor of a proof-based undergraduate linear algebra course. The standard definition by cofactor expansion is ugly, lacks symmetry, and is hard for students to use in proofs. We introduce a visual definition of the determinant that interprets permutations as arrangements of…

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…

This paper describes, as an alternative to the Moore Method or a purely flipped classroom, a student-driven, textbook-supported method for teaching that allows movement through the standard course material with differing depths, but the same pace. This method, which includes a combination of board work followed by class discussion, on-demand brief…

Rouché's Theorem is a standard topic in undergraduate complex analysis. It is usually covered near the end of the course with applications relating to pure mathematics only (e.g., using it to produce an alternate proof of the Fundamental Theorem of Algebra). The "winding number" provides a geometric interpretation relating to the…