Proofs
and
Concepts
the fundamentals of abstract mathematics
by Dave Witte Morris and Joy Morris
incorporating material by P D Magnus
This free undergraduate textbook provides an introduction to proofs, logic,
sets, functions, and other fundamental topics of abstract mathematics.
It is designed to be the textbook for a bridge course that introduces
undergraduates to abstract mathematics, but it is also suitable for
independent study by undergraduates (or mathematically mature high-school
students), or for use as a very inexpensive supplement to undergraduate
courses in any field of abstract mathematics.
The book is being released online with a Creative Commons license
(Attribution-NonCommercial-ShareAlike 2.0). Although not in final
form, it has already been used as a textbook for several semesters at the
University of Lethbridge, and has seen occasional use at other universities.
Click here
for a PDF file of the December 2016 version (approx 200 pages and 0.9MB).
Click here
for a zip file of the Latex source files (approx 3.3MB).
Table of Contents
Part I. Introduction to Logic and Proofs
1. Propositional Logic
2. Two-Column Proofs
Part II. Sets and First-Order Logic
3. Sets
4. First-Order Logic
5. Sample Topics
Part III. Other Fundamental Concepts
6. Functions
7. Equivalence Relations
8. Proof by Induction
9. Cardinality
Index of Definitions
List of Notation