| Monday, January 23 |
Administrivia Introduction to the course |
Syllabus (.pdf) |
| Monday, January 23 (Recitation) | Intro to Piazza (PDF) | |
| Wednesday, January 25 | ||
| Friday, January 27 | Propositional Logic Intro to LaTeX |
Sections 1.1—1.3 Logical Equivalences Sheet HW 01 assigned |
| Monday, January 30 | Propositional Logic | |
| Monday, January 30 (Recitation) | SAT lecture 1: Introduction |
SAT HW 01 assigned Recitation 2 |
| Wednesday, February 1 | Propositional Logic | |
| Friday, February 3 | Propositional Logic |
HW 01 due HW 02 assigned |
| Monday, February 6 | Predicate Logic | Sections 1.4, 1.5, and 1.6
|
| Monday, February 6 (Recitation) | SAT Lecture 2: Sudoku as CNF |
SAT HW 01 due SAT HW 02 assigned Recitation 3 Quiz |
| Wednesday, February 8 | Predicate Logic, Proofs | Sections 1.4, 1.5, 1.6 |
| Friday, February 10 | Proofs | Section 1.6 HW 02 due HW 03 assigned |
| Monday, February 13 | Proofs | Sections 1.5, 1.6 |
| Monday, February 13 (Recitation) | SAT Lecture 3: MiniSAT |
SAT HW 02 due SAT HW 03 assigned Recitation 4 Quiz |
| Wednesday, February 15 | Proofs | Sections 1.5—1.6 |
| Friday, February 17 | Proofs |
Sections 1.5, 1.6, 1.7, 1.8 HW 03 due HW 04 assigned |
| Monday, February 20 | Finish Proofs |
chapter 1 |
| Monday, February 20 (Recitation) | SAT Lecture 4: SATviz Demo |
SAT HW 03 due SAT HW 04 assigned Recitation 5 Quiz |
| Wednesday, February 22 | Sets |
Sections 2.1—2.3
|
| Friday, February 24 | Sets | Sections 2.1—2.3 HW 04 Due HW 05 assigned |
| Monday, February 27 | Same as above | Opportunities for undergrad research (distributed in class) |
| Monday, February 27 (Recitation) | SAT lecture 5: MiniSAT Propagation and Ordering |
Recitation 6 Quiz |
| Wednesday, March 1 |
Same as above Discussion of quiz |
|
| Friday, March 3 | Finish sets |
Sections 2.1--2.2 HW 05 due HW 06 assigned |
| Monday, March 6 | Functions | Sections 2.3 |
| Monday, March 6 (Recitation) | SAT Lecture 6: MiniSAT Learning and Backtracking |
SAT HW 04 due SAT HW 05 assigned Recitation 7 Quiz |
| Wednesday, March 8 | Same as above |
Correction+discussion of quiz |
| Friday, March 10 | Functions | Sections 9.1, 9.3—9.5 HW 06 due HW 07 assigned |
| Monday, March 13 | No Class - Spring Break | |
| Wednesday, March 15 | No Class - Spring Break | |
| Friday, March 17 | No Class - Spring Break |
| Monday, March 20 | Finish Functions | Sections 9.1, 9.3—9.5 |
| Monday, March 20 (Recitation) | Review for Midterm Please prepare questions |
SAT HW 05 due SAT HW 06 assigned Refresher distributed in class |
| Wednesday, March 22 | Finish Functions Review for Midterm |
|
| Friday, March 24 | Midterm |
Prepare for an Exam (PPT) HW 07 due HW 08 assigned |
| Monday, March 27 | Relations | Section 9.1, 9.3--9.5 Slides (PPTX) |
| Monday, March 27 (Recitation) |
SAT HW 06 due SAT HW 07 assigned Quiz |
|
| Wednesday, March 29 | Partial Orders | Section 9.6 |
| Friday, March 31 | Same as above |
HW 08 due HW 09 assigned |
| Monday, April 3 | Finish Partial Orders | |
| Monday, April 3 (Recitation) | Quiz |
|
| Wednesday, April 5 | Induction | Section 5.1, 5.2 |
| Friday, April 7 | Finish Induction |
HW 09 due HW 10 assigned |
| Monday, April 10 | Finish Induction Algorithms |
Sections 3.1—3.3 |
| Monday, April 10 (Recitation) |
Quiz SAT HW 07 due |
|
| Wednesday, April 12 | Algorithms | Sections 3.1—3.3 |
| Friday, April 14 | Finish Algorithms (Asymptotics) | Sections 3.1—3.3 HW 10 due HW 11 assigned |
| Monday, April 17 | Finish Asymptotics. Start Sequences and Summations |
Section 2.4 |
| Monday, April 17 (Recitation) |
Quiz |
|
| Wednesday, April 19 | Recursion |
Sections 8.1, 8.2, 8.3 |
| Friday, April 21 | Recursion | Sections 8.1, 8.2, 8.3 HW 11 due HW12 assigned |
| Monday, April 24 | Combinatorics | Sections 6.1—6.6 and Sections 8.5-8.6 |
| Monday, April 24 (Recitation) | Quiz | |
| Wednesday, April 26 | Combinatorics |
Sections 6.1—6.6 and Sections 8.5-8.6 |
| Friday, April 28 | Combinatorics/Review | HW12 due HW13 assigned |
| Monday, May 1 | Combinatorics | Sections 6.1—6.6 and Sections 8.5-8.6 |
| Monday, May 1 (Recitation) | Quiz | |
| Wednesday, May 3 | Combinatorics |
Sections 6.1—6.6 and Sections 8.5-8.6 |
| Friday, May 5 | Combinatorics/Review |
HW13 due NOTE: Please complete course evaluation ASAP. |
| Monday, May 8 | Combinatorics | Sections 6.1—6.6 and Sections 8.5-8.6 |
| Monday, May 8 (Recitation) | Quiz | |
| Wednesday, May 10 | Combinatorics |
Sections 6.1—6.6 and Sections 8.5-8.6 HW14 (bonus) due |
| Friday, May 12 | Final review |
| Monday, May 15 | No Class | |
| Monday, May 15 (Recitation) | No Class | |
| Wednesday, May 17 | Final Exam @ 3:30 | |
| Friday, May 19 | No Class |