Table of Contents
Fetching ...

Mathematical Proof

Heinz H. Bauschke

Abstract

These Course Notes provide an introduction to mathematical proofs for undergraduate students transitioning from computational calculus to abstract mathematics. Topics include propositional logic, proof techniques, mathematical induction, fields, sets and relations, sequences and series, completeness of the real numbers, cardinality, and related foundational material. Numerous examples and exercises (with complete solutions) are included. The notes are designed for a one-semester proof course.

Mathematical Proof

Abstract

These Course Notes provide an introduction to mathematical proofs for undergraduate students transitioning from computational calculus to abstract mathematics. Topics include propositional logic, proof techniques, mathematical induction, fields, sets and relations, sequences and series, completeness of the real numbers, cardinality, and related foundational material. Numerous examples and exercises (with complete solutions) are included. The notes are designed for a one-semester proof course.
Paper Structure (54 sections, 97 theorems, 729 equations)

This paper contains 54 sections, 97 theorems, 729 equations.

Key Result

proposition 1

If $n$ is an even integer, then $n^2$ is also even.

Theorems & Definitions (257)

  • definition 1
  • definition 2: not, and, or, if, if and only if
  • definition 3
  • proposition 1: a direct proof
  • proof
  • proposition 2: a proof by cases
  • proof
  • proposition 3: a proof by contradiction
  • proof
  • proof
  • ...and 247 more