| Date | Topic | Required Reading | Notes | Assignments Out | Slides |
|---|---|---|---|---|---|
| 8/23 | Introduction, propositions, truth tables | 2.1 | |||
| 8/25 | Conditional statements | 2.2 | |||
| 8/28 | Valid and invalid arguments | 2.3 | Homework 1, due at the start of class on 9/6 | ||
| 8/30 | Valid and invalid arguments, continued | ||||
| 9/1 | Conditional worlds | ||||
| 9/4 | Labor Day | ||||
| 9/6 | Conditional worlds, continued | Homework 2, due at the start of class on 9/13 | |||
| 9/8 | Proof practice | ||||
| 9/11 | Predicates and quantifiers | 3.1 | |||
| 9/13 | Negations of quantified statements | 3.2 | Homework 3, due at the start of class on 9/20 | ||
| 9/15 | Statements with multiple quantifiers | 3.3 | |||
| 9/18 | Rules of inference with quantifiers | 3.4 | |||
| 9/20 | Proofs with quantified statements | Homework 4, due at the start of class on (Friday) 9/29 | |||
| 9/22 | Proof practice | ||||
| 9/25 | The language of proofs, even and odd | 4.1 | |||
| 9/27 | More even and odd | ||||
| 9/29 | Rational and divides | 4.2, 4.3 | Homework 5, due at the start of class on Wed 10/4 | ||
| 10/2 | Divides, quotient-remainder theorem | 4.4 | |||
| 10/4 | Proof by contradiction | 4.5 | |||
| 10/6 | Chapter 4 wrapup | ||||
| 10/9 | Review for test | ||||
| 10/11 | Sequences and summations | 5.1 | |||
| 10/13 | Induction I | 5.2 | Homework 6, due at the start of class on Fri 10/20 | ||
| 10/16 | Fall break | ||||
| 10/18 | Induction II | 5.3 | |||
| 10/20 | Strong induction I | 5.4 | Homework 7, due at the start of class on Wed 10/25 | ||
| 10/23 | Strong induction II | 5.5 | |||
| 10/25 | Induction practice | ||||
| 10/27 | Sets I | 6.1 | Homework 8, due at the start of class on Wed 11/1 | ||
| 10/30 | Sets II: Element proofs | 6.2 | |||
| 11/1 | Sets III: Algebraic proofs | 6.3 | |||
| 11/3 | Set practice problems | Homework 9, due at the start of class on Wed 11/8 | |||
| 11/6 | Functions intro | 7.1 | |||
| 11/8 | 1-1 and onto | 7.2 | |||
| 11/10 | More 1-1 and onto | ||||
| 11/13 | Function composition | 7.3 | Homework 10, due at the start of class on Mon 11/20 | ||
| 11/15 | Intro to probability and counting | 9.1 | |||
| 11/17 | Multiplication rule | 9.2 | |||
| 11/20 | Addition rule | 9.3 | |||
| 11/22 | Thanksgiving break | ||||
| 11/24 | Thanksgiving break | ||||
| 11/27 | Pigeonhole principle | 9.4 | Homework 11, due at the start of class on Fri 12/1 | ||
| 11/29 | Combinations | 9.5 | |||
| 12/1 | More combinations | Homework 12, due at the start of class on Wed 12/6 | |||
| 12/4 | Relations I | 8.1, 8.2 | |||
| 12/6 | Relations II | 8.3 |