Transition to Higher Mathematics

This book is written for students who have taken calculus and want to learn what “real mathematics" is. We hope you will find the material engaging and interesting, and that you will be encouraged to learn more advanced mathematics. This is the second edition of our text. It is intended for students who have taken a calculus course, and are interested in learning what higher mathematics is all about. It can be used as a textbook for an "Introduction to Proofs" course, or for self-study.

Mathematical Logic and Proof Mathematics

Author: Bob Dumas and John E. McCarthy
Publisher: University of Washington and Washington University in St. Louis
Source: LibreTexts
License: CC BY
Language: EN
Category: Basic Sciences

Read online Download PDF (open licence)

Contents· 69 sections

01: New Page
1.01: New Page
1.02: New Page
1.03: New Page
1.04: New Page
1.5: Images and Inverses
1.6: Sequences
1.7: Russell’s Paradox
1.8: Exercises
1.9: Hints to get started on some exercises
02: New Page
2.01: New Page
2.02: New Page
2.03: New Page
2.04: New Page
2.05: New Page
2.6: Exercises
03: New Page
3.01: New Page
3.02: New Page
3.03: New Page
3.04: New Page
3.05: New Page
3.06: New Page
04: New Page
4.01: New Page
4.02: New Page
4.03: New Page
4.04: New Page
4.05: New Page
05: New Page
5.01: New Page
5.02: New Page
5.03: New Page
5.04: New Page
06: New Page
6.01: New Page
6.02: New Page
6.03: New Page
6.04: New Page
6.05: New Page
6.06: New Page
07: New Page
7.01: New Page
7.02: New Page
7.03: New Page
7.04: New Page
7.05: New Page
7.06: New Page
08: New Page
8.01: New Page
8.02: New Page
8.03: New Page
8.04: New Page
8.05: New Page
8.06: New Page
8.07: New Page
8.08: New Page
8.09: New Page
8.10: Order-Completeness
8.11: Exercises
09: New Page
9.01: New Page
9.02: New Page
9.03: New Page
9.04: New Page
9.05: New Page
9.06: New Page
9.07: New Page