Schedule

Subscribe to this calendar (google, iCal, etc.)

September
Monday	Tuesday	Wednesday	Thursday	Friday
27	28	29 Lecture Introduction and Propositional Logic Rosen 1.1	30 Section Propositional Logic Problems and Solutions	01 Lecture Translation and Circuits Rosen 11.3 17:30-18:30 OH (Kevin) Zoom

October
Monday	Tuesday	Wednesday	Thursday	Friday
04 Lecture Equivalences Rosen 1.2 12:00-13:00 OH (Kevin) CSE 436 13:30-15:20 OH (Andrey) CSE2 121	05 10:30-11:20 OH (Melissa) Zoom 12:00-13:00 OH (Yiwen) CSE2 131 15:00-16:00 OH (Jason) CSE2 150	06 Lecture Boolean Algebra Rosen 11.1 11:30-12:30 OH (Audrey) Allen 5th Floor Breakout 15:30-16:30 OH (Helena) Allen 4th Floor Breakout 16:30-17:30 OH (Mrigank) Allen 4th Floor Breakout 18:30-19:30 OH (Shreya) Zoom 20:00-21:00 OH (David) Zoom	07 Section Equivalences Problems and Solutions 14:00-15:00 OH (Siddharth) Zoom 15:30-16:30 OH (Tom) MGH 287 16:30-17:30 OH (Alice) Zoom 18:00-19:00 OH (Ivy) Zoom 20:00-21:00 OH (Ben Z) Zoom	08 Lecture Canonical Forms Rosen 11.2 12:00-13:00 OH (Varun) CSE2 131 15:30-16:20 OH (Linden) Zoom 16:00-17:00 OH (Ben L) Zoom 16:30-17:30 OH (Long) Allen 4th Floor Breakout 17:30-18:30 OH (Kevin) Zoom 23:00 HW1 due
11 Lecture Predicate Logic Rosen 1.3-1.4 12:00-13:00 OH (Kevin) CSE 436 13:30-15:20 OH (Andrey) CSE2 121	12 10:30-11:20 OH (Melissa) Zoom 12:00-13:00 OH (Yiwen) CSE2 131 15:00-16:00 OH (Jason) CSE2 150	13 Lecture Proofs for Propositional Logic Rosen 1.5 11:30-12:30 OH (Audrey) Allen 5th Floor Breakout 15:30-16:30 OH (Helena) Allen 4th Floor Breakout 16:30-17:30 OH (Mrigank) Allen 4th Floor Breakout 18:30-19:30 OH (Shreya) Zoom 20:00-21:00 OH (David) Zoom	14 Section Predicate Logic and Inference Problems and Solutions 14:00-15:00 OH (Siddharth) Zoom 15:30-16:30 OH (Tom) MGH 287 16:30-17:30 OH (Alice) Zoom 18:00-19:00 OH (Ivy) Zoom 20:00-21:00 OH (Ben Z) Zoom	15 Lecture Proofs for Predicate Logic Rosen 1.5 12:00-13:00 OH (Varun) CSE2 131 15:30-16:20 OH (Linden) Zoom 16:00-17:00 OH (Ben L) Zoom 16:30-17:30 OH (Long) Allen 4th Floor Breakout 17:30-18:30 OH (Kevin) Zoom 23:00 HW2 due
18 Lecture English Proofs Rosen 1.6-1.7 12:00-13:00 OH (Kevin) CSE 436 13:30-15:20 OH (Andrey) CSE2 121	19 10:30-11:20 OH (Melissa) Zoom 12:00-13:00 OH (Yiwen) CSE2 131 15:00-16:00 OH (Jason) CSE2 150	20 Lecture Set Theory Rosen 2.1-2.3 11:30-12:30 OH (Audrey) Allen 5th Floor Breakout 15:30-16:30 OH (Helena) Allen 4th Floor Breakout 16:30-17:30 OH (Mrigank) Allen 4th Floor Breakout 18:30-19:30 OH (Shreya) Zoom 20:00-21:00 OH (David) Zoom	21 Section English Proofs and Set Theory Problems and Solutions 14:00-15:00 OH (Siddharth) Zoom 15:30-16:30 OH (Tom) MGH 287 16:30-17:30 OH (Alice) Zoom 18:00-19:00 OH (Ivy) Zoom 20:00-21:00 OH (Ben Z) Zoom	22 Lecture Sets and Modular Arithmetic Rosen 3.4 12:00-13:00 OH (Varun) CSE2 131 15:30-16:20 OH (Linden) Zoom 16:00-17:00 OH (Ben L) Zoom 16:30-17:30 OH (Long) Allen 4th Floor Breakout 17:30-18:30 OH (Kevin) Zoom 23:00 HW3 due
25 Lecture Modular Arithmetic and Applications Rosen 3.4 12:00-13:00 OH (Kevin) CSE 436 13:30-15:20 OH (Andrey) CSE2 121	26 10:30-11:20 OH (Melissa) Zoom 12:00-13:00 OH (Yiwen) CSE2 131 15:00-16:00 OH (Jason) CSE2 150	27 Lecture Primes and GCD Rosen 3.5 11:30-12:30 OH (Audrey) Allen 5th Floor Breakout 15:30-16:30 OH (Helena) Allen 4th Floor Breakout 16:30-17:30 OH (Mrigank) Allen 4th Floor Breakout 18:30-19:30 OH (Shreya) Zoom 20:00-21:00 OH (David) Zoom	28 Section Number Theory Problems and Solutions 14:00-15:00 OH (Siddharth) Zoom 15:30-16:30 OH (Tom) MGH 287 16:30-17:30 OH (Alice) Zoom 18:00-19:00 OH (Ivy) Zoom 20:00-21:00 OH (Ben Z) Zoom	29 Lecture Euclidian Algorithm and Modular Equations Rosen p.277-9, p.231-5, p.226-7 12:00-13:00 OH (Varun) CSE2 131 15:30-16:20 OH (Linden) Zoom 16:00-17:00 OH (Ben L) Zoom 16:30-17:30 OH (Long) Allen 4th Floor Breakout 17:30-18:30 OH (Kevin) Zoom 23:00 HW4 due

November
Monday	Tuesday	Wednesday	Thursday	Friday
01 Lecture Modular Exponentiation and Induction Rosen 4.1 12:00-13:00 OH (Kevin) CSE 436 13:30-15:20 OH (Andrey) CSE2 121	02 10:30-11:20 OH (Melissa) Zoom 12:00-13:00 OH (Yiwen) CSE2 131 15:00-16:00 OH (Jason) CSE2 150	03 Lecture Strong Induction Rosen 4.2 11:30-12:30 OH (Audrey) Allen 5th Floor Breakout 15:30-16:30 OH (Helena) Allen 4th Floor Breakout 16:30-17:30 OH (Mrigank) Allen 4th Floor Breakout 18:30-19:30 OH (Shreya) Zoom 20:00-21:00 OH (David) Zoom	04 Section Induction Problems and Solutions 14:00-15:00 OH (Siddharth) Zoom 15:30-16:30 OH (Tom) MGH 287 16:30-17:30 OH (Alice) Zoom 18:00-19:00 OH (Ivy) Zoom 20:00-21:00 OH (Ben Z) Zoom	05 Lecture Recursively Defined Functions Rosen 4.3 12:00-13:00 OH (Varun) CSE2 131 15:30-16:20 OH (Linden) Zoom 16:00-17:00 OH (Ben L) Zoom 16:30-17:30 OH (Long) Allen 4th Floor Breakout 17:30-18:30 OH (Kevin) Zoom 23:00 HW5 due
08 Lecture Recursively Defined Sets and Structural Induction Rosen 4.3 12:00-13:00 OH (Kevin) CSE 436 13:30-15:20 OH (Andrey) CSE2 121	09 10:30-11:20 OH (Melissa) Zoom 12:00-13:00 OH (Yiwen) CSE2 131 15:00-16:00 OH (Jason) CSE2 150	10 Lecture More Structural Induction Rosen 4.3 11:30-12:30 OH (Audrey) Allen 5th Floor Breakout 15:30-16:30 OH (Helena) Allen 4th Floor Breakout 16:30-17:30 OH (Mrigank) Allen 4th Floor Breakout 18:30-19:30 OH (Shreya) Zoom 20:00-21:00 OH (David) Zoom	11 Veteran's Day	12 10:30-11:20 Midterm exam A 13:30-14:20 Midterm exam B
15 Lecture Regular Expressions (REs) Rosen p.817-819 12:00-13:00 OH (Kevin) CSE 436 13:30-15:20 OH (Andrey) CSE2 121	16 10:30-11:20 OH (Melissa) Zoom 12:00-13:00 OH (Yiwen) CSE2 131 15:00-16:00 OH (Jason) CSE2 150	17 Lecture Context-Free Grammars (CFGs) Rosen 8.1, p.541-548 11:30-12:30 OH (Audrey) Allen 5th Floor Breakout 15:30-16:30 OH (Helena) Allen 4th Floor Breakout 16:30-17:30 OH (Mrigank) Allen 4th Floor Breakout 18:30-19:30 OH (Shreya) Zoom 20:00-21:00 OH (David) Zoom	18 Section Strong Induction, REs, and CFGs Problems and Solutions 14:00-15:00 OH (Siddharth) Zoom 15:30-16:30 OH (Tom) MGH 287 16:30-17:30 OH (Alice) Zoom 18:00-19:00 OH (Ivy) Zoom 20:00-21:00 OH (Ben Z) Zoom	19 Lecture Relations and Directed Graphs Rosen 8.1, p.541-548 12:00-13:00 OH (Varun) CSE2 131 15:30-16:20 OH (Linden) Zoom 15:30-16:30 OH (Ben L) Zoom 16:30-17:30 OH (Long) Allen 4th Floor Breakout 17:30-18:30 OH (Kevin) Zoom
22 Lecture Finite State Machines (FSMs) 12:00-13:00 OH (Kevin) CSE 436 13:30-15:20 OH (Andrey) CSE2 121 23:00 HW6 due	23 10:30-11:20 OH (Melissa) Zoom 12:00-13:00 OH (Yiwen) CSE2 131 15:00-16:00 OH (Jason) CSE2 150	24 Wed. before Thanksgiving	25 Thanksgiving	26 Fri. after Thanksgiving
29 Lecture FSM Minimization and NFAs 12:00-13:00 OH (Kevin) CSE 436 13:30-15:20 OH (Andrey) CSE2 121	30 10:30-11:20 OH (Melissa) Zoom 12:00-13:00 OH (Yiwen) CSE2 131 15:00-16:00 OH (Jason) CSE2 150	01 Lecture Relating DFAs, NFAs, and REs 11:30-12:30 OH (Audrey) Allen 5th Floor Breakout 15:30-16:30 OH (Helena) Allen 4th Floor Breakout 16:30-17:30 OH (Mrigank) Allen 4th Floor Breakout 18:30-19:30 OH (Shreya) Zoom 20:00-21:00 OH (David) Zoom	02 Section Relations and DFAs Problems and Solutions 14:00-15:00 OH (Siddharth) Zoom 15:30-16:30 OH (Tom) MGH 287 16:30-17:30 OH (Alice) Zoom 18:00-19:00 OH (Ivy) Zoom 20:00-21:00 OH (Ben Z) Zoom	03 Lecture Limitations of DFAs, NFAs, and REs 12:00-13:00 OH (Varun) CSE2 131 15:30-16:20 OH (Linden) Zoom 16:00-17:00 OH (Ben L) Zoom 16:30-17:30 OH (Long) Allen 4th Floor Breakout 17:30-18:30 OH (Kevin) Zoom 23:00 HW7 due

December
Monday	Tuesday	Wednesday	Thursday	Friday
06 Lecture Cardinality and Uncomputability 12:00-13:00 OH (Kevin) CSE 436 13:30-15:20 OH (Andrey) CSE2 121	07 10:30-11:20 OH (Melissa) Zoom 12:00-13:00 OH (Yiwen) CSE2 131 15:00-16:00 OH (Jason) CSE2 150	08 Lecture Undecidability of the Halting Problem 11:30-12:30 OH (Audrey) Allen 5th Floor Breakout 15:30-16:30 OH (Helena) Allen 4th Floor Breakout 16:30-17:30 OH (Mrigank) Allen 4th Floor Breakout 18:30-19:30 OH (Shreya) Zoom 20:00-21:00 OH (David) Zoom	09 Section Irregularity and Cardinality Problems and Solutions 14:00-15:00 OH (Siddharth) Zoom 15:30-16:30 OH (Tom) MGH 287 16:30-17:30 OH (Alice) Zoom 18:00-19:00 OH (Ivy) Zoom 20:00-21:00 OH (Ben Z) Zoom	10 Lecture Reductions and Turing Machines 12:00-13:00 OH (Varun) CSE2 131 15:30-16:20 OH (Linden) Zoom 16:00-17:00 OH (Ben L) Zoom 16:30-17:30 OH (Long) Allen 4th Floor Breakout 17:30-18:30 OH (Kevin) Zoom 23:00 HW8 due
13 14:30-16:20 Final exam B 16:30-18:20 Final exam A	14	15	16	17