Kirtland, Joseph

Proofs 101: an introduction to formal mathematics - Boca Raton CRC Press 2021 - xix, 176 p.: ill. Includes bibliographical references and index

Table of content

1. Logic
2. Proof Techniques
3. Sets
4. Proof by Mathematical Induction
5. Relations
6. Functions
7. Cardinality of Sets
8. Conclusion
9. Hints and Solutions



Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and a first course in linear algebra.
The book prepares students for the proofs they will need to analyze and write the axiomatic nature of mathematics and the rigors of upper-level mathematics courses. Basic number theory, relations, functions, cardinality, and set theory will provide the material for the proofs and lay the foundation for a deeper understanding of mathematics, which students will need to carry with them throughout their future studies.
Features
. Designed to be teachable across a single semester
. Suitable as an undergraduate textbook for Introduction to Proofs or Transition to Advanced Mathematics courses
. Offers a balanced variety of easy, moderate, and difficult exercises

https://www.routledge.com/Proofs-101-An-Introduction-to-Formal-Mathematics/Kirtland/p/book/9780367536817

9780367536817


Proof theory
Logic, Symbolic and mathematical
Formal mathematics

511.36 / K4P7