| Monday, January 9 |
Administrivia Introduction |
Syllabus (.pdf) |
| Monday, January 9 (Recitation) |
Intro to LaTeX |
|
| Wednesday, January 11 | Introduction to the course | |
| Friday, January 13 | Propositional Logic | Sections 1.1—1.3 Logical Equivalences Sheet HW 01 assigned |
| Monday, January 16 | No Class - MLK Day | |
| Monday, January 16 (Recitation) | No recitation - MLK Day | |
| Wednesday, January 18 | Propositional Logic | |
| Friday, January 20 |
HW 01 due HW 02 assigned |
| Monday, January 23 | Proofs | Sections 1.6 |
| Monday, January 23 (Recitation) | SAT lecture 1: Introduction |
SAT HW 01 assigned Recitation 2 Quiz 01 |
| Wednesday, January 25 | Same as above | |
| Friday, January 27 | Proofs, Predicate Logic |
1.4, 1.5, 1.6 HW 02 due HW 03 assigned |
| Monday, January 30 | ||
| Monday, January 30 (Recitation) | SAT lecture 2: Sudoku as CNF |
SAT HW 01 due SAT HW 02 assigned Recitation 3 Quiz 02 |
| Wednesday, February 1 | ||
| Friday, February 3 | Proofs |
Sections 1.5, 1.6, 1.7, 1.8
HW 03 due HW 04 assigned |
| Monday, February 6 | Finish Proofs | chapter 1 |
| Monday, February 6 (Recitation) |
Recitation 4 Quiz 03 |
|
| Wednesday, February 8 | Q&A, discussion about proofs, examples | |
| Friday, February 10 | Sets | Sections 2.1—2.3 HW 04 due HW 05 assigned List of CSE faculty for ugrad research |
| Monday, February 13 | ||
| Monday, February 13 (Recitation) | SAT lecture 3: MiniSAT |
SAT HW 02 due SAT HW 03 assigned Recitation 5 Quiz 04 |
| Wednesday, February 15 | ||
| Friday, February 17 | Finish sets, start Functions | Sections 2.1--2.3 HW 05 due HW 06 assigned |
| Monday, February 20 | ||
| Monday, February 20 (Recitation) |
SAT HW 03 due Recitation 6 Quiz 04 Encore |
|
| Wednesday, February 22 | |
|
| Friday, February 24 | |
| Monday, February 27 | Relations | Sections 9.1, 9.3—9.5 HW 06 due HW 06 Encore assigned |
| Monday, February 27 (Recitation) | SAT lecture 4: SATviz demo |
SAT HW 04 assigned Quiz 05 |
| Wednesday, March 1 | ||
| Friday, March 3 |
Deadline for submitting a UCARE proposal HW 06 Encore due HW 07 assigned |
| Monday, March 6 | ||
| Monday, March 6 (Recitation) | SAT lecture 5: MiniSAT Propagation and Ordering |
SAT HW 04 due SAT HW 05 assigned Quiz 06 |
| Wednesday, March 8 | ||
| Friday, March 10 | Partial Orders | Section 9.6 HW 07 due HW 08 assigned |
| Monday, March 13 | | |
| Monday, March 13 (Recitation) | Review for Midterm, prepare all your questions | Update: Quiz 07 |
| Wednesday, March 15 | Midterm | |
| Friday, March 17 | Class cancelled, enjoy Spring Break | |
| Monday, March 20 | No Class - Spring Break | |
| Monday, March 20 (Recitation) | No Class - Spring Break | |
| Wednesday, March 22 | No Class - Spring Break | |
| Friday, March 24 | No Class - Spring Break |
| Monday, March 27 | HW 08 due HW 09 assigned |
|
| Monday, March 27 (Recitation) | SAT lecture 6: MiniSAT Learning and Backtracking |
SAT HW 05 due SAT HW 06 assigned No quiz today |
| Wednesday, March 29 | ||
| Friday, March 31 | Induction | Section 5.1, 5.2 |
| Monday, April 3 |
HW 09 due HW 10 assigned |
|
| Monday, April 3 (Recitation) | SAT lecture 7: MiniSAT Watched Literals and Restarts |
SAT HW 06 due SAT HW 07 assigned Quiz 08 |
| Wednesday, April 5 | Algorithms, Asymptotics | Sections 3.1—3.3 |
| Friday, April 7 |
| Monday, April 10 |
HW 10 due HW 11 assigned |
|
| Monday, April 10 (Recitation) |
SAT HW 07 due Quiz 09 |
|
| Wednesday, April 12 | ||
| Friday, April 14 | Finish Asymptotics; Start Sequences and Summations | Sections 3.1—3.3 & Section 2.4 |
| Monday, April 17 | Sequences and Summations |
Section 2.4 HW 11 due HW 12 assigned |
| Monday, April 17 | Recursion, Section 8.1, 8.2 |
Quiz 10 |
| Wednesday, April 19 | Recursion | Section 8.1, 8.2, 8.3 |
| Friday, April 21 |
| Monday, April 24 | Combinatorics | Sections 6.1—6.6 and Sections 8.5-8.6 HW 12 due |
|
| Monday, April 24 (Recitation) | Review | Quiz 11 | |
| Wednesday, April 26 | |
||
| Friday, April 28 | Review/Q&A session. | NOTE: Please complete course evaluation ASAP. |
| Wednesday, May 3 | Final | 10:00 A.M.—12:00 P.M. |