The Art of Proof: Basic Training for Deeper Mathematics

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

Author: Matthias Beck, Ross Geoghegan
Publisher: Springer
Published: 08/31/2010
Pages: 182
Binding Type: Hardcover
Weight: 1.27lbs
Size: 10.00h x 7.00w x 0.50d
ISBN13: 9781441970220
ISBN10: 1441970223
BISAC Categories:
- Mathematics | Logic
- Mathematics | Algebra | General
- Mathematics | Mathematical Analysis

About the Author

Matthias Beck received his initial training in mathematics in Würzburg, Germany, received his Ph.D. in mathematics from Temple University, and is now associate professor of mathematics at San Francisco State University. He is the recipient of the 2013 MAA Haimo Award for Distinguished College or University Teaching of Mathematics. He is the author of a previously published Springer book, Computing the Continuous Discretely (with Sinai Robins).

Ross Geoghegan received his initial training in mathematics in Dublin, Ireland, received his Ph.D. in mathematics from Cornell University, and is now professor of mathematics at the State University of New York at Binghamton. He is the author of a previously published Springer book, Topological Methods in Group Theory.

This title is not returnable