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 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.
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 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.