Calendar

June
MondayTuesdayWednesdayThursdayFriday
23
12:00-13:00 Lecture
DEM 102
Intro and Propositional Logic
slides, pdf, handout,inked, Concept Check 1 CC1 due Fri Jun 27
13:00-14:00 OH (Parker)
CSE (Allen) 204
24 25
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
12:00-13:00 Lecture
DEM 102
Equivalences, Our First Proof
slides, pdf, handout, inked, Concept Check 2 CCs due 12:00 PM on day of next lecture unless otherwise noted
13:00-14:00 OH (Parker)
CSE (Allen) 204
14:30-15:30 OH (Rushil)
CSE (Allen) 5th floor Breakout
17:00-18:00 OH (Zareef)
Zoom
26
Section
Propositions, Translations
handout, slides, solutions, Problems 1, 2, 4
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
27
10:30-11:30 OH (Lisa)
Hybrid (Zoom and CSE (Allen) 624)
12:00-13:00 Lecture
DEM 102
Alternate Notation, Normal Forms
slides, pdf, handout, inked, Concept Check 3
30
12:00-13:00 Lecture
DEM 102
Predicate Logic
slides, pdf, handout, inked, Concept Check 4
13:00-14:00 OH (Parker)
CSE (Allen) 204
14:00-16:00 OH (Emma)
CSE2 (Gates) 153
17:30-18:30 OH (Lisa)
Zoom
01
12:30-14:00 OH (Zareef)
Zoom
14:00-15:00 OH (Rushil)
CSE (Allen) 3rd Floor Breakout
15:00-17:00 OH (Evan)
Hybrid (Zoom and CSE (Allen) 2nd Floor Breakout)
02
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
12:00-13:00 Lecture
DEM 102
Predicate Logic cont.
slides, pdf, handout, inked, Concept Check 5
13:00-14:00 OH (Parker)
CSE (Allen) 204
14:30-15:30 OH (Rushil)
CSE (Allen) 5th floor Breakout
17:00-18:00 OH (Zareef)
Zoom
23:59 HW1 due
03
Section
Domain Restriction and Translations
handout, slides, solutions, Problems 2, 6, 8
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
04
Independence Day
July
MondayTuesdayWednesdayThursdayFriday
07
12:00-13:00 Lecture
DEM 102
Direct Proofs, Proof by Contrapositive
slides, pdf, handout, inked, Concept Check 6
13:00-14:00 OH (Parker)
CSE (Allen) 204
14:00-16:00 OH (Emma)
CSE2 (Gates) 153
17:30-18:30 OH (Lisa)
Zoom
08
12:30-14:00 OH (Zareef)
Zoom
14:00-15:00 OH (Rushil)
CSE (Allen) 3rd Floor Breakout
15:00-17:00 OH (Evan)
Hybrid (Zoom and CSE (Allen) 2nd Floor Breakout)
09
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
12:00-13:00 Lecture
DEM 102
More Proof Strategies
slides, pdf, handout, inked, Concept Check 7
13:00-14:00 OH (Parker)
CSE (Allen) 204
14:30-15:30 OH (Rushil)
CSE (Allen) 5th floor Breakout
17:00-18:00 OH (Zareef)
Zoom
23:59 HW2 due
10
Section
Proof Strategies
handout, slides, solutions, Problems 1a, 1b, 2a, 3, 4, 5
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
11
10:30-11:30 OH (Lisa)
Hybrid (Zoom and CSE (Allen) 624)
12:00-13:00 Lecture
DEM 102
Number Theory
slides, pdf, handout, inked, Concept Check 8
14
12:00-13:00 Lecture
DEM 102
Number Theory cont.
slides, pdf, handout, inked, Concept Check 9
13:00-14:00 OH (Parker)
CSE (Allen) 204
14:00-16:00 OH (Emma)
CSE2 (Gates) 153
17:30-18:30 OH (Lisa)
Zoom
15
12:30-14:00 OH (Zareef)
Zoom
14:00-15:00 OH (Rushil)
CSE (Allen) 3rd Floor Breakout
15:00-17:00 OH (Evan)
Hybrid (Zoom and CSE (Allen) 2nd Floor Breakout)
16
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
12:00-13:00 Lecture
DEM 102
Set Theory
slides, pdf, handout, inked, Concept Check 10
13:00-14:00 OH (Parker)
CSE (Allen) 204
14:30-15:30 OH (Rushil)
CSE (Allen) 5th floor Breakout
17:00-18:00 OH (Zareef)
Zoom
23:59 HW3 due
17
Section
Number Theory
handout, slides, solutions, Problems 1, 3, 4, 6
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
18
10:30-11:30 OH (Lisa)
Hybrid (Zoom and CSE (Allen) 624)
12:00-13:00 Lecture
DEM 102
Set Theory cont., Proof by Contradiction
slides, pdf, handout, inked, Concept Check 11
21
12:00-13:00 Lecture
DEM 102
Induction
slides, pdf, handout, inked, Concept Check 12
13:00-14:00 OH (Parker)
CSE (Allen) 204
14:00-16:00 OH (Emma)
CSE2 (Gates) 153
17:30-18:30 OH (Lisa)
Zoom
22
12:30-14:00 OH (Zareef)
Zoom
14:00-15:00 OH (Rushil)
CSE (Allen) 3rd Floor Breakout
15:00-17:00 OH (Evan)
Hybrid (Zoom and CSE (Allen) 2nd Floor Breakout)
23
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
12:00-13:00 Lecture
DEM 102
Strong Induction
slides, pdf, handout, inked, Concept Check 13
13:00-14:00 OH (Parker)
CSE (Allen) 204
14:30-15:30 OH (Rushil)
CSE (Allen) 5th floor Breakout
17:00-18:00 OH (Zareef)
Zoom
23:59 HW4 due
24
Section
Induction
handout, slides, solutions, Problems 1, 2, 5
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
25
10:30-11:30 OH (Lisa)
Hybrid (Zoom and CSE (Allen) 624)
12:00-13:00 Lecture
DEM 102
Induction Practice
slides, pdf, handout, Concept Check 14
28
12:00-13:00 Lecture
DEM 102
Recursive Sets & Structural Induction
slides, pdf, handout, inked, Concept Check 15
13:00-14:00 OH (Parker)
CSE (Allen) 204
14:00-16:00 OH (Emma)
CSE2 (Gates) 153
17:30-18:30 OH (Lisa)
Zoom
29
12:30-14:00 OH (Zareef)
Zoom
14:00-15:00 OH (Rushil)
CSE (Allen) 3rd Floor Breakout
15:00-17:00 OH (Evan)
Hybrid (Zoom and CSE (Allen) 2nd Floor Breakout)
30
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
12:00-13:00 Lecture
DEM 102
Structural Induction cont.
slides, pdf, handout, inked, Concept Check 16
13:00-14:00 OH (Parker)
CSE (Allen) 204
14:30-15:30 OH (Rushil)
CSE (Allen) 5th floor Breakout
17:00-18:00 OH (Zareef)
Zoom
23:59 HW5 due
31
Section
Midterm Review
handout, solutions, Problems 2, 4, 5
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
01
10:30-11:30 OH (Lisa)
Hybrid (Zoom and CSE (Allen) 624)
12:00-13:00 Lecture
DEM 102
Midterm Exam
August
MondayTuesdayWednesdayThursdayFriday
04
12:00-13:00 Lecture
DEM 102
Functions & Graphs
slides, pdf, handout, inked, Concept Check 17
13:00-14:00 OH (Parker)
CSE (Allen) 204
14:00-16:00 OH (Emma)
CSE2 (Gates) 153
17:30-18:30 OH (Lisa)
Zoom
05
12:30-14:00 OH (Zareef)
Zoom
14:00-15:00 OH (Rushil)
CSE (Allen) 3rd Floor Breakout
15:00-17:00 OH (Evan)
Hybrid (Zoom and CSE (Allen) 2nd Floor Breakout)
06
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
12:00-13:00 Lecture
DEM 102
Regular Expressions, CFGs
slides, pdf, handout, inked, Concept Check 18
13:00-14:00 OH (Parker)
CSE (Allen) 204
14:30-15:30 OH (Rushil)
CSE (Allen) 5th floor Breakout
17:00-18:00 OH (Zareef)
Zoom
07
Section
Structural Induction, REs, CFGs
handout, slides, solutions, Problems 2b, 4, 6, 7
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
08
10:30-11:30 OH (Lisa)
Hybrid (Zoom and CSE (Allen) 624)
12:00-13:00 Lecture
DEM 102
DFAs
slides, pdf, handout, inked, Concept Check 19
23:59 HW6 due
11
12:00-13:00 Lecture
DEM 102
NFAs, Relating Models of Computation
slides, pdf, handout, inked, Concept Check 20
13:00-14:00 OH (Parker)
CSE (Allen) 204
14:00-16:00 OH (Emma)
CSE2 (Gates) 153
17:30-18:30 OH (Lisa)
Zoom
12
12:30-14:00 OH (Zareef)
Zoom
14:00-15:00 OH (Rushil)
CSE (Allen) 3rd Floor Breakout
15:00-17:00 OH (Evan)
Hybrid (Zoom and CSE (Allen) 2nd Floor Breakout)
13
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
12:00-13:00 Lecture
DEM 102
Irregular Languages
slides, pdf, handout, inked, Concept Check 21
13:00-14:00 OH (Parker)
CSE (Allen) 204
14:30-15:30 OH (Rushil)
CSE (Allen) 5th floor Breakout
17:00-18:00 OH (Zareef)
Zoom
14
Section
Models of Computation
handout, slides, solutions, Problems 1a, 1b, 2c, 3, 4, 5
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
15
10:30-11:30 OH (Lisa)
Hybrid (Zoom and CSE (Allen) 624)
12:00-13:00 Lecture
DEM 102
Uncountability
slides, pdf, handout, inked, Concept Check 22
23:59 HW7 due
18
12:00-13:00 Lecture
DEM 102
The Halting Problem
slides, pdf, handout, inked, Concept Check 23
13:00-14:00 OH (Parker)
CSE (Allen) 204
14:00-16:00 OH (Emma)
CSE2 (Gates) 153
17:30-18:30 OH (Lisa)
Zoom
19
12:30-14:00 OH (Zareef)
Zoom
14:00-15:00 OH (Rushil)
CSE (Allen) 3rd Floor Breakout
15:00-17:00 OH (Evan)
Hybrid (Zoom and CSE (Allen) 2nd Floor Breakout)
20
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
12:00-13:00 Lecture
DEM 102
Final Review
slides, handout, solutions
13:00-14:00 OH (Parker)
CSE (Allen) 204
14:30-15:30 OH (Rushil)
CSE (Allen) 5th floor Breakout
17:00-18:00 OH (Zareef)
Zoom
21
Section
Final Exam Part 1
10:00-11:00 OH (Alice)
CSE (Allen) 3rd Floor Breakout
22
10:30-11:30 OH (Lisa)
Hybrid (Zoom and CSE (Allen) 624)
12:00-13:00 Lecture
DEM 102
Final Exam Part 2