Schedule

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

April
Monday	Tuesday	Wednesday	Thursday	Friday
01 Lecture Propositional Logic Rosen 1.1 10:30-11:30 OH (rothvoss) CSE 342	02	03 Lecture Equivalences and Circuits Rosen 11.3 11:30-12:30 OH (rothvoss) CSE 342 14:30-15:20 OH (Kevin) CSE 436	04 Section Propositional Logic Problems and Solutions	05 Lecture Equivalences and Proofs Rosen 1.2 12:30-13:20 OH (Kevin) CSE 436 14:30-15:20 OH (Zhu) CSE 021 15:30-16:20 OH (Oscar) CSE 007 16:30-17:20 OH (Yuqing) CSE 5th floor breakout
08 Lecture Boolean Algebra Rosen 11.1 10:30-11:30 OH (rothvoss) CSE 342 15:00-16:00 OH (Philip) CSE 3rd floor breakout 17:00-18:00 OH (Kush) CSE2 151	09 12:00-13:00 OH (Sean) CSE2 131 15:00-16:00 OH (Siddharth) CSE 007 17:30-18:20 OH (Austin) CSE 5th floor breakout	10 Lecture Canonical Forms Rosen 11.2 11:30-12:30 OH (rothvoss) CSE 342 12:30-13:20 OH (Belinda) CSE 007 14:30-15:20 OH (Kevin) CSE 436 15:30-16:20 OH (Jason) CSE2 153 23:00 HW1 due	11 Section Equivalences Problems and Solutions	12 Lecture Predicate Logic Rosen 1.3-4 12:30-13:20 OH (Kevin) CSE 436 14:30-15:20 OH (Zhu) CSE 021 15:30-16:20 OH (Oscar) CSE 007 16:30-17:20 OH (Yuqing) CSE 5th floor breakout
15 Lecture Proofs for Propositional Logic Rosen 1.5 10:30-11:30 OH (rothvoss) CSE 342 15:00-16:00 OH (Philip) CSE 3rd floor breakout 17:00-18:00 OH (Kush) CSE2 151	16 10:30-11:20 OH (Austin) CSE 3rd floor breakout 12:00-13:00 OH (Sean) CSE2 131 15:00-16:00 OH (Siddharth) CSE 007	17 Lecture Proofs for Predicate Logic Rosen 1.5 11:30-12:30 OH (rothvoss) CSE 342 12:30-13:20 OH (Belinda) CSE 007 14:30-15:20 OH (Kevin) CSE 436 15:30-16:20 OH (Jason) CSE2 153 23:00 HW2 due	18 Section Predicate Logic and Inference Problems and Solutions	19 Lecture English Proofs Rosen 1.6-7 12:30-13:20 OH (Kevin) CSE 436 14:30-15:20 OH (Zhu) CSE 021 15:30-16:20 OH (Oscar) CSE 007 16:30-17:20 OH (Yuqing) CSE 5th floor breakout
22 Lecture Set Theory Rosen 2.1-3 10:30-11:30 OH (rothvoss) CSE 342 15:00-16:00 OH (Philip) CSE 3rd floor breakout 17:00-18:00 OH (Kush) CSE2 151	23 12:00-13:00 OH (Sean) CSE2 131 15:00-16:00 OH (Siddharth) CSE 007 17:30-18:20 OH (Austin) CSE 5th floor breakout	24 Lecture Sets and Modular Arithmetic Rosen 3.4 11:30-12:30 OH (rothvoss) CSE 342 12:30-13:20 OH (Belinda) CSE 007 14:30-15:20 OH (Kevin) CSE 436 15:30-16:20 OH (Jason) CSE2 153 23:00 HW3 due	25 Section Sets and Modular Arithmetic Problems and Solutions	26 Lecture Modular Arithmetic and Applications Rosen 3.4 12:30-13:20 OH (Kevin) CSE 436 14:30-15:20 OH (Zhu) CSE 021 15:30-16:20 OH (Oscar) CSE 007 16:30-17:20 OH (Yuqing) CSE 5th floor breakout
29 Lecture Primes and GCD Rosen 3.5 10:30-11:30 OH (rothvoss) CSE 342 15:00-16:00 OH (Philip) CSE 3rd floor breakout 17:00-18:00 OH (Kush) CSE2 151	30 12:00-13:00 OH (Sean) CSE2 131 15:00-16:00 OH (Siddharth) CSE 007 17:30-18:20 OH (Austin) CSE 5th floor breakout	01 Lecture Eclidean Algorithm and Modular Equations Rosen p.227-9, p.231-235, p.226-7 11:30-12:30 OH (rothvoss) CSE 342 12:30-13:20 OH (Belinda) CSE 007 14:30-15:20 OH (Kevin) CSE 436 15:30-16:20 OH (Jason) CSE2 153	02 Section Number Theory Problems and Solutions	03 Lecture Induction Rosen 4.1 12:30-13:20 OH (Kevin) CSE 436 14:30-15:20 OH (Zhu) CSE 021 15:30-16:20 OH (Oscar) CSE 007 16:30-17:20 OH (Yuqing) CSE 5th floor breakout 23:00 HW4 due

May
Monday	Tuesday	Wednesday	Thursday	Friday
06 Lecture Strong Induction Rosen 4.2 10:30-11:30 OH (rothvoss) CSE 342 15:00-16:00 OH (Philip) CSE 3rd floor breakout 17:00-18:00 OH (Kush) CSE2 151	07 12:00-13:00 OH (Sean) CSE2 131 15:00-16:00 OH (Siddharth) CSE 007 17:30-18:20 OH (Austin) CSE 5th floor breakout	08 Lecture Recursively Defined Sets and Functions Rosen 4.3 11:30-12:30 OH (rothvoss) CSE 342 12:30-13:20 OH (Belinda) CSE 007 14:30-15:20 OH (Kevin) CSE 436 15:30-16:20 OH (Jason) CSE2 153	09 Section Induction and Strong Induction Problems and Solutions	10 Lecture Structural Induction Rosen 4.3 12:30-13:20 OH (Kevin) CSE 436 14:30-15:20 OH (Zhu) CSE 021 15:30-16:20 OH (Oscar) CSE 007 16:30-17:20 OH (Yuqing) CSE 5th floor breakout 23:00 HW5 due
13 Midterm exam (in class) 10:30-11:30 OH (rothvoss) CSE 342 15:00-16:00 OH (Philip) CSE 3rd floor breakout 17:00-18:00 OH (Kush) CSE2 151	14 12:00-13:00 OH (Sean) CSE2 131 15:00-16:00 OH (Siddharth) CSE 007 17:30-18:20 OH (Austin) CSE 5th floor breakout	15 Lecture Regular Expressions (REs) Rosen p.817-9 11:30-12:30 OH (rothvoss) CSE 342 12:30-13:20 OH (Belinda) CSE 007 14:30-15:20 OH (Kevin) CSE 436 15:30-16:20 OH (Jason) CSE2 153	16 Section Structural Induction, Recursive Sets, and REs Problems and Solutions	17 Lecture Context-Free Grammars (CFGs) Rosen p.790-3 12:30-13:20 OH (Kevin) CSE 436 14:30-15:20 OH (Zhu) CSE 021 15:30-16:20 OH (Oscar) CSE 007 16:30-17:20 OH (Yuqing) CSE 5th floor breakout
20 Lecture Relations and Graphs Rosen 8.1, p.541-8 10:30-11:30 OH (rothvoss) CSE 342 15:00-16:00 OH (Philip) CSE 3rd floor breakout 17:00-18:00 OH (Kush) CSE2 151	21 12:00-13:00 OH (Sean) CSE2 131 15:00-16:00 OH (Siddharth) CSE 007 17:30-18:20 OH (Austin) CSE 5th floor breakout	22 Lecture Finite State Machines (FSMs) 11:30-12:30 OH (rothvoss) CSE 342 12:30-13:20 OH (Belinda) CSE 007 14:30-15:20 OH (Kevin) CSE 436 15:30-16:20 OH (Jason) CSE2 153 23:00 HW6 due	23 Section CFGs, Relations, and FSMs Problems and Solutions	24 Lecture FSMs with Output 12:30-13:20 OH (Kevin) CSE 436 14:30-15:20 OH (Zhu) CSE 021 15:30-16:20 OH (Oscar) CSE 007 16:30-17:20 OH (Yuqing) CSE 5th floor breakout
27 Memorial Day	28 12:00-13:00 OH (Sean) CSE2 131 15:00-16:00 OH (Siddharth) CSE 007 17:30-18:20 OH (Austin) CSE 5th floor breakout	29 Lecture FSM Minimization and NFAs 11:30-12:30 OH (rothvoss) CSE 342 12:30-13:20 OH (Belinda) CSE 007 14:30-15:20 OH (Kevin) CSE 436 15:30-16:20 OH (Jason) CSE2 153	30 Section DFAs, NFAs, and Minimization Problems and Solutions 23:00 HW7 due	31 Lecture Relating NFAs, DFAs, and REs 12:30-13:20 OH (Kevin) CSE 436 14:30-15:20 OH (Zhu) CSE 021 15:30-16:20 OH (Oscar) CSE 007 16:30-17:20 OH (Yuqing) CSE 5th floor breakout

June
Monday	Tuesday	Wednesday	Thursday	Friday
03 Lecture Limitations of DFAs, NFAs, and REs 10:30-11:30 OH (rothvoss) CSE 342 15:00-16:00 OH (Philip) CSE 3rd floor breakout	04 12:00-13:00 OH (Sean) CSE2 131 13:00-14:00 OH (Kush) CSE2 131 15:00-16:00 OH (Siddharth) CSE 007 17:30-18:20 OH (Austin) CSE 5th floor breakout	05 Lecture Cardinality and Uncomputability Rosen p.177, 12.5 11:30-12:30 OH (rothvoss) CSE 342 12:30-13:20 OH (Belinda) CSE 007 14:30-15:20 OH (Kevin) CSE 436 15:30-16:20 OH (Jason) CSE2 153	06 Section Subset Construction, Irregularity, and Cardinality Problems and Solutions 23:00 HW8 due	07 Lecture Undecidability of the Halting Problem 12:30-13:20 OH (Kevin) CSE 436 14:30-15:20 OH (Zhu) CSE 021 15:30-16:20 OH (Oscar) CSE 007 16:30-17:20 OH (Yuqing) CSE 5th floor breakout
10 14:30-16:20 Final exam (Section A) JHN 102 16:30-18:20 Final exam (Section B) JHN 102	11	12	13	14