Proofs 101 : an introduction to formal mathematics /

Kirtland, Joseph (Mathematics professor),

Proofs 101 : an introduction to formal mathematics / Joseph Kirtland. - First edition. - pages cm

Includes bibliographical references and index.

Logic -- Proof techniques -- Sets -- Proof by mathematical induction -- Relations -- Functions -- Cardinality of sets -- Conclusion -- 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 Linear Algebra. It prepares students for the proofs they will need to analyse 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 A balanced variety of easy, moderate, and difficult exercises"--

9780367536930 9780367536817

2020027997


Proof theory.
Logic, Symbolic and mathematical.

QA9.54 / .K57 2020

511.3/6