The Art of Proof

Basic Training for Deeper Mathematics

By Matthias Beck , Ross Geoghegan

The Art of Proof Cover Image

Written to accompany a one- or two-semester course, this text combines rigor and wit to cover a plethora of topics from integers to uncountable sets. It teaches methods such as axiom, theorem, and proof through the mathematics rather than in abstract isolation.

Full Description

  • ISBN13: 978-1-4419-7022-0
  • 204 Pages
  • Publication Date: August 17, 2010
  • Available eBook Formats: PDF
  • eBook Price: $39.95
Buy eBook Buy Print Book Add to Wishlist
Full Description
The Art of Proof is designed for a one-semester or two-quarter course. A typical student will have studied calculus (perhaps also linear algebra) with reasonable success. With an artful mixture of chatty style and interesting examples, the student's previous intuitive knowledge is placed on solid intellectual ground. The topics covered include: integers, induction, algorithms, real numbers, rational numbers, modular arithmetic, limits, and uncountable sets. Methods, such as axiom, theorem and proof, are taught while discussing the mathematics rather than in abstract isolation. Some of the proofs are presented in detail, while others (some with hints) may be assigned to the student or presented by the instructor. The authors recommend that the two parts of the book -- Discrete and Continuous -- be given equal attention. The book ends with short essays on further topics suitable for seminar-style presentation by small teams of students, either in class or in a mathematics club setting. These include: continuity, cryptography, groups, complex numbers, ordinal number, and generating functions.
Table of Contents

Table of Contents

  1. Preface.
  2. Notes for the Student.
  3. Notes for Instructors.
  4. Part I: The Discrete.
  5. 1 Integers.
  6. 2 Natural Numbers and Induction.
  7. 3 Some Points of Logic.
  8. 4 Recursion.
  9. 5 Underlying Notions in Set Theory.
  10. 6 Equivalence Relations and Modular Arithmetic.
  11. 7 Arithmetic in Base Ten.
  12. Part II: The Continuous.
  13. 8 Real Numbers.
  14. 9 Embedding Z in R.
  15. 10. Limits and Other Consequences of Completeness.
  16. 11 Rational and Irrational Numbers.
  17. 12 Decimal Expansions.
  18. 13 Cardinality.
  19. 14 Final Remarks.
  20. Further Topics.
  21. A Continuity and Uniform Continuity.
  22. B Public
  23. Key Cryptography.
  24. C Complex Numbers.
  25. D Groups and Graphs.
  26. E Generating Functions.
  27. F Cardinal Number and Ordinal Number.
  28. G Remarks on Euclidean Geometry.
  29. List of Symbols.
  30. Index.
Errata

Please Login to submit errata.

No errata are currently published