A Introduction to Proofs and the Mathematical Vernacular
by Martin Day
Publisher: Virginia Tech 2016
Number of pages: 147
The students taking this course have completed a standard technical calculus sequence. We now want them to start thinking in terms of properties of mathematical objects and logical deduction, and to get them used to writing in the customary language of mathematics. Another goal is to train students to read more involved proofs such as they may encounter in textbooks and journal articles.
Home page url
Download or read it online for free here:
by Jim Hefferon - Saint Michael's College
Introduction to Proofs is a Free undergraduate text. It is inquiry-based, sometimes called the Moore method or the discovery method. It consists of a sequence of exercises, statements for students to prove, along with a few definitions and remarks.
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.
by Dave Witte Morris, Joy Morris - University of Lethbridge
This undergraduate textbook provides an introduction to proofs, logic, sets, functions, and other fundamental topics of abstract mathematics. It is designed to be the textbook for a bridge course that introduces undergraduates to abstract mathematics.
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.