Schedule

September
Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
25	26	27	28 Lecture Propositional Logic Rosen 1.1 14:30-15:30 OH (Danny) CSE 2nd floor breakout 16:30-17:30 OH (Youssef) CSE 4th floor breakout	29 Section Propositional Logic Problems and Solutions (see esp. 2c, 2d, 4c, 6a, 7) 17:00-18:00 OH (Mitchell) CSE2 121 18:00-19:00 OH (Sparsh) CSE2 121	30 Lecture Translation and Circuits Rosen 12.3 14:30-15:30 OH (Shreya) CSE2 121 15:30-16:30 OH (Kevin) CSE 436	01

October
Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
02 19:00-21:00 OH (Adina) Zoom (queue)	03 Lecture Equivalences Rosen 1.3 11:30-12:30 OH (Jacob, Davin, & Grace) CSE 3rd floor breakout 15:00-17:00 OH (Claire & Aria) CSE 4th floor breakout 16:30-17:30 OH (Kevin) CSE 436 17:30-18:30 OH (Angela) CSE2 131 18:30-19:30 OH (Yusuf) CSE2 131 19:00-20:30 OH (Cypress) Zoom (queue)	04 10:30-11:30 OH (Tom) CSE 220 11:30-12:30 OH (Thalia) CSE2 153 12:30-13:30 OH (Danny) CSE2 121 13:30-14:30 OH (James) CSE 440 or Zoom 15:00-16:00 OH (Yadi) CSE 2nd floor breakout	05 Lecture Boolean Algebra Rosen 12.1 14:30-15:30 OH (Danny) CSE 2nd floor breakout 16:30-17:30 OH (Youssef) CSE 4th floor breakout	06 Section Equivalences Problems and Solutions (see esp. 3a, 4, 6, 8b, 7a) 17:00-18:00 OH (Mitchell) CSE2 121 18:00-19:00 OH (Sparsh) CSE2 121	07 Lecture Canonical Forms Rosen 12.2 12:30-13:30 OH (Kenny & Raymond) CSE 4th floor breakout 14:30-15:30 OH (Shreya) CSE2 121 14:30-15:30 OH (Ben) CSE2 131 15:30-16:30 OH (Kevin) CSE 436 16:00-17:00 OH (Yusuf) CSE2 152 16:30-17:30 OH (Alysa) CSE2 121	08
09 19:00-21:00 OH (Adina) Zoom (queue)	10 Lecture Predicate Logic Rosen 1.4-1.5 11:30-12:30 OH (Jacob, Davin, & Grace) CSE 3rd floor breakout 15:00-17:00 OH (Claire & Aria) CSE 4th floor breakout 16:30-17:30 OH (Kevin) CSE 436 17:30-18:30 OH (Angela) CSE2 131 18:30-19:30 OH (Yusuf) CSE2 131 19:00-20:30 OH (Cypress) Zoom (queue) 23:00 HW1 due	11 10:30-11:30 OH (Tom) CSE 220 11:30-12:30 OH (Thalia) CSE2 153 12:30-13:30 OH (Danny) CSE2 121 13:30-14:30 OH (James) CSE 440 or Zoom 15:00-16:00 OH (Yadi) CSE 2nd floor breakout	12 Lecture Proofs for Propositional Logic Rosen 1.6 14:30-15:30 OH (Danny) CSE 2nd floor breakout 16:30-17:30 OH (Youssef) CSE 4th floor breakout	13 Section Predicate Logic and Inference Problems and Solutions (see esp. 1, 3a, 3d, 4a, 4c, 7) 17:00-18:00 OH (Mitchell) CSE2 121 18:00-19:00 OH (Sparsh) CSE2 121	14 Lecture Proofs for Predicate Logic Rosen 1.6 12:30-13:30 OH (Kenny & Raymond) CSE 4th floor breakout 14:30-15:30 OH (Shreya) CSE2 121 14:30-15:30 OH (Ben) CSE2 131 15:30-16:30 OH (Kevin) CSE 436 16:00-17:00 OH (Yusuf) CSE2 152 16:30-17:30 OH (Alysa) CSE2 121	15
16 19:00-21:00 OH (Adina) Zoom (queue)	17 Lecture English Proofs Rosen 1.7-1.8 11:30-12:30 OH (Jacob, Davin, & Grace) CSE 3rd floor breakout 15:00-17:00 OH (Claire & Aria) CSE 4th floor breakout 16:30-17:30 OH (Kevin) CSE 436 17:30-18:30 OH (Angela) CSE2 131 18:30-19:30 OH (Yusuf) CSE2 131 19:00-20:30 OH (Cypress) Zoom (queue) 23:00 HW2 due	18 10:30-11:30 OH (Tom) CSE 220 11:30-12:30 OH (Thalia) CSE2 153 12:30-13:30 OH (Danny) CSE2 121 13:30-14:30 OH (James) CSE 440 or Zoom 15:00-16:00 OH (Yadi) CSE 2nd floor breakout	19 Lecture Number Theory Rosen 4.1 14:30-15:30 OH (Danny) CSE 2nd floor breakout 16:30-17:30 OH (Youssef) CSE 4th floor breakout	20 Section English Proofs and Set Theory Problems and Solutions (see esp. 1, 3a, 3c, 5, 6) 17:00-18:00 OH (Mitchell) CSE2 121 18:00-19:00 OH (Sparsh) CSE2 121	21 Lecture Modular Arithmetic and Applications Rosen 4.1 12:30-13:30 OH (Kenny & Raymond) CSE 4th floor breakout 14:30-15:30 OH (Shreya) CSE2 121 14:30-15:30 OH (Ben) CSE2 131 15:30-16:30 OH (Kevin) CSE 436 16:00-17:00 OH (Yusuf) CSE2 152 16:30-17:30 OH (Alysa) CSE2 121	22
23 19:00-21:00 OH (Adina) Zoom (queue)	24 Lecture Primes and GCD Rosen 4.3.1-2, 4.3.6 11:30-12:30 OH (Jacob, Davin, & Grace) CSE 3rd floor breakout 15:00-17:00 OH (Claire & Aria) CSE 4th floor breakout 16:30-17:30 OH (Kevin) CSE 436 17:30-18:30 OH (Angela) CSE2 131 18:30-19:30 OH (Yusuf) CSE2 131 19:00-20:30 OH (Cypress) Zoom (queue) 23:00 HW3 due	25 10:30-11:30 OH (Tom) CSE 220 11:30-12:30 OH (Thalia) CSE2 153 12:30-13:30 OH (Danny) CSE2 121 13:30-14:30 OH (James) CSE 440 or Zoom 15:00-16:00 OH (Yadi) CSE 2nd floor breakout	26 Lecture Euclidean Algorithm and Modular Equations Rosen 4.3.7-8, 4.4.2 14:30-15:30 OH (Danny) CSE 2nd floor breakout 16:30-17:30 OH (Youssef) CSE 4th floor breakout	27 Section Number Theory Problems and Solutions (see esp. 2, 3, 7) 17:00-18:00 OH (Mitchell) CSE2 121 18:00-19:00 OH (Sparsh) CSE2 121	28 Lecture Set Theory Rosen 2.1-2.3 12:30-13:30 OH (Kenny & Raymond) CSE 4th floor breakout 14:30-15:30 OH (Shreya) CSE2 121 14:30-15:30 OH (Ben) CSE2 131 15:30-16:30 OH (Kevin) CSE 436 16:00-17:00 OH (Yusuf) CSE2 152 16:30-17:30 OH (Alysa) CSE2 121	29
30 19:00-21:00 OH (Adina) Zoom (queue)	31 Lecture Set Theory and Induction Rosen 5.1 11:30-12:30 OH (Jacob, Davin, & Grace) CSE 3rd floor breakout 15:00-17:00 OH (Claire & Aria) CSE 4th floor breakout 16:30-17:30 OH (Kevin) CSE 436 17:30-18:30 OH (Angela) CSE2 131 18:30-19:30 OH (Yusuf) CSE2 131 19:00-20:30 OH (Cypress) Zoom (queue) 23:00 HW4 due	01 10:30-11:30 OH (Tom) CSE 220 11:30-12:30 OH (Thalia) CSE2 153 12:30-13:30 OH (Danny) CSE2 121 13:30-14:30 OH (James) CSE 440 or Zoom 15:00-16:00 OH (Yadi) CSE 2nd floor breakout	02 Lecture Induction Rosen 5.2 14:30-15:30 OH (Danny) CSE 2nd floor breakout 16:30-17:30 OH (Youssef) CSE 4th floor breakout	03 Section Set Theory and Induction Problems and Solutions (see esp. 2c, 3, 8) 17:00-18:00 OH (Mitchell) CSE2 121 18:00-19:00 OH (Sparsh) CSE2 121	04 Lecture Strong Induction and Recursively Defined Functions Rosen 5.2-3 12:30-13:30 OH (Kenny & Raymond) CSE 4th floor breakout 14:30-15:30 OH (Shreya) CSE2 121 14:30-15:30 OH (Ben) CSE2 131 15:30-16:30 OH (Kevin) CSE 436 16:00-17:00 OH (Yusuf) CSE2 152 16:30-17:30 OH (Alysa) CSE2 121	05

November
Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
06 19:00-21:00 OH (Adina) Zoom (queue)	07 Lecture Recursively Defined Sets and Structural Induction Rosen 5.3 11:30-12:30 OH (Jacob, Davin, & Grace) CSE 3rd floor breakout 15:00-17:00 OH (Claire & Aria) CSE 4th floor breakout 16:30-17:30 OH (Kevin) CSE 436 17:30-18:30 OH (Angela) CSE2 131 18:30-19:30 OH (Yusuf) CSE2 131 19:00-20:30 OH (Cypress) Zoom (queue) 23:00 HW5 due	08 10:30-11:30 OH (Tom) CSE 220 11:30-12:30 OH (Thalia) CSE2 153 12:30-13:30 OH (Danny) CSE2 121 13:30-14:30 OH (James) CSE 440 or Zoom 15:00-16:00 OH (Yadi) CSE 2nd floor breakout	09 Lecture More Structural Induction Rosen 5.3 14:30-15:30 OH (Danny) CSE 2nd floor breakout 16:30-17:30 OH (Youssef) CSE 4th floor breakout	10 Section Midterm Review and Induction Problems and Solutions (see esp. 1, 3, 4a) 17:00-18:00 OH (Mitchell) CSE2 121 18:00-19:00 OH (Sparsh) CSE2 121	11 Veteran's Day	12
13 19:00-21:00 OH (Adina) Zoom (queue)	14 10:30-11:20 Midterm exam A 11:30-12:30 OH (Jacob, Davin, & Grace) CSE 3rd floor breakout 13:30-14:20 Midterm exam B 15:00-17:00 OH (Claire & Aria) CSE 4th floor breakout 17:30-18:30 OH (Angela) CSE2 131 18:30-19:30 OH (Yusuf) CSE2 131 19:00-20:30 OH (Cypress) Zoom (queue)	15 10:30-11:30 OH (Tom) CSE 220 11:30-12:30 OH (Thalia) CSE2 153 12:30-13:30 OH (Danny) CSE2 121 13:30-14:30 OH (James) CSE 440 or Zoom 15:00-16:00 OH (Yadi) CSE 2nd floor breakout	16 Lecture Regular Expressions (REs) Rosen 13.2-3 14:30-15:30 OH (Danny) CSE 2nd floor breakout 16:30-17:30 OH (Youssef) CSE 4th floor breakout	17 Section Induction and Languages Problems and Solutions (see esp. 1, 3, 4a, 4c) 17:00-18:00 OH (Mitchell) CSE2 121 18:00-19:00 OH (Sparsh) CSE2 121	18 Lecture Context-Free Grammars (CFGs) Rosen 13.1 12:30-13:30 OH (Kenny & Raymond) CSE 4th floor breakout 14:30-15:30 OH (Shreya) CSE2 121 14:30-15:30 OH (Ben) CSE2 131 15:30-16:30 OH (Kevin) CSE 436 16:00-17:00 OH (Yusuf) CSE2 152 16:30-17:30 OH (Alysa) CSE2 121	19
20 19:00-21:00 OH (Adina) Zoom (queue)	21 Lecture Relations and Directed Graphs Rosen 9.1, 10.1 11:30-12:30 OH (Jacob, Davin, & Grace) CSE 3rd floor breakout 15:00-17:00 OH (Claire & Aria) CSE 4th floor breakout 16:30-17:30 OH (Kevin) CSE 436 17:30-18:30 OH (Angela) CSE2 131 18:30-19:30 OH (Yusuf) CSE2 131 19:00-20:30 OH (Cypress) Zoom (queue) 23:00 HW6 due	22 10:30-11:30 OH (Tom) CSE 220 11:30-12:30 OH (Thalia) CSE2 153 12:30-13:30 OH (Danny) CSE2 121 13:30-14:30 OH (James) CSE 440 or Zoom 15:00-16:00 OH (Yadi) CSE 2nd floor breakout	23 Wed. before Thanksgiving	24 Thanksgiving	25 Fri. after Thanksgiving	26
27 19:00-21:00 OH (Adina) Zoom (queue)	28 Lecture Finite State Machines (FSMs) 11:30-12:30 OH (Jacob, Davin, & Grace) CSE 3rd floor breakout 15:00-17:00 OH (Claire & Aria) CSE 4th floor breakout 16:30-17:30 OH (Kevin) CSE 436 17:30-18:30 OH (Angela) CSE2 131 18:30-19:30 OH (Yusuf) CSE2 131 19:00-20:30 OH (Cypress) Zoom (queue)	29 10:30-11:30 OH (Tom) CSE 220 11:30-12:30 OH (Thalia) CSE2 153 12:30-13:30 OH (Danny) CSE2 121 13:30-14:30 OH (James) CSE 440 or Zoom	30 Lecture FSM Minimization and NFAs 14:30-15:30 OH (Danny) CSE 2nd floor breakout 16:30-17:30 OH (Youssef) CSE 4th floor breakout	01 Section CFGs, DFAs, and Relations Part A: Problems and Solutions; Part B: Problems and Solutions (see esp. 1, 2, 4) 17:00-18:00 OH (Mitchell) CSE2 121 18:00-19:00 OH (Sparsh) CSE2 121	02 Lecture Relating DFAs, NFAs, and REs 12:30-13:30 OH (Kenny & Raymond) CSE 4th floor breakout 14:30-15:30 OH (Shreya) CSE2 121 14:30-15:30 OH (Ben) CSE2 131 15:30-16:30 OH (Kevin) CSE 436 16:00-17:00 OH (Yusuf) CSE2 152 16:30-17:30 OH (Alysa) CSE2 121 23:00 HW7 due	03

December
Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
04 19:00-21:00 OH (Adina) Zoom (queue)	05 Lecture Limitations of DFAs, NFAs, and REs 11:30-12:30 OH (Jacob, Davin, & Grace) CSE 3rd floor breakout 15:00-17:00 OH (Claire & Aria) CSE 4th floor breakout 16:30-17:30 OH (Kevin) CSE 436 17:30-18:30 OH (Angela) CSE2 131 18:30-19:30 OH (Yusuf) CSE2 131 19:00-20:30 OH (Cypress) Zoom (queue)	06 10:30-11:30 OH (Tom) CSE 220 11:30-12:30 OH (Thalia) CSE2 153 12:30-13:30 OH (Danny) CSE2 121 13:30-14:30 OH (James) CSE 440 or Zoom 15:00-16:00 OH (Yadi) CSE 2nd floor breakout	07 Lecture Cardinality and Uncomputability 14:30-15:30 OH (Danny) CSE 2nd floor breakout 16:30-17:30 OH (Youssef) CSE 4th floor breakout	08 Section Irregularity and Cardinality Problems and Solutions (see esp. 1, 2a, 3a, 6) 17:00-18:00 OH (Mitchell) CSE2 121 18:00-19:00 OH (Sparsh) CSE2 121	09 Lecture Undecidability of the Halting Problem 12:30-13:30 OH (Kenny & Raymond) CSE 4th floor breakout 14:30-15:30 OH (Shreya) CSE2 121 14:30-15:30 OH (Ben) CSE2 131 15:30-16:30 OH (Kevin) CSE 436 16:00-17:00 OH (Yusuf) CSE2 152 16:30-17:30 OH (Alysa) CSE2 121	10 23:00 HW8 due
11	12 14:30-16:20 Final exam (Section B) 16:30-18:20 Final exam (Section A)	13	14	15	16	17