SUNY Geneseo Department of Mathematics

Lecture List

Math 239 01
Spring 2017
Prof. Doug Baldwin

Last modified August 11, 2017

Caveat

These are electronic records of class discussion from Math 239 01 (Introduction to Mathematical Proof). They are generally captured as a class unfolds, and slightly cleaned up afterwards. They are not clean, carefully-planned lecture notes in the usual sense. They are more an electronic equivalent of notes on the blackboard: they record some of what the instructor said, some of what students said, the things that really happened in the class—including the misunderstandings, false starts, and similar things that happen in real classes. The goal of these notes is as much to help students remember how they learned as it is to help them remember what they learned (because the “how” of learning is at least as important as the “what”).

Please make WWW or other electronic links to this page only—I want people reading these notes to see the “caveat” above.

Send comments, questions, etc. related to these notes to Doug Baldwin.

  1. Jan. 18—Introduction
  2. Jan. 20—Mathematical Statements
  3. Jan. 23—Proofs
  4. Jan. 25—Writing Proofs
  5. Jan. 27—Compound Statements
  6. Jan. 30—Logical Equivalence
  7. Feb. 1—Introduction to Sets
  8. Feb. 3—Predicates
  9. Feb. 6—Set Builder Notation
  10. Feb. 8—Introduction to Quantifiers
  11. Feb. 10—Quantifiers, Part 2
  12. Feb. 15—Proofs about Conditional Statements
  13. Feb. 17—Proof by Contradiction
  14. Feb. 20—Proof by Contradiction, Part 2
  15. Feb. 22—Proof by Cases
  16. Feb. 24—The Division Algorithm
  17. Feb. 27—Introduction to Induction
  18. Mar. 1—Induction, Part 2
  19. Mar. 3—Strong Induction
  20. Mar. 6—Strong Induction, Part 2
  21. Mar. 20—Introduction to Set Theory
  22. Mar. 22—Proofs about Sets
  23. Mar. 24—Set Algebra
  24. Mar. 27—Set Algebra, Part 2
  25. Mar. 29—The Cartesian Product
  26. Mar. 31—Families of Sets
  27. Apr. 3—Introduction to Functions
  28. Apr. 5—Functions, Part 2
  29. Apr. 10—Function Composition
  30. Apr. 12—Inverses of Functions
  31. Apr. 14—Functions on Sets
  32. Apr. 17—Introduction to Equivalence Relations
  33. Mar. 19—Equivalence Relations, Part 2
  34. Apr. 21—Finiteness
  35. Apr. 24—Countable Sets
  36. Apr. 26—Countable Sets, Part 2
  37. Apr. 28—Uncountable Sets
  38. May 1—Uncountable Sets, Part 2
  39. May 3—Review