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