Schedule

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

September
Monday	Tuesday	Wednesday	Thursday	Friday
23	24	25 Lecture Propositional Logic Rosen 1.1 14:30-15:20 OH (Kevin) CSE 436	26 Section Propositional Logic Problems and Solutions	27 Lecture Circuits and Equivalences Rosen 11.3 12:00-13:00 OH (Kevin) CSE 436 16:00-18:00 OH (Meha) CSE2 121
30 Lecture Equivalences Rosen 1.2 12:00-13:00 OH (Kevin) CSE 436 14:30-15:30 OH (Frank) CSE2 121 15:30-16:20 OH (Zhu) CSE2 121	01 13:30-14:20 OH (Austin) CSE2 121 14:30-15:20 OH (Siddharth) CSE2 121 15:30-16:20 OH (Jason) CSE2 151	02 Lecture Boolean Algebra Rosen 11.1 12:30-13:20 OH (Joy) CSE2 131 14:30-15:20 OH (Kevin) CSE 436 15:30-16:20 OH (Jason) CSE2 151	03 Section Equivalences Problems and Solutions 11:00-12:00 OH (Oscar) CSE 007 12:30-14:20 OH (Karishma) CSE2 121 14:30-15:20 OH (Daniel) CSE 3rd floor breakout	04 Lecture Canonical Forms and Predicate Logic Rosen 11.2 12:00-13:00 OH (Kevin) CSE 436 16:00-18:00 OH (Meha) CSE2 121 23:00 HW1 due

October
Monday	Tuesday	Wednesday	Thursday	Friday
07 Lecture Predicate Logic Rosen 1.3-4 12:00-13:00 OH (Kevin) CSE 436 14:30-15:30 OH (Frank) CSE2 121 15:30-16:20 OH (Zhu) CSE2 121	08 13:30-14:20 OH (Austin) CSE2 121 14:30-15:20 OH (Siddharth) CSE2 121 15:30-16:20 OH (Jason) CSE2 151	09 Lecture Inference Rules and Proofs for Propositional Logic Rosen 1.5 12:30-13:20 OH (Joy) CSE2 131 14:30-15:20 OH (Kevin) CSE 436 15:30-16:20 OH (Jason) CSE2 151	10 Section Predicate Logic and Inference Problems and Solutions 11:00-12:00 OH (Oscar) CSE 007 12:30-14:20 OH (Karishma) CSE2 121 14:30-15:20 OH (Daniel) CSE 3rd floor breakout	11 Lecture Inference Rules and Proofs for Predicate Logic Rosen 1.5 12:00-13:00 OH (Kevin) CSE 436 16:00-18:00 OH (Meha) CSE2 121 23:00 HW2 due
14 Lecture English Proofs Rosen 1.6-7 12:00-13:00 OH (Kevin) CSE 436 14:30-15:30 OH (Frank) CSE2 121 15:30-16:20 OH (Zhu) CSE2 121	15 15:30-16:20 OH (Jason) CSE2 151	16 Lecture Set Theory Rosen 2.1-3 12:30-13:20 OH (Joy) CSE2 131 14:30-15:20 OH (Kevin) CSE 436 15:30-16:20 OH (Jason) CSE2 151	17 Section English Proof and Sets Problems and Solutions 11:00-12:00 OH (Oscar) CSE 007 12:30-14:20 OH (Karishma) CSE2 121 14:30-15:20 OH (Daniel) CSE 3rd floor breakout	18 Lecture Sets and Modular Arithmetic Rosen 3.4 9:30-10:20 OH (Siddharth) CSE2 121 12:00-13:00 OH (Kevin) CSE 436 14:30-15:20 OH (Austin) CSE2 121 16:00-18:00 OH (Meha) CSE2 121 23:00 HW3 due (moved to Sat)
21 Lecture Modular Arithmetic and Applications Rosen 3.4 12:00-13:00 OH (Kevin) CSE 436 14:30-15:30 OH (Frank) CSE2 121 15:30-16:20 OH (Zhu) CSE2 121	22 14:30-15:20 OH (Siddharth) CSE2 121 15:30-16:20 OH (Jason) CSE2 151	23 Lecture Primes and GCD Rosen 3.5 12:30-13:20 OH (Joy) CSE2 131 14:30-15:20 OH (Kevin) CSE 436 15:30-16:20 OH (Jason) CSE2 151	24 Section Number Theory Problems and Solutions 11:00-12:00 OH (Oscar) CSE 007 12:30-14:20 OH (Karishma) CSE2 121 14:30-15:20 OH (Daniel) CSE 3rd floor breakout	25 Lecture Euclidian Algorithm and Modular Equations Rosen p.277-9, p.231-5, p.226-7 12:00-13:00 OH (Kevin) CSE 436 14:30-15:20 OH (Austin) CSE2 121 16:00-18:00 OH (Meha) CSE2 121 23:00 HW4 due
28 Lecture Modular Exponentiation and Induction Rosen 4.1 12:00-13:00 OH (Kevin) CSE 436 14:30-15:30 OH (Frank) CSE2 121 15:30-16:20 OH (Zhu) CSE2 121	29 14:30-15:20 OH (Siddharth) CSE2 121 15:30-16:20 OH (Jason) CSE2 151	30 Lecture Induction and Strong Induction Rosen 4.2 12:30-13:20 OH (Joy) CSE2 131 14:30-15:20 OH (Kevin) CSE 436 15:30-16:20 OH (Jason) CSE2 151	31 Section Induction Problems and Solutions 11:00-12:00 OH (Oscar) CSE 007 12:30-14:20 OH (Karishma) CSE2 121	01 Lecture Recursively Defined Functions Rosen 4.3 12:00-13:00 OH (Kevin) CSE 436 14:30-15:20 OH (Austin) CSE2 121 16:00-18:00 OH (Meha) CSE2 121 23:00 HW5 due (Q5-6 due Sat)

November
Monday	Tuesday	Wednesday	Thursday	Friday
04 Lecture Recursively Defined Sets and Structural Induction Rosen 4.3 12:00-13:00 OH (Kevin) CSE 436 14:30-15:30 OH (Frank) CSE2 121 15:30-16:20 OH (Zhu) CSE2 121	05 14:30-15:20 OH (Siddharth) CSE2 121 15:30-16:20 OH (Jason) CSE2 151	06 10:30-11:20 Midterm exam 13:30-14:20 Midterm exam 15:30-16:20 OH (Jason) CSE2 151	07 Section Strong Induction and Recursive Sets Problems and Solutions 11:00-12:00 OH (Oscar) CSE 007 12:30-14:20 OH (Karishma) CSE2 121 14:30-15:20 OH (Daniel) CSE 3rd floor breakout	08 Lecture Structural Induction and Regular Expressions Rosen 4.3 12:00-13:00 OH (Kevin) CSE 436 14:30-15:20 OH (Austin) CSE2 121 16:00-18:00 OH (Meha) CSE2 121
11 Veteran's Day	12 12:30-13:20 OH (Zhu) CSE2 131 14:30-15:20 OH (Siddharth) CSE2 121 15:30-16:20 OH (Jason) CSE2 151	13 Lecture Regular Expressions and Context Free Grammars Rosen p.817-9 12:30-13:20 OH (Joy) CSE2 131 14:30-15:20 OH (Kevin) CSE 436 15:30-16:20 OH (Jason) CSE2 151	14 Section Structural Inductionion, REs, and CFGs Problems and Solutions 11:00-12:00 OH (Oscar) CSE 007 12:30-14:20 OH (Karishma) CSE2 121 14:30-15:20 OH (Daniel) CSE 3rd floor breakout	15 Lecture Context Free Grammars and Relations Rosen 8.1, p.541-8 12:00-13:00 OH (Kevin) CSE 436 14:30-15:20 OH (Austin) CSE2 121 16:00-18:00 OH (Meha) CSE2 121 23:00 HW6 due
18 Lecture Relations and Directed Graphs Rosen 8.1, p.541-8 12:00-13:00 OH (Kevin) CSE 436 14:30-15:30 OH (Frank) CSE2 121 15:30-16:20 OH (Zhu) CSE2 121	19 14:30-15:20 OH (Siddharth) CSE2 121 15:30-16:20 OH (Jason) CSE2 151	20 Lecture Finite State Machines (FSMs) 12:30-13:20 OH (Joy) CSE2 131 14:30-15:20 OH (Kevin) CSE 436 15:30-16:20 OH (Jason) CSE2 151	21 Section Relation and DFAs Problems and Solutions 11:00-12:00 OH (Oscar) CSE 007 12:30-14:20 OH (Karishma) CSE2 121 14:30-15:20 OH (Daniel) CSE 3rd floor breakout	22 Lecture FSM Minimization and NFAs 12:00-13:00 OH (Kevin) CSE 436 14:30-15:20 OH (Austin) CSE2 121 16:00-18:00 OH (Meha) CSE2 121 23:00 HW7 due (except Q6-7)
25 Lecture Relating NFA, DFAs, and REs 12:00-13:00 OH (Kevin) CSE 436 14:30-15:30 OH (Frank) CSE2 121 15:30-16:20 OH (Zhu) CSE2 121 23:00 HW7 Q6-7 due	26 14:30-15:20 OH (Siddharth) CSE2 121 15:30-16:20 OH (Jason) CSE2 151	27 Wed. before Thanksgiving Reading: NFA to RE Slides	28 Thanksgiving	29 Fri. after Thanksgiving

December
Monday	Tuesday	Wednesday	Thursday	Friday
02 Lecture Limitations of DFAs, NFAs, and REs 12:00-13:00 OH (Kevin) CSE 436 14:30-15:30 OH (Frank) CSE2 121 15:30-16:20 OH (Zhu) CSE2 121	03 13:30-14:20 OH (Austin) CSE2 121 14:30-15:20 OH (Siddharth) CSE2 121 15:30-16:20 OH (Jason) CSE2 151	04 Lecture Cardinality and Uncomputability Rosen p.177, 12.5 12:30-13:20 OH (Joy) CSE2 131 14:30-15:20 OH (Kevin) CSE 436 15:30-16:20 OH (Jason) CSE2 151 23:00 HW8 due	05 Section Irregularity and Cardinality Problems and Solutions 11:00-12:00 OH (Oscar) CSE 007 12:30-14:20 OH (Karishma) CSE2 121 14:30-15:20 OH (Daniel) CSE 3rd floor breakout	06 Lecture Undecidability of the Halting Problem 12:00-13:00 OH (Kevin) CSE 436 14:30-15:20 OH (Austin) CSE2 121 16:00-18:00 OH (Meha) CSE2 121
09 14:30-16:20 Final exam 16:30-18:20 Final exam (in CSE2 G20)	10	11	12	13