Day | Date | Topics | Homework Due |
Monday | Jan 4 | 1.1 Propositions (av)(aud) | |
Tuesday | Jan 5 | Discussion | Quiz 1 |
Wednesday | Jan 6 | 1.2 Conditionals (av)(aud) | 1.1.1, 1.1.3dhj, 1.1.6, 1.1.7aeg. |
Friday | Jan 8 | 1.3 Quantifiers (av)(aud) | 1.2.7.de, 1.2.10.bd, 1.2.12.d, 1.2.15bd. |
Monday | Jan 11 | 1.4 Direct Proofs (av)(aud) | 1.3.1.fg, 1.3.4(the first 5 of 7 'Other important properties'), 1.3.7, 1.3.10ab. |
Tuesday | Jan 12 | Discussion | Quiz 2 |
Wednesday | Jan 13 | 1.5 Indirect Proofs (av)(aud) | 1.4.5.c, 1.4.7.d, 1.4.9.d, 1.4.11.bde. |
Friday | Jan 15 | 1.6 Quantifiers in Proofs (av)(aud) | 1.5.3.f, 1.5.6.e, 1.5.9, 1.5.12.ace. |
Monday | Jan 18 | MLK DAY: No Lecture | |
Tuesday | Jan 19 | Discussion | Quiz 3 |
Wednesday | Jan 20 | 1.7 Proof Planning (av)(aud) | 1.6.2.d, 1.6.4.d, 1.6.6.d, 1.6.9.efg. |
Friday | Jan 22 | 1.8 Common Divisors (av)(aud) | 1.5.10, 1.6.4.i, 1.7.5.e, 1.7.11.adg. |
Monday | Jan 25 | 1.8 Division Algorithm(av)(aud) | 1.8.7.ac, 1.8.17.e, 1.8.21.cdf. |
Tuesday | Jan 26 | Discussion | Quiz 4 |
Wednesday | Jan 27 | 2.1 Set Notation (av)(aud) | 1.8.6.cd, 1.8.10, 1.8.13, 1.8.21.abg. |
Friday | Jan 29 | 2.2 Set Operations (av)(aud) | 2.1.6.ef, 2.1.11.c, 2.1.12, 2.1.13, 2.1.19.bdf. |
Monday | Feb 1 | 2.3 Families (av)(aud) | 2.2.1.j, 2.2.2.i, 2.2.9.e, 2.2.10.d, 2.2.11.df, 2.2.20.abc. |
Tuesday | Feb 2 | Discussion | Quiz 5 |
Wednesday | Feb 3 | 2.4 Induction (av)(aud) | 2.3.4.ab, 2.3.7.b, 2.3.10.b, 2.3.13, 2.3.19.bcd. |
Friday | Feb 5 | 2.5 More Induction (av)(aud) | 2.4.4.cj, 2.4.5.g, 2.4.6.b, 2.4.12.ace. |
Monday | Feb 8 | Review (av)(aud) | 2.5.1.a, 2.5.3, 2.5.7.b, 2.5.12, 2.5.14.cde. |
Tuesday | Feb 9 | Discussion | Quiz 6 |
Wednesday | Feb 10 | Midterm | 1.3.10.ijk, 1.8.12, 2.3.9.d, 2.4.5.i.(Feel free to turn in Friday) |
Friday | Feb 12 | 3.1 Relations (av)(aud) | |
Monday | Feb 15 | PRES DAY: No Lecture | |
Tuesday | Feb 16 | Discussion | Quiz 7 |
Wednesday | Feb 17 | 3.2 Equivalence (av)(aud) | 3.1.7.adg, 3.1.10.abc, 3.1.11.bc, 3.1.12.b, 3.1.17.abc. |
Friday | Feb 19 | 3.3 Partitions (av)(aud) | 3.2.1.bgi, 3.2.2.g, 3.2.3.g, 3.2.4.a, 3.2.8.bc, 3.2.19.abc. |
Monday | Feb 22 | 3.4 Modular (av)(aud) | 3.2.6.be, 3.3.7.a, 3.3.10.a, 3.3.11, 3.3.15.abc. |
Tuesday | Feb 23 | Discussion | Quiz 8 |
Wednesday | Feb 24 | 4.1 Functions (av)(aud) | 3.4.1.hjkl, 3.4.2.hjkl, 3.4.3, 3.4.4, 3.4.5, 3.4.12.abc. |
Friday | Feb 26 | 4.2 More Functions (av)(aud) | 4.1.1, 4.1.2, 4.1.6.bd, 4.1.18.ab, 4.1.19.cd. |
Monday | Mar 1 | 4.3 In/Sur jectivity (av)(aud) | 4.1.14.d, 4.1.15.d, 4.2.2.de, 4.2.5.b, 4.2.6, 4.2.13, 4.2.19.bce. |
Tuesday | Mar 2 | Discussion | Quiz 9 |
Wednesday | Mar 3 | 4.4 Bijections (av)(aud) | 4.3.1.em, 4.3.2.em, 4.3.6, 4.3.9.bf, 4.3.12.b, 4.3.15.cfj. |
Friday | Mar 5 | 4.4 More Bijections (av)(aud) | 4.4.1.g, 4.4.2.ab, 4.4.3.e, 4.4.5.ab, 4.4.6, 4.4.10.abe. |
Monday | Mar 8 | 5.1 Cardinality (av)(aud) | 4.4.1.cf, 4.4.2.cd, 4.4.3.d, 4.4.7.bcd, 4.4.8, 4.4.10.cd. |
Tuesday | Mar 9 | Discussion | Quiz 10 |
Wednesday | Mar 10 | 5.2, 5.3, 5.4 Infinities (av)(aud) | 5.1.1, 5.1.4, 5.1.5, 5.1.8.a, 5.1.13, 5.1.22.bd. |
Friday | Mar 12 | Review (av)(aud) | 5.2.6.b, 5.2.12.dg, 5.3.14.abc, 5.3.16.e, 5.4.5, 5.4.9.bc. |
| | Final Exam | Cumulative |