An Inquiry-Based Introduction to Proofs
by Jim Hefferon
Publisher: Saint Michael's College 2013
Number of pages: 23
Introduction to Proofs is a Free undergraduate text. It is inquiry-based, sometimes called the Moore method or the discovery method. The text consists of a sequence of exercises, statements for students to prove, along with a few definitions and remarks. The instructor does not lecture but instead lightly guides as the class works through the material together.
Home page url
Download or read it online for free here:
by Larry W. Cusick - California State University, Fresno
Proofs are the heart of mathematics. What is the secret? The short answer is: there is no secret, no mystery, no magic. All that is needed is some common sense and a basic understanding of a few trusted and easy to understand techniques.
by Patrick Keef, David Guichard, Russ Gordon - Whitman College
Contents: Logic (Logical Operations, De Morgan's Laws, Logic and Sets); Proofs (Direct Proofs, Existence proofs, Mathematical Induction); Number Theory (The Euclidean Algorithm); Functions (Injections and Surjections, Cardinality and Countability).
by Elias Zakon - The Trillia Group
The book will help students complete the transition from purely manipulative to rigorous mathematics. It covers basic set theory, induction, quantifiers, functions and relations, equivalence relations, properties of the real numbers, fields, etc.
by Martin Day - Virginia Tech
The book helps students make the transition from freshman-sophomore calculus to more proof-oriented upper-level mathematics courses. Another goal is to train students to read more involved proofs they may encounter in textbooks and journal articles.