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.12.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.58.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. 