Calendar

June
Monday	Tuesday	Wednesday	Thursday	Friday
19 Juneteenth	20	21 12:00-13:00 Lecture DEM 102 Intro, Propositions template slides, completed slides, annotated slides	22 12:00-13:00 Section DEM 004 Propositions handout, solutions	23 12:00-13:00 Lecture DEM 102 Propositions, Equivalences template slides, completed slides, annotated slides
26 12:00-13:00 Lecture DEM 102 Equivalences, CNF & DNF template slides, completed slides, annotated slides 13:00-14:00 OH (Anjali) DEM 102	27 13:00-14:00 OH (Cade) CSE2 150	28 HW1 Due 12:00-13:00 Lecture DEM 102 Predicates template slides, completed slides, annotated slides 13:00-14:00 OH (Anjali) DEM 102 15:30-17:30 OH (Robert) Allen 2nd Floor Breakout	29 12:00-13:00 Section DEM 004 Equivalences, Predicates handout, solutions	30 12:00-13:00 Lecture DEM 102 Predicates Cont. template slides, completed slides, annotated slides 14:00-15:00 OH (Cade) Zoom

July
Monday	Tuesday	Wednesday	Thursday	Friday
03 12:00-13:00 Lecture DEM 102 Proof Strategies: Direct Proof template slides, completed slides, annotated slides 13:00-14:00 OH (Anjali) DEM 102	04 Independence Day	05 HW2 Due 12:00-13:00 Lecture DEM 102 Proof Strategies: Contrapositive, Biconditional template slides, completed slides, annotated slides 13:00-14:00 OH (Anjali) DEM 102 15:30-17:30 OH (Robert) Allen 2nd Floor Breakout	06 12:00-13:00 Section DEM 004 Proof Strategies handout, solutions	07 12:00-13:00 Lecture DEM 102 Proof Strategies: Cases, Existence template slides, completed slides, annotated slides 14:00-15:00 OH (Cade) Zoom
10 12:00-13:00 Lecture DEM 102 Number Theory template slides, completed slides, annotated slides 13:00-14:00 OH (Anjali) DEM 102	11 13:00-14:00 OH (Cade) CSE2 150	12 HW3 Due 12:00-13:00 Lecture DEM 102 Number Theory Cont. template slides, completed slides, annotated slides 13:00-14:00 OH (Anjali) DEM 102 15:30-17:30 OH (Robert) Allen 2nd Floor Breakout	13 12:00-13:00 Section DEM 004 Number Theory handout, solutions	14 12:00-13:00 Lecture DEM 102 Set Theory template slides, completed slides, annotated slides 14:00-15:00 OH (Cade) Zoom
17 12:00-13:00 Lecture DEM 102 Set Theory Cont. template slides, completed slides, annotated slides 13:00-14:00 OH (Anjali) DEM 102	18 13:00-14:00 OH (Cade) Zoom	19 HW4 Due 12:00-13:00 Lecture DEM 102 Induction template slides, completed slides, annotated slides 13:00-14:00 OH (Anjali) DEM 102 15:30-17:30 OH (Robert) Allen 2nd Floor Breakout	20 12:00-13:00 Section DEM 004 Set Theory, Induction handout, solutions	21 12:00-13:00 Lecture DEM 102 Strong Induction template slides, completed slides, annotated slides 14:00-15:00 OH (Cade) Zoom
24 12:00-13:00 Lecture DEM 102 Proof by Contradiction template slides, completed slides, annotated slides 13:00-14:00 OH (Anjali) DEM 102	25 13:00-14:00 OH (Cade) CSE2 150 15:00-16:20 Midterm Review Session DEM 104	26 HW5 Due 12:00-13:00 Lecture DEM 102 Induction Practice slides, problems, solutions 13:00-14:00 OH (Anjali) DEM 102 15:30-17:30 OH (Robert) Allen 2nd Floor Breakout	27 12:00-13:00 Section DEM 004 Induction, Midterm Review handout, solutions	28 Midterm (12:00-1:00PM DEM 102)
31 12:00-13:00 Lecture DEM 102 Recursively Defined Sets, Structural Induction template slides, completed slides, annotated slides 13:00-14:00 OH (Anjali) DEM 102	01 13:00-14:00 OH (Cade) Zoom	02 12:00-13:00 Lecture DEM 102 Structural Induction Cont. template slides, completed slides, annotated slides 13:00-14:00 OH (Anjali) DEM 102 15:30-17:30 OH (Robert) Allen 2nd Floor Breakout	03 12:00-13:00 Section DEM 004 Strong Induction, Structural Induction handout, solutions	04 12:00-13:00 Lecture DEM 102 Regular Expressions, CFGs template slides, completed slides, annotated slides 14:00-15:00 OH (Cade) Zoom

August
Monday	Tuesday	Wednesday	Thursday	Friday
07 12:00-13:00 Lecture REMOTE CFGs, DFAs template slides, completed slides, annotated slides 13:00-14:00 OH (Anjali) Zoom	08 13:00-14:00 OH (Cade) CSE2 150	09 HW6 Due Midterm Corrections Due 12:00-13:00 Lecture DEM 102 DFAs template slides, completed slides, annotated slides 13:00-14:00 OH (Anjali) DEM 102 15:30-17:30 OH (Robert) Allen 2nd Floor Breakout	10 12:00-13:00 Section DEM 004 RegEx, CFG, DFA, NFA handout, solutions	11 12:00-13:00 Lecture DEM 102 NFAs template slides, completed slides, annotated slides 14:00-15:00 OH (Cade) Zoom
14 12:00-13:00 Lecture DEM 102 Relating REs, DFAs, NFAs, CFGs template slides, completed slides, annotated slides 13:00-14:00 OH (Anjali) DEM 102	15 13:00-14:00 OH (Cade) CSE2 150 15:00-16:20 Final Review Session DEM 104	16 HW7 Due 12:00-13:00 Lecture DEM 102 Limitations of Computation: Proof of Irregularity & the Halting Problem template slides, completed slides, annotated slides 13:00-14:00 OH (Anjali) DEM 102 15:30-17:30 OH (Robert) Allen 2nd Floor Breakout	17 Final Part 1 (12:00-1:00PM DEM 004)	18 Final Part 2 (12:00-1:00PM DEM 102)