-->
Monday, January 7 |
Administrivia Introduction to the course |
Syllabus (.pdf) |
Monday, January 7 (Recitation) | Introduction to the course | |
Wednesday, January 9 | Propositional Logic | |
Friday, January 11 | Propositional Logic Intro to LaTeX |
Sections 1.1—1.3 Logical Equivalences Sheet HW 01 assigned |
Monday, January 14 | Propositional Logic | |
Monday, January 14 (Recitation) | SAT lecture 1: Introduction |
SAT HW 01 assigned Recitation 2 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 - MLK Day | |
Monday, January 21 (Recitation) | No Recitation - MLK Day | |
Wednesday, January 23 | Predicate Logic, Proofs | Sections 1.4, 1.5, 1.6 |
Friday, January 25 | Proofs | Section 1.6 HW 02 due HW 03 assigned |
Monday, January 28 | Proofs | Sections 1.5, 1.6 |
Monday, January 28 (Recitation) | SAT lecture 2: Sudoku as CNF |
SAT HW 01 due SAT HW 02 assigned Recitation 3 Quiz 02 |
Wednesday, January 30 | Proofs | Sections 1.5—1.8 |
Friday, February 1 | Proofs |
Sections 1.5, 1.6, 1.7, 1.8 HW 03 due HW 04 assigned |
Monday, February 4 | Finish Proofs | chapter 1 |
Monday, February 4 (Recitation) | SAT lecture 3: MiniSAT |
SAT HW 02 due SAT HW 03 assigned Recitation 4 Quiz 03 |
Wednesday, February 6 | Sets | Sections 2.1—2.3 |
Friday, February 8 | Sets | Sections 2.1—2.3 HW 04 due HW 05 assigned |
Monday, February 11 | Same as above | Opportunities for undergrad research (distributed in class) |
Monday, February 11 (Recitation) | SAT lecture 4: SATviz demo |
SAT HW 03 due SAT HW 04 assigned Recitation 5 Quiz 04 |
Wednesday, February 13 |
Same as above Discussion of quiz |
|
Friday, February 15 | Finish sets Help session after class |
Sections 2.1--2.2 HW 05 due HW 06 assigned |
Monday, February 18 | Functions | Sections 2.3 |
Monday, February 18 (Recitation) | SAT lecture 5: MiniSAT Propagation and Ordering |
SAT HW 04 due SAT HW 05 assigned Recitation 6 Quiz 05 |
Wednesday, February 20 | Class cancelled for inclement weather | |
Friday, February 22 | Functions Correction+discussion of quiz Help session after class |
Sections 9.1, 9.3—9.5 Cancelled HW 07 assigned |
Monday, February 25 | Finish Functions; Start Relations | Sections 9.1, 9.3—9.5 |
Monday, February 25 (Recitation) | SAT lecture 6: MiniSAT Learning and Backtracking |
SAT HW 05 due SAT HW 06 assigned Quiz 06 |
Wednesday, February 27 | Relations | Sections 9.1, 9.3—9.5 |
Friday, March 1 |
HW 07 due HW 08 assigned |
Monday, March 4 | ||
Monday, March 4 (Recitation) | SAT lecture 7: MiniSAT Watched Literals and Restarts |
SAT HW 06 due SAT HW 07 assigned Quiz 07 |
Wednesday, March 6 |
Same as above Discussion of quiz |
|
Friday, March 8 | Relations (cont.) | HW 08 due |
Monday, March 11 | Same as above |
HW 09 assigned Deadline for submitting a UCARE proposal |
Monday, March 11 (Recitation) | Review for Midterm, prepare all your questions | Quiz 08 |
Wednesday, March 13 | Midterm | How to Prepare for an Exam (PPT) |
Friday, March 15 | Relations (finish) |
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 | Partial Orders | Section 9.6 | |
Monday, March 25 (Recitation) |
SAT HW 07 due |
||
Wednesday, March 27 | |||
Friday, March 29 | Induction | Section 5.1, 5.2 HW 09 due HW 10 assigned |
Monday, April 1 | Finish Induction | |
Monday, April 1 (Recitation) | Quiz 9 | |
Wednesday, April 3 | ||
Friday, April 5 | Algorithms, Asymptotics | Sections 3.1—3.3 HW 10 due HW 11 assigned |
Monday, April 8 | ||
Monday, April 8 (Recitation) | Quiz 10 | |
Wednesday, April 10 | ||
Friday, April 12 | Finish Asymptotics | Sections 3.1—3.3 HW 11 due HW 12 assigned |
Monday, April 15 | Finish Asymptotics. Start Sequences and Summations | Section 2.4 |
Monday, April 15 (Recitation) | Lecture, quiz delayed till Wed | |
Wednesday, April 17 |
Quiz 11 |
|
Friday, April 19 | Recursion | Sections 8.1, 8.2, 8.3 HW 12 due HW 13 assigned |
Monday, April 22 | Combinatorics | Sections 6.1—6.6 and Sections 8.5-8.6 |
Monday, April 22 (Recitation) | Review | |
Wednesday, April 24 | |
|
Friday, April 26 | Combinatorics |
HW 13 due NOTE: Please complete course evaluation ASAP. |
Wednesday, May 1 | Final | 3:30 P.M.—5:30 P.M. |