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 Richard Hammack - Virginia Commonwealth University
This textbook is an introduction to the standard methods of proving mathematical theorems. It is written for an audience of mathematics majors at Virginia Commonwealth University, and is intended to prepare the students for more advanced courses.
by Alexander Bogomolny - Interactive Mathematics Miscellany and Puzzles
I'll distinguish between two broad categories. The first is characterized by simplicity. In the second group the proofs will be selected mainly for their charm. Most of the proofs in this book should be accessible to a middle grade school student.
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 James Franklin, Albert Daoud - Kew Books
This is a small (98 page) textbook designed to teach mathematics and computer science students the basics of how to read and construct proofs. The book takes a straightforward, no nonsense approach to explaining the core technique of mathematics.