Math 251: Foundations of Advanced Mathematics
Josh Laison

Syllabus
Course Canvas site
Resources for writing in LaTeX.

Course calendar:
Monday Wednesday Friday
Week 1 Aug 26: First day of class!
Mathematical writing and an introduction to LaTeX
Aug 28: Section 1.2, Mathematical statements, logical operations, and truth tables
Canvas quiz #1 due.
Aug 30: Section 1.3, Relations between statements
Perusall assignment Ben Orlin essay on mathematical explanation due.
Week 2 Sep 2: Labor day, no class today! Sep 4: Sections 1.4, Arguments
Canvas quiz #2 due.
Sep 6: Section 1.5, Quantifiers.
Week 3 Sep 9: Section 1.5, Quantifiers continued.
First draft of problem assignment 1 due.
Sep 11: Starting Chapter 2, Proof techniques
In class quiz 1 on Sections 1.2-1.5
Sep 13: Sections 2.1-2.3, practicing proofs
Canvas quiz #3 due.
Week 4 Sep 16: Chapter 2 continued, More practicing proofs.
Perusall assignment Eugenia Cheng chapter on abstraction due.
Sep 18: Chapter 2 continued, Practicing proof editing.
Final draft of problem assignment 1 due.
Sep 20: Section 6.3, Induction
Canvas quiz #4 due.
Week 5 Sep 23: Section 6.3, Practicing induction proofs.
First draft of problem assignment 2 due.
Sep 25: Section 6.3, More practicing induction proofs.
In-class quiz 2 on Sections 2.1-2.6.
Sep 27: Sections 3.2, 3.3, Sets and set operations
Canvas quiz #5 due.
Week 6 Sep 30: Sections 3.2, 3.3, Set operations continued
Perusall assignment MacDonald and Haran on recent math results
Oct 2: Practicing set proofs
Final draft of problem assignment 2 due.
Oct 4: More practicing set proofs
Canvas quiz #6 due.
Week 7 Oct 7: Section 3.4, Indexed sets
First draft of problem assignment 3 due.
Oct 9: In-class quiz 3 on Sections 6.3, 3.2, 3.3.
Practicing indexed set proofs
Oct 11: Mid-semester break, no class today!
Week 8 Oct 14: Section 4.1, functions
Canvas quiz #7 due.
Oct 16: Section 4.2, image and inverse image
Final draft of problem assignment 3 due.
Oct 18: Practicing image and inverse image proofs
Canvas quiz #8 due.
Week 9 Oct 21: More image and inverse image proofs
First draft of problem assignment 4 due.
Oct 23: In-class quiz 4 on sections 3.4, 4.1, 4.2.
Section 4.3, function composition
Oct 25: Section 4.4, injective and surjective functions
Perusall assignment Strogatz and Tokieda
Week 10 Oct 28: Practicing injective and surjective function proofs, inverse functions
No assignments.
Oct 30: Inverse functions
Canvas quiz #9 due.
Nov 1: Section 5.1, relations
Final draft of problem assignment 4 due.
Week 11 Nov 4: Equivalence relations
First draft of problem assignment 5 due.
Nov 6: No assignments Nov 8: In-class quiz 5 on sections 4.3, 4.4, 5.1
More equivalence relations
Week 12 Nov 11: Section 5.2, modular arithmetic
Canvas quiz #10 due.
Nov 13: More number theory
Final draft of problem assignment 5 due.
Nov 15: Perusall assignment
Week 13 Nov 18: Sections 7.1, 7.2, binary operations
Problem assignment #6 due.
Nov 20: In-class quiz 6
More group theory
Nov 22: Section 7.8, sequences
Canvas quiz #11 due.
Week 14 Nov 25: Graph theory
No assignments
Nov 27: No class, fall break! Nov 29: No class, fall break!
Week 15 Dec 2: Sequences, part 2
Final draft of problem assignment 6 due.
Dec 4: Infinity, last day of class! Final exams scheduled individually Dec 5-Dec 12