| Date | Topic | Reading |
|---|---|---|
| tu, 7/3 | propositional logic | chap 1.1-1.3 |
| th, 7/5 | predicate logic | chap 2 |
| tu, 7/10 | proofs; number theory | chap 3 |
| th, 7/12 | proofs; number theory | chap 3 |
| tu, 7/17 | midterm; induction | everything so far; chap 4 |
| th, 7/19 | induction; set theory | chap 4, 5 |
| tu, 7/24 | set theory; relations | chap 5 (skip boolean algebra stuff), 10.1 |
| th, 7/26 | relations | chap 10.1-10.3 |
| tu, 7/31 | functions; review | chap 7 |
| th, 8/2 | midterm 2 | everything since the last midterm |
| sat, 8/4 | final exam due at 11am | everything |