| Date | Topic | Required Reading | Notes | Assignments Out | Slides |
| 1/9 | Intro, propositions, truth tables | 2.1 | |||
| 1/11 | Conditional statements | 2.2 | |||
| 1/14 | Valid arguments | 2.3 | Homework 1, due in hardcopy at the start of class on 1/23 | ||
| 1/16 | Valid arguments, continued | ||||
| 1/18 | Proof techniques, conditional worlds | ||||
| 1/23 | Conditional worlds with and without contradictions | Homework 2, due in hardcopy at the start of class on 1/30 | |||
| 1/25 | Propositional logic proof practice | ||||
| 1/28 | Quantifiers | 3.1 | |||
| 1/30 | Quantifiers II | 3.2 | Homework 3, due in hardcopy at the start of class on 2/6 | ||
| 2/1 | Negations of quantified statements | 3.3 | |||
| 2/4 | Rules of inference for quantified statements | 3.4 | |||
| 2/6 | Proofs with quantified statements | Homework 4, due in hardcopy at the start of class on 2/13 | |||
| 2/8 | The language of "informal" proofs, even and odd | 4.1 | |||
| 2/11 | More even and odd | ||||
| 2/13 | Rationals, divides | 4.2, 4.3 | Homework 5, due in hardcopy at the start of class on 2/20 | ||
| 2/15 | Divides and quotient-remainder theorem | 4.4 | |||
| 2/18 | Proof by contradiction | 4.5 | |||
| 2/20 | Review | ||||
| 2/21 (Thu) | Midterm 1 | ||||
| 2/22 | Unique prime factorization theorem, chapter 4 wrapup | 4.6 | Homework 6, due in hardcopy at the start of class on 2/27 | ||
| 2/25 | Sequences and series | 5.1 | |||
| 2/27 | Induction I | 5.2 | Homework 7, due in hardcopy at the start of class on 3/6 | ||
| 3/1 | Induction II | 5.3 | |||
| 3/4 | Strong induction I | 5.4 | |||
| 3/6 | Strong induction II | 5.5 | Homework 8, due in hardcopy at the start of class on 3/20 | ||
| 3/8 | (No class; professor at conference) | ||||
| 3/18 | Induction practice | ||||
| 3/20 | Sets I | 6.1 | |||
| 3/22 | Sets II | 6.2 | Homework 9, due in hardcopy by 5pm on 3/27 | ||
| 3/25 | Sets III | 6.3 | |||
| 3/27 | Set practice | ||||
| 3/29 | (Easter break) | ||||
| 4/1 | Intro to functions | 7.1 | |||
| 4/3 | 1-1 and onto | 7.2 | |||
| 4/5 | Function composition | 7.3 | Homework 10, due in hardcopy at the start of class on 4/10 | ||
| 4/8 | Cardinality and countability | 7.4 | |||
| 4/10 | Intro to counting | 9.1 | |||
| 4/12 | Multiplication Rule | 9.2 | Homework 11, due in hardcopy by 5pm on 4/17 | ||
| 4/15 | Addition Rule | 9.3 | |||
| 4/17 | Pigeonhole principle | 9.4 | |||
| 4/19 | Combinations | 9.5 | Homework 12, due in hardcopy by 5pm on 4/17 | ||
| 4/22 | Relations | 8.1, 8.2 | |||
| 4/24 | Relations II | 8.3 | Homework 13, never due | ||
| 4/26 | (URCAS) |