| Monday January 9 |
Administrivia Introduction |
Syllabus (.pdf) |
| Monday January 9 (Recitation) |
Intro to LaTeX Intro to Piazza (PDF) |
|
| Wednesday January 12 | Introduction to the course | Fill out form of Pre-Requisite Check, and return to class |
| Friday January 14 | Propositional Logic | Sections 1.1—1.3 Logical Equivalences Sheet HW 01 assigned |
| Monday January 16 | No Class - Matin Luther King Day | |
| Monday January 16 (Recitation) | No Recitation - Matin Luther King Day | |
| Wednesday January 18 | Propositional Logic | |
| Friday January 20 | Propositional Logic |
HW 01 due HW 02 assigned |
| Monday January 23 | Predicate Logic | Sections 1.4, 1.5, and 1.6 |
| Monday January 23 (Recitation) | Quiz 01 | |
| Wednesday January 25 | Predicate Logic | Sections 1.4, 1.5, 1.6 |
| Friday January 27 |
HW 02 due HW 03 assigned |
| Monday January 30 | Finish Predicate Logic; start Proofs | Sections 1.6--1.8 |
| Monday January 30 (Recitation) | Quiz 02 | |
| Wednesday February 1 | Proofs | Sections 1.6—1.8 |
| Friday February 3 |
HW 03 due HW 04 assigned |
| Monday February 6 | ||
| Monday February 6 (Recitation) | Quiz 03 | |
| Wednesday February 8 | Finish Proofs; start Sets. | Section 2.1—2.3 |
| Friday February 10 | Sets |
HW 04 due HW 05 assigned |
| Monday February 13 | ||
| Monday February 13 (Recitation) | Review for Midterm 1 | Quiz 04 |
| Wednesday February 15 | Finish Sets, Start Functions | Section 2.3 Midterm I Postponed until Monday, February 20 |
| Friday February 17 | Functions | HW 05 due |
| Friday February 17(Review Session) | Avery 19, 3:30PM - 4:30 PM | Review for Midterm 1 |
| Monday February 20 | ||
| Monday February 20 (Recitation) | Midterm I during first recitation | 3:30 — 4:20pm |
| Wednesday February 22 | Finish Functions; Start Relations | Sections 9.1, 9.3—9.5 |
| Friday February 24 | Relations | Sections 9.1, 9.3—9.5 HW 06 assigned |
| Monday February 27 | Relations | Sections 9.1, 9.3—9.5 |
| Monday February 27 (Recitation) | Quiz 05 | |
| Wednesday February 29 | Relations: Warshall algorithm | |
| Friday March 2 |
HW 06 due HW 07 assigned |
| Monday March 5 | ||
| Monday March 5 (Recitation) | Quiz 06 | |
| Wednesday March 7 | Partial Orders | Section 9.6 |
| Friday March 9 | Partial Orders | Section 9.6 HW 07 due HW 08 assigned |
| Monday March 12 | Partial Orders | Section 9.6 |
| Monday March 12 (Recitation) | Quiz 07 | |
| Wednesday March 14 | Induction | Section 5.1, 5.2 |
| Friday March 16 | Induction |
Section 5.1, 5.2 HW 08 due HW 09 assigned |
| Monday March 19 | No Class - Spring Break | |
| Monday March 19 (Recitation) | No Class - Spring Break | |
| Wednesday March 21 | No Class - Spring Break | |
| Friday March 23 | No Class - Spring Break |
| Monday March 26 | ||
| Monday March 26 (Recitation) | Questions on Midterm II | Quiz 08 |
| Friday March 30 | Finish Induction |
HW 09 due HW 10 assigned |
| Monday April 2 | Algorithms, Asymptotics | Sections 3.1—3.3 |
| Monday April 2 (Recitation) | Midterm II | |
| Wednesday April 4 | ||
| Friday April 6 |
HW 10 due HW 11 assigned |
| Monday April 9 | Asymptotics | Sections 3.1—3.3 |
| Monday April 9 (Recitation) | Quiz 09 | |
| Wednesday April 11 | ||
| Friday April 13 | No class - E-Week Open House |
HW 11 due HW 12 assigned |
| Monday April 16 | Finish Sequences and Summations; Start Recurrence |
Sections 8.1 and 8.2 |
| Monday April 16 |
Quiz 10 |
|
| Wednesday April 18 | ||
| Friday April 20 |
HW 12 due HW 13 (Bonus) assigned |
| Monday April 23 | ||||
| Monday April 23 (Recitation) | Review | Quiz 11 Remember to take PAT |
||
| Wednesday April 25 | Combinatorics | Sections 6.1—6.6 and Sections 8.5-8.6 |
HW 13 (Bonus) due Last chance to take PAT |
|
| Friday April 27 | Review/Q&A session. | In classroom |
| Monday, April 30th | Final | 3:30—5:30 PM in Avery 106 |