Read more about Book of Proof - Third Edition

Book of Proof - Third Edition

(6 reviews)

Richard Hammack, Virginia Commonwealth University

Copyright Year: 2013

ISBN 13: 9780989472104

Publisher: Richard Hammack

Language: English

Read this book

Conditions of Use

Attribution-NoDerivs Attribution-NoDerivs


Learn more about reviews.

Reviewed by David Miller, Professor, West Virginia University on 4/18/19

This textbook is very comprehensive. Covers a basic review of sets and set operations, logic and logical statements, all the proof techniques, set theory proofs, relation and functions, and additional material that is helpful for upper-level proof... read more

Reviewed by Michael Barrus, Assistant Professor, University of Rhode Island on 2/1/18

This book covers all of the major areas of a standard introductory course on mathematical rigor/proof, such as logic (including truth tables) proof techniques (including contrapositive proof, proof by contradiction, mathematical induction, etc.),... read more

Reviewed by Edwin O'Shea, Associate Professor, James Madison University on 4/11/17

The text is very suitable for an "introduction to proofs/transitions" course. I have used this book as the primary text for such a course twice, a course with two main goals: prepare the student for proof-centric classes like abstract algebra and... read more

Reviewed by Roberto Munoz-Alicea, Instructor/Academic Support Coordinator, Colorado State University on 1/7/16

This textbook covers an excellent choice of topics for an introductory course in mathematical proofs and reasoning. The book starts with the basics of set theory, logic and truth tables, and counting. Then, the book moves on to standard proof... read more

Reviewed by Jess Ellis, Assistant Professor, Colorado State University, Fort Collins on 1/7/16

I use this book for a "Discrete Mathematics for Educators" course. The students are all prospective middle and high school teachers, and the main goals are to prepare them for upper level mathematics courses involving proofs, and to give them a... read more

Reviewed by Milos Savic, Assistant Professor, University of Oklahoma on 1/12/15

This text is intended for a transition or introduction to proof and proving in undergraduate mathematics. Many of the elements needed for this transition are here, including predicate and propositional logic. The index is provided and extensive. read more

Table of Contents

I Fundamentals

  • 1. Sets
  • 2. Logic
  • 3. Counting

II How to Prove Conditional Statements

  • 4. Direct Proof
  • 5. Contrapositive Proof
  • 6. Proof by Contradiction

III More on Proof

  • 7. Proving Non-Conditional Statements
  • 8. Proofs Involving Sets
  • 9. Disproof
  • 10. Mathematical Induction

IV Relations, Functions and Cardinality

  • 11. Relations
  • 12. Functions
  • 13. Proofs in Calculus
  • 14. Cardinality of Sets

About the Book

This is a book about how to prove theorems.

Until this point in your education, you may have regarded mathematics primarily as a computational discipline. You have learned to solveequations, compute derivatives and integrals, multiply matrices and finddeterminants; and you have seen how these things can answer practicalquestions about the real world. In this setting, your primary goal in usingmathematics has been to compute answers.

But there is another approach to mathematics that is more theoreticalthan computational. In this approach, the primary goal is to understandmathematical structures, to prove mathematical statements, and evento invent or discover new mathematical theorems and theories. Themathematical techniques and procedures that you have learned and usedup until now have their origins in this theoretical side of mathematics. Forexample, in computing the area under a curve, you use the fundamentaltheorem of calculus. It is because this theorem is true that your answeris correct. However, in your calculus class you were probably far moreconcerned with how that theorem could be applied than in understandingwhy it is true. But how do we know it is true? How can we convinceourselves or others of its validity? Questions of this nature belong to thetheoretical realm of mathematics. This book is an introduction to that realm.

This book will initiate you into an esoteric world. You will learn andapply the methods of thought that mathematicians use to verify theorems,explore mathematical truth and create new mathematical theories. Thiswill prepare you for advanced mathematics courses, for you will be betterable to understand proofs, write your own proofs and think critically andinquisitively about mathematics.

Ancillary materials are available.

This text has been used in classes at:Virginia Commonwealth University, Lebanon Valley College, University of California - San Diego, Colorado State University, Westminster College, South Dakota State University, PTEK College - Brunei, Christian Brothers High School, University of Texas Pan American, Schola Europaea, James Madison University, Heriot-Watt University, Prince of Songkla University, Queen Mary University of London, University of Nevada - Reno, University of Georgia - Athens, Saint Peter's University, California State University,Bogaziçi University, Pennsylvania State University, University of Notre Dame

About the Contributors


Richard Hammack, PhD is an Associate Professor in the Department of Mathematics and Applied Mathematics at Virginia Commonwealth University. He received his PhD in mathematics from the University of North Carolina at Chapel Hill.