-->
Monday, January 13 |
Administrivia Introduction to the course |
Syllabus (.pdf) |
Monday, January 13 (Recitation) | Introduction to the course | |
Wednesday, January 15 | Propositional Logic | |
Friday, January 17 | Propositional Logic Intro to LaTeX |
Sections 1.1—1.3 Logical Equivalences Sheet HW 01 assigned |
Monday, January 20 | No Class - MLK Day | |
Monday, January 20 (Recitation) | No Recitation - MLK Day | |
Wednesday, January 22 | Propositional Logic | |
Friday, January 24 | Propositional Logic |
HW 01 due HW 02 assigned |
Monday, January 27 | Predicate Logic | Sections 1.4, 1.5, and 1.6
|
Monday, January 27 (Recitation) | SAT lecture 1: Introduction |
SAT HW 01 assigned Recitation 2 Quiz 01 |
Wednesday, January 29 | Predicate Logic, Proofs | Sections 1.4, 1.5, 1.6 |
Friday, January 31 | Proofs | Section 1.6 HW 02 due HW 03 assigned |
Monday, February 3 | Proofs | Sections 1.5, 1.6 |
Monday, February 3 (Recitation) | SAT lecture 2: Sudoku as CNF |
SAT HW 01 due SAT HW 02 assigned Recitation 3 Quiz 02 |
Wednesday, February 5 | Proofs | Sections 1.5—1.8 |
Friday, February 7 | Proofs |
Sections 1.5, 1.6, 1.7, 1.8 HW 03 due HW 04 assigned |
Monday, February 10 | Finish Proofs | chapter 1 |
Monday, February 10 (Recitation) | SAT lecture 3: MiniSAT |
SAT HW 02 due SAT HW 03 assigned Recitation 4 Quiz 03 |
Wednesday, February 12 | Sets | Sections 2.1—2.3 |
Friday, February 14 | Sets | Sections 2.1—2.3 HW 04 due HW 05 assigned |
Monday, February 17 | Same as above | Opportunities for undergrad research (distributed in class) |
Monday, February 17 (Recitation) | SAT lecture 4: SATviz demo |
SAT HW 03 due SAT HW 04 assigned Recitation 5 Quiz 04 |
Wednesday, February 19 |
Same as above Discussion of quiz |
|
Friday, February 21 | Finish sets Make-up lecture after class |
Sections 2.1--2.2 HW 05 due HW 06 assigned |
Monday, February 24 | Functions | Sections 2.3 |
Monday, February 24 (Recitation) | SAT lecture 5: MiniSAT Propagation and Ordering |
SAT HW 04 due SAT HW 05 assigned Recitation 6 Quiz 05 |
Wednesday, February 26 | Same as above |
Correction+discussion of quiz |
Friday, February 28 | Functions | Sections 9.1, 9.3—9.5 HW 06 due HW 07 assigned |
Monday, March 2 | Finish Functions; Start Relations | Sections 9.1, 9.3—9.5 |
Monday, March 2 (Recitation) | SAT lecture 6: MiniSAT Learning and Backtracking |
SAT HW 05 due SAT HW 06 assigned Quiz 06 |
Wednesday, March 4 | Relations | Sections 9.1, 9.3—9.5 |
Friday, March 6 |
HW 07 due HW 08 assigned |
Monday, March 9 | ||
Monday, March 9 (Recitation) | SAT lecture 7: MiniSAT Watched Literals and Restarts |
SAT HW 06 due SAT HW 07 assigned Quiz 07 |
Wednesday, March 11 |
Same as above Discussion of quiz |
|
Friday, March 13 | Relations (cont.) | HW 08 due HW 09 assigned |
Monday, March 16 | Classes cancelled | |
Monday, March 16 (Recitation) | Classes cancelled | |
Wednesday, March 18 | Classes cancelled | |
Friday, March 20 | Classes cancelled |
Monday, March 23 | No Class - Spring Break | |
Monday, March 23 (Recitation) | No Class - Spring Break | |
Wednesday, March 25 | No Class - Spring Break | |
Friday, March 27 | No Class - Spring Break |
Monday, March 30 | Relations | Section 9.1, 9.3--9.5 Original slides (PPTX) Slides of videos (PPTX) Video P1: Review Video P2: Warshall Algorithm Video P3: Equivalence Relations |
Monday, March 30 (Recitation) | SAT HW 07 due |
|
Wednesday, April 1 | Partial Orders | Section 9.6 POSET-P1: Partial Orders POSET-P2: Principle of Well Ordered Induction Refresher posted on Piazza |
Friday, April 3 | Midterm |
Refresher posted on Piazza Prepare for an Exam (PPT) HW 09 due HW 10 assigned |
Monday, April 6 | Finish Partial Orders | POSET-P3: Lexicographic order POSET-P4: Hasse Diagrams POSET-P5: Extremal Elements POSET-P6: Lattices POSET-P7: Topological Sorting. |
Monday, April 6 (Recitation) | Quiz 9 | |
Wednesday, April 8 | Induction | Section 5.1, 5.2 Induction-P1 (Induction) Induction-E1 (Example 1) Induction-E2 (Example 2) Induction-E3 (Example 3) Induction-E4 (Example 4) |
Friday, April 10 | Finish Induction |
HW 10 due HW 11 assigned Induction-E5 (Example 5) Induction-E6 (Example 6) Induction-P2 (Strong Induction) Induction-E7 (Example 7) |
Monday, April 13 | Finish Induction Algorithms |
Sections 3.1—3.3 Induction-E8 (Example 8) Algorithms-P1. |
Monday, April 13 (Recitation) | Quiz 10 | |
Wednesday, April 15 | Algorithms | Sections 3.1—3.3 Algorithms-P2, Algorithms-P3, Algorithms-P4, Algorithms-P5. |
Friday, April 17 | Finish Algorithms (Asymptotics) | Sections 3.1—3.3 Asymptotics-P1 Asymptotics-P2 HW 11 due HW 12 assigned |
Monday, April 20 | Finish Asymptotics. Start Sequences and Summations |
Section 2.4 Sequences-P1 Sequences-P2 |
Monday, April 20 (Recitation) |
Quiz 11 |
|
Wednesday, April 22 | Recursion |
Sections 8.1, 8.2, 8.3 Recursion-P1 Recursion-P2 Recursion-P3 |
Friday, April 24 | Recursion | Sections 8.1, 8.2, 8.3 Recursion-P4 Recursion-P5 Recursion-P6 HW 12 due HW 13 assigned |
Monday, April 27 | Combinatorics | Sections 6.1—6.6 and Sections 8.5-8.6 Master Theorem Combinatorics-1 Combinatorics-2. |
Monday, April 27 (Recitation) | Quiz 12 | |
Wednesday, April 29 | Combinatorics |
Sections 6.1—6.6 and Sections 8.5-8.6 Combinatorics-3 Combinatorics-4 |
Friday, May 1 | Combinatorics/Review |
Combinatorics-5 Combinatorics-6 HW 13 due NOTE: Please complete course evaluation ASAP. |
Monday, May 4 | Final | 3:30 P.M.—5:30 P.M. |