Abstract
Lurch is a piece of mathematical software that can help students learn to write mathematical proofs, by providing frequent and immediate feedback to each step in their work. Herein we discuss how that software was applied in an introduction to proofs course, and how it helps students make the transition from computational to proof-oriented mathematics. We also mention resources available for easing the integration of Lurch into other instructors’ courses.
| Original language | English |
|---|---|
| Title of host publication | Beyond Lecture: Resources and Pedagogical Techniques for Enhancing the Teaching of Proof-Writing Across the Curriculum |
| Publisher | Mathematical Association of America |
| State | Published - 2015 |