CSE 311 Autumn 2025
Course Calendar

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

September
MondayTuesdayWednesdayThursdayFriday
22 23 24
Lecture
Logistics and Logic
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf, B-ink-pptx, Concept Check 1 CC1 due Mon Sep 29
25
Section
Intro, Implications
handouts, slides, solutions Problems: 2a,b; 3a,b
26
Lecture
Propositional Logic
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf,B-ink-pptx,Concept Check 2 CCs due 1:30 day of next lecture.
29
Lecture
First Proof, contrapositives
slides (pptx), slides (pdf), handout, A-ink, B-ink,Concept Check 3
10:00-11:00 OH (Anika)
CSE2 131
11:00-12:00 OH (Miya)
CSE 460 and Zoom
14:30-15:30 OH (Alex)
CSE 5th floor breakout
17:30-19:00 OH (Aaron)
CSE 218
30
11:30-12:30 OH (Prisha)
CSE2 153
13:30-15:30 OH (Alice)
CSE 5th floor breakout
16:00-17:00 OH (Claris)
CSE2 131
17:30-18:30 OH (Kieran)
Zoom
01
Lecture
Digital Logic (alternate notation)
slides (pptx), slides (pdf), handout, A-ink, B-ink, Concept Check 4
9:00-10:00 OH (Hansel)
CSE2 131
10:30-11:30 OH (Cleah)
CSE2 131 and Zoom
11:30-12:30 OH (Kelsey)
CSE2 131
12:30-13:30 OH (Marie)
CSE 5th floor breakout
14:30-15:30 OH (Jaechan)
CSE2 150
16:30-17:30 OH (Jaechan)
CSE2 150
02
Section
Logic and Equivalences
handouts, slides, solutions Problems: 3, 4b, 6
9:00-10:00 OH (Kieran)
CSE 3rd floor breakout
10:00-11:00 Conceptual-Only OH (Alex)
CSE 5th floor breakout
15:30-16:30 OH (Miya)
CSE 460 and Zoom
16:30-17:30 Conceptual-Only OH (Isaiah)
CSE2 131
23:59 HW1 due
03
Lecture
Predicates, quantifiers
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf,B-ink-pptx,Concept Check 5
11:30-12:30 OH (Anna)
CSE 4th floor breakout
12:00-13:00 OH (Emma)
CSE2 131
14:30-15:30 OH (Anika)
Zoom
14:30-15:30 Conceptual-Only OH (Claris)
CSE2 131
16:30-17:30 OH (Isaiah)
CSE2 121
October
MondayTuesdayWednesdayThursdayFriday
06
Lecture
Nested unalike quantifers
slides (pptx), slides (pdf), handout, A-ink-pdf, B-ink-pptx, B-ink-pdf,B-ink-pptx,Concept Check 6
10:00-11:00 OH (Anika)
CSE2 131
11:00-12:00 OH (Miya)
CSE 460 and Zoom
14:30-15:30 OH (Alex)
CSE 5th floor breakout
17:30-19:00 OH (Aaron)
CSE 218
07
11:30-12:30 OH (Prisha)
CSE2 153
13:30-15:30 OH (Alice)
CSE 5th floor breakout
16:00-17:00 OH (Claris)
CSE2 131
17:30-18:30 OH (Kieran)
Zoom
08
Lecture
Direct proofs
slides (pptx), slides (pdf), handout, A-ink-pdf, B-ink-pptx, B-ink-pdf,B-ink-pptx,Concept Check 7
9:00-10:00 OH (Hansel)
CSE2 131
10:30-11:30 OH (Cleah)
CSE2 131 and Zoom
11:30-12:30 OH (Kelsey)
CSE2 131
12:30-13:30 OH (Marie)
CSE 5th floor breakout
14:30-15:30 OH (Jaechan)
CSE2 150
16:30-17:30 OH (Jaechan)
CSE2 150
23:59 HW2 due
09
Section
Quantifiers and Proofs
handouts, slides, solutions Problems 1a,c; 2a,b; 3; 4d,e; 7
9:00-10:00 OH (Kieran)
CSE 3rd floor breakout
10:00-11:00 Conceptual-Only OH (Alex)
CSE 5th floor breakout
15:30-16:30 OH (Miya)
CSE 460 and Zoom
16:30-17:30 Conceptual-Only OH (Isaiah)
CSE2 131
10
Lecture
More English, inference
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf,B-ink-pptx,Concept Check 8
11:30-12:30 OH (Anna)
CSE 4th floor breakout
12:00-13:00 OH (Emma)
CSE2 131
14:30-15:30 OH (Anika)
Zoom
14:30-15:30 Conceptual-Only OH (Claris)
CSE2 131
16:30-17:30 OH (Isaiah)
CSE2 121
13
Lecture
Inference proofs
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf,B-ink-pptx,Concept Check 9
10:00-11:00 OH (Anika)
CSE2 131
11:00-12:00 OH (Miya)
CSE 460 and Zoom
14:30-15:30 OH (Alex)
CSE 5th floor breakout
17:30-19:00 OH (Aaron)
CSE 218
14
9:00-10:00 OH (Robbie)
CSE2 311
11:30-12:30 OH (Prisha)
CSE2 153
13:30-15:30 OH (Alice)
CSE 5th floor breakout
16:00-17:00 OH (Claris)
CSE2 131
17:30-18:30 OH (Kieran)
Zoom
15
Lecture
Number theory 1 (modular)
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf,B-ink-pptx,Concept Check 10
9:00-10:00 OH (Hansel)
CSE2 131
10:30-11:30 OH (Cleah)
CSE2 131 and Zoom
11:30-12:30 OH (Kelsey)
CSE2 131
12:30-13:30 OH (Marie)
CSE 5th floor breakout
14:30-15:30 OH (Jaechan)
CSE2 150
16:30-17:30 OH (Jaechan)
CSE2 150
23:59 HW3 due
16
Section
English Proofs
handouts, slides, solutions Problems 1b,c; 4a; 6; 7
9:00-10:00 OH (Kieran)
CSE 3rd floor breakout
10:00-11:00 Conceptual-Only OH (Alex)
CSE 5th floor breakout
15:30-16:30 OH (Miya)
CSE 460 and Zoom
16:30-17:30 Conceptual-Only OH (Isaiah)
CSE2 131
17
Lecture
Number theory 2 (proofs, eqns)
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf,B-ink-pptx,Concept Check 11
11:30-12:30 OH (Anna)
CSE 4th floor breakout
12:00-13:00 OH (Emma)
CSE2 131
14:30-15:30 OH (Anika)
Zoom
14:30-15:30 Conceptual-Only OH (Claris)
CSE2 131
16:30-17:30 OH (Isaiah)
CSE2 121
20
Lecture
Number Theory 3 (contradiction)
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf,B-ink-pptx,Concept Check 12
10:00-11:00 OH (Anika)
CSE2 131
11:00-12:00 OH (Miya)
CSE 460 and Zoom
14:30-15:30 OH (Alex)
CSE 5th floor breakout
17:30-19:00 OH (Aaron)
CSE 218
21
9:00-10:00 OH (Robbie)
CSE2 311
11:30-12:30 OH (Prisha)
CSE2 153
13:30-15:30 OH (Alice)
CSE 5th floor breakout
16:00-17:00 OH (Claris)
CSE2 131
17:30-18:30 OH (Kieran)
Zoom
22
Lecture
Number Theory 4 (practice, inverses)
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf,B-ink-pptx,Concept Check 13
9:00-10:00 OH (Hansel)
CSE2 131
10:30-11:30 OH (Cleah)
CSE2 131 and Zoom
11:30-12:30 OH (Kelsey)
CSE2 131
12:30-13:30 OH (Marie)
CSE 5th floor breakout
14:30-15:30 OH (Jaechan)
CSE2 150
16:30-17:30 OH (Jaechan)
CSE2 150
23
Section
Midterm Review (and More Number Theory)
handouts, slides, solutions
9:00-10:00 OH (Kieran)
CSE 3rd floor breakout
10:00-11:00 Conceptual-Only OH (Alex)
CSE 5th floor breakout
13:30-15:00 OH (Alice)
CSE 5th floor breakout
15:30-16:30 OH (Miya)
CSE 460 and Zoom
18:00-19:20 Midterm 1
24
Lecture
(optional) wrap-up and RSA
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf,B-ink-pptx,Concept Check 14
11:30-12:30 OH (Anna)
CSE 4th floor breakout
12:00-13:00 OH (Emma)
CSE2 131
14:30-15:30 OH (Anika)
Zoom
14:30-15:30 Conceptual-Only OH (Claris)
CSE2 131
16:30-17:30 OH (Isaiah)
CSE2 121
27
Lecture
Set Theory
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf,B-ink-pptx,Concept Check 15
10:00-11:00 OH (Anika)
CSE2 131
11:00-12:00 OH (Miya)
CSE 460 and Zoom
14:30-15:30 OH (Alex)
CSE 5th floor breakout
28
9:00-10:00 OH (Robbie)
CSE2 311
11:30-12:30 OH (Prisha)
CSE2 153
13:30-15:30 OH (Alice)
CSE 5th floor breakout
16:00-17:00 OH (Claris)
CSE2 131
17:30-18:30 OH (Kieran)
Zoom
29
Lecture
Induction
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf,B-ink-pptx,Concept Check 16
9:00-10:00 OH (Hansel)
CSE2 131
10:30-11:30 OH (Cleah)
CSE2 131 and Zoom
11:30-12:30 OH (Kelsey)
CSE2 131
13:30-15:00 OH (Alice)
Zoom
14:30-15:30 OH (Jaechan)
CSE2 150
16:30-17:30 OH (Jaechan)
CSE2 150
23:59 HW4 due
30
Section
More Proofs, Induction
handouts, slides, solutions Problems 2, 4, 5, 8b, 10a
9:00-10:00 OH (Kieran)
CSE 3rd floor breakout
10:00-11:00 Conceptual-Only OH (Alex)
CSE 5th floor breakout
15:30-16:30 OH (Miya)
CSE 460 and Zoom
16:30-17:30 Conceptual-Only OH (Isaiah)
CSE2 131
31
Lecture
Induction
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf,B-ink-pptx,Concept Check 17
11:30-12:30 OH (Anna)
CSE 4th floor breakout
12:00-13:00 OH (Emma)
CSE2 131
14:30-15:30 OH (Anika)
Zoom
14:30-15:30 Conceptual-Only OH (Claris)
CSE2 131
16:30-17:30 OH (Isaiah)
CSE2 121
November
MondayTuesdayWednesdayThursdayFriday
03
Lecture
Recusive sets, structural induction
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf,B-ink-pptx,Concept Check 18
10:00-11:00 OH (Anika)
CSE2 131
11:00-12:00 OH (Miya)
CSE 460 and Zoom
14:30-15:30 OH (Alex)
CSE 5th floor breakout
17:30-19:00 OH (Aaron)
CSE 218
04
9:00-10:00 OH (Robbie)
CSE2 311
11:30-12:30 OH (Prisha)
CSE2 153
16:00-17:00 OH (Claris)
CSE2 131
16:30-17:00 Conceptual-Only OH (Isaiah)
CSE2 131
17:30-18:30 OH (Kieran)
Zoom
05
Lecture
More structural induction
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf,B-ink-pptx,Concept Check 19
9:00-10:00 OH (Hansel)
CSE2 131
10:30-11:30 OH (Cleah)
CSE2 131 and Zoom
11:30-12:30 OH (Kelsey)
CSE2 131
12:30-13:30 OH (Marie)
CSE 5th floor breakout
14:30-15:30 OH (Jaechan)
CSE2 150
16:30-17:30 OH (Jaechan)
CSE2 150
23:59 HW5 due
06
Section
Induction
handouts, slides, solutions Problems 3, 5b, 1
9:00-10:00 OH (Kieran)
CSE 3rd floor breakout
10:00-11:00 Conceptual-Only OH (Alex)
CSE 5th floor breakout
15:30-16:30 OH (Miya)
CSE 460 and Zoom
16:30-17:30 Conceptual-Only OH (Isaiah)
CSE2 131
07
Lecture
Induction practice
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, Concept Check 20
11:30-12:30 OH (Anna)
CSE 4th floor breakout
12:00-13:00 OH (Emma)
CSE2 131
14:30-15:30 OH (Anika)
Zoom
14:30-15:30 Conceptual-Only OH (Claris)
CSE2 131
16:30-17:30 OH (Isaiah)
CSE2 121
10
Lecture
Graphs & one-to-one/onto
slides (pptx), slides (pdf), handout, B-ink-pdf, B-ink-pptx,Concept Check 21
10:00-11:00 OH (Anika)
CSE2 131
11:00-12:00 OH (Miya)
CSE 460 and Zoom
14:30-15:30 OH (Alex)
CSE 5th floor breakout
17:30-19:00 OH (Aaron)
CSE 218
11
Veteran's Day
17:30-18:30 OH (Kieran)
Zoom
12
Lecture
Regular expressions
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf, B-ink-pptx, Concept Check 22
9:00-10:00 OH (Hansel)
CSE2 131
10:30-11:30 OH (Cleah)
CSE2 131 and Zoom
11:30-12:30 OH (Kelsey)
CSE2 131
12:30-13:30 OH (Marie)
CSE 5th floor breakout
14:30-15:30 OH (Jaechan)
CSE2 150
16:30-17:30 OH (Jaechan)
CSE2 150
23:59 HW6 due
13
Section
Midterm Review
MR handout, supplemental handout, MR solutions, supplemental solutions, slides any 3 problems from MR handout for participation
9:00-10:00 OH (Kieran)
CSE 3rd floor breakout
10:00-11:00 Conceptual-Only OH (Alex)
CSE 5th floor breakout
15:30-16:30 OH (Miya)
CSE 460 and Zoom
16:30-17:30 Conceptual-Only OH (Isaiah)
CSE2 131
14
Lecture
CFG
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf, B-ink-pptx, Concept Check 23
11:30-12:30 OH (Anna)
CSE 4th floor breakout
12:00-13:00 OH (Emma)
CSE2 131
14:30-15:30 OH (Anika)
Zoom
14:30-15:30 Conceptual-Only OH (Claris)
CSE2 131
16:30-17:30 OH (Isaiah)
CSE2 121
17
10:00-11:00 OH (Anika)
CSE2 131
11:00-12:00 OH (Miya)
CSE 460 and Zoom
14:30-15:30 OH (Alex)
CSE 5th floor breakout
17:30-19:00 OH (Aaron)
CSE 218
18:00-19:20 Midterm 2
18
9:00-10:00 OH (Robbie)
CSE2 311
11:30-12:30 OH (Prisha)
CSE2 153
13:30-15:30 OH (Alice)
CSE 5th floor breakout
16:00-17:00 OH (Claris)
CSE2 131
17:30-18:30 OH (Kieran)
Zoom
19
Lecture
DFA
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf, B-ink-pptx, Concept Check 24
9:00-10:00 OH (Hansel)
CSE2 131
10:30-11:30 OH (Cleah)
CSE2 131 and Zoom
11:30-12:30 OH (Kelsey)
CSE2 131
12:30-13:30 OH (Marie)
CSE 5th floor breakout
14:30-15:30 OH (Jaechan)
CSE2 150
16:30-17:30 OH (Jaechan)
CSE2 150
20
Section
Models of Computation
handouts, slides, solutions Problems 1b, c, d; 2; 3b, c; 4c NFA walkthrough video (Q6), NFA (Q6) slides, NFA walkthrough video (Q7), NFA (Q7) slides
9:00-10:00 OH (Kieran)
CSE 3rd floor breakout
10:00-11:00 Conceptual-Only OH (Alex)
CSE 5th floor breakout
15:30-16:30 OH (Miya)
CSE 460 and Zoom
21
Lecture
NFA
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf, B-ink-pptx, Concept Check 25
10:30-11:30 OH (Marie)
CSE 5th floor breakout
11:30-12:30 OH (Anna)
CSE 4th floor breakout
12:00-13:00 OH (Emma)
CSE2 131
13:30-14:30 OH (Jaechan)
CSE 2th floor breakout
14:30-15:30 OH (Anika)
Zoom
14:30-15:30 Conceptual-Only OH (Claris)
CSE2 131
15:30-16:30 OH (Jaechan)
CSE 2th floor breakout
16:30-18:30 OH (Isaiah)
CSE2 121
23:59 HW7 due
24
Lecture
NFAs/equivalence
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf, B-ink-pptx, Concept Check 26
10:00-11:00 OH (Anika)
CSE2 131
11:00-12:00 OH (Miya)
CSE 460 and Zoom
14:30-15:30 OH (Alex)
CSE 5th floor breakout
17:30-19:00 OH (Aaron)
CSE 218
25
9:00-10:00 OH (Robbie)
CSE2 311
10:30-11:30 OH (Cleah)
CSE2 121 and Zoom
11:30-12:30 OH (Prisha)
CSE2 153
13:30-15:30 OH (Alice)
CSE 5th floor breakout
16:00-17:00 OH (Claris)
CSE2 131
17:30-18:30 OH (Kieran)
Zoom
26
Lecture
Equivalence
same slides as Monday; handout, Concept Check 27
9:00-10:00 OH (Hansel)
CSE2 131
11:30-12:30 OH (Kelsey)
CSE2 131
27
Thanksgiving
28
Native American Heritage Day
December
MondayTuesdayWednesdayThursdayFriday
01
Lecture
Irregular
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf, B-ink-pptx, Concept Check 28
10:00-11:00 OH (Anika)
CSE2 131
11:00-12:00 OH (Miya)
CSE 460 and Zoom
17:30-19:00 OH (Aaron)
CSE 218
02
9:00-10:00 OH (Robbie)
CSE2 311
11:30-12:30 OH (Prisha)
CSE2 153
13:30-15:30 OH (Alice)
CSE 5th floor breakout
16:00-17:00 OH (Claris)
CSE2 131
17:30-18:30 OH (Kieran)
Zoom
03
Lecture
Uncountable
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf, B-ink-pptx, Concept Check 29
9:00-10:00 OH (Hansel)
CSE2 131
10:30-11:30 OH (Cleah)
CSE2 131 and Zoom
11:30-12:30 OH (Kelsey)
CSE2 131
12:30-13:30 OH (Marie)
CSE 5th floor breakout
14:30-15:30 OH (Jaechan)
CSE2 150
16:30-17:30 OH (Jaechan)
CSE2 150
04
Section
Final Review
handouts, slides, solutions any 3 problems from handout for participation
9:00-10:00 OH (Kieran)
CSE 3rd floor breakout
10:00-11:00 Conceptual-Only OH (Alex)
CSE 5th floor breakout
15:30-16:30 OH (Miya)
CSE 460 and Zoom
16:30-17:30 Conceptual-Only OH (Isaiah)
CSE2 131
05
Lecture
Halting
slides (pptx), slides (pdf), handout, A-ink-pdf, A-ink-pptx, B-ink-pdf, B-ink-pptx, Concept Check 30
11:30-12:30 OH (Anna)
CSE 4th floor breakout
12:00-13:00 OH (Emma)
CSE2 131
14:30-15:30 OH (Anika)
Zoom
14:30-15:30 Conceptual-Only OH (Claris)
CSE2 131
16:30-18:30 OH (Isaiah)
CSE2 121
23:59 HW8 due
08
12:30-14:20 Final exam
09 10 11 12