(Image adapted from https://commons.wikimedia.org/wiki/File:8106-1ByrneTP.png, the title page to Oliver Byrne's 1847 edition of Euclid’s Elements, public domain.)
Welcome to Prof. Baldwin’s proofs class (or, more formally, SUNY Geneseo’s spring 2021 Math 239 03, “Introduction to Mathematical Proof”). The links below will take you to the main materials for this course….
- Introduction
- Logic and Logical Statements
- Topic: Statements
- Topic: Direct Proof
- Topic: Connectives
- Topic: Sets
- Topic: Quantifiers
- Proof Techniques
- Topic: Divisibility
- Topic: Proof Via the Contrapositive
- Topic: Biconditionals
- Topic: Proof by Contradiction
- Topic: Proof by Cases
- Topic: Proof by Induction
- Sets
- Topic: Set Operations
- Topic: The Cartesian Product
- Topic: Indexed Families of Sets
- Functions
- Topic: Introduction
- Topic: Types of Function
- Topic: Inverse Functions
- Relations
- Finite and Infinite Sets
- Topic: Cardinality
- Topic: Countable Sets
- Topic: Uncountable Sets