Schedule

September
MondayTuesdayWednesdayThursdayFriday
25 26 27
Lecture
Intro and Propositions
slides, pdf, handout, A-ink, B-ink, syllabus slides, Concept Check 1
28
Section
Propostions & Translation
handout, slides, solutions, slides with sols, Problems 2a,b; 3a,b
15:00-16:00 OH (Robbie)
CSE2 311
29
Lecture
Logical Equivalences, What is a Proof
slides, pdf, handout, A-ink, B-ink, Concept Check 2
16:30-17:30 OH (Charles)
CSE2 121
October
MondayTuesdayWednesdayThursdayFriday
02
Lecture
Contrapositives, Simplification Rules
slides, pdf, handout, A-ink, B-ink, Concept Check 3
11:30-12:30 OH (Allie and Cade)
Allen 3rd floor Breakout
15:00-16:00 OH (Aria)
Allen 2nd Floor Breakout
03
9:00-10:00 OH (Robbie)
CSE2 311
10:00-12:00 OH (Ben and Alysa)
CSE2 121
12:00-13:00 OH (Karim)
Allen 3rd Floor Breakout
13:30-14:30 OH (Anna)
5th Floor Breakout
15:00-17:00 OH (Ramya and Abosh)
CSE2 121
04
Lecture
Proofs, Alternate Notation
slides, pdf, handout, A-ink, B-ink, Concept Check 4
8:30-9:30 OH (Alicia)
https://washington.zoom.us/j/99614544353
14:30-16:00 OH (Timothy and Aruna)
CSE2 131
16:00-18:00 OH (Charles)
Allen 4th Floor Breakout
05
Section
Digital Logic & Equivalence Proofs
handout, slides, solutions, slides with sols, Problems 4b, 5a, 6
15:00-16:00 OH (Robbie)
CSE2 311
16:00-17:00 OH (Alex F)
Allen 2nd Floor Breakout
17:00-18:00 OH (Karim)
CSE2 131
17:00-18:00 OH (Cade)
https://washington.zoom.us/j/92356595822
06
Lecture
Predicates, Quantifiers
slides, pdf, handout, A-ink, B-ink, Concept Check 5
9:30-10:30 OH (Aria)
https://washington.zoom.us/j/94354565338
11:30-12:30 OH (Allie)
Allen 3rd Floor Breakout
12:30-13:30 OH (Cleah and Parker)
CSE2 131
14:30-15:30 OH (Timothy, Owen, Jacob)
Allen 2nd Floor Breakout
15:30-17:30 OH (Alex L and Andy)
Allen 2nd Floor Breakout
22:00 HW1 due
09
Lecture
Nested Unalike Quantifers, negation
slides, pdf, handout, A-ink, B-ink, Concept Check 6
11:30-12:30 OH (Allie and Cade)
Allen 3rd floor Breakout
11:31-1:30 OH (Alicia)
Zoom https://washington.zoom.us/j/99614544353
15:00-16:00 OH (Aria)
Allen 2nd Floor Breakout
10
9:00-10:00 OH (Robbie)
CSE2 311
10:00-12:00 OH (Ben and Alysa)
CSE2 121
12:00-13:00 OH (Karim)
Allen 3rd Floor Breakout
13:30-14:30 OH (Anna)
5th Floor Breakout
15:00-17:00 OH (Ramya and Abosh)
CSE2 121
11
Lecture
Direct Proofs (English)
slides, pdf, handout, A-ink, B-ink, Concept Check 7, extra HW2,2c slides
9:30-10:30 OH (Alicia)
https://washington.zoom.us/j/99614544353
14:30-16:00 OH (Timothy and Aruna)
CSE2 131
16:00-18:00 OH (Charles)
Allen 4th Floor Breakout
12
Section
Quantifiers & Proofs
handout, slides, solutions, slides with sols, Problems 1a,b; 2a,c; 3d,e; 6
15:00-16:00 OH (Robbie)
CSE2 311
16:00-17:00 OH (Alex F)
Allen 2nd Floor Breakout
17:00-18:00 OH (Karim)
CSE2 131
17:00-18:00 OH (Cade)
https://washington.zoom.us/j/92356595822
13
Lecture
More English Proofs, Inference Rules
slides, pdf, handout, A-ink, B-ink, Concept Check 8
9:30-10:30 OH (Aria)
https://washington.zoom.us/j/94354565338
11:30-12:30 OH (Allie)
Allen 3rd Floor Breakout
12:30-13:30 OH (Cleah and Parker)
CSE2 131
14:30-15:30 OH (Timothy, Owen, Jacob)
Allen 2nd Floor Breakout
15:30-17:30 OH (Alex L and Andy)
Allen 2nd Floor Breakout
22:00 HW2 due
16
Lecture
Inference Proofs
slides, pdf, handout, A-ink, B-ink, Concept Check 9
11:30-12:30 OH (Allie and Cade)
Allen 3rd floor Breakout
11:31-1:30 OH (Alicia)
Zoom https://washington.zoom.us/j/99614544353
15:00-16:00 OH (Aria)
Allen 2nd Floor Breakout
17
9:00-10:00 OH (Robbie)
CSE2 311
10:00-12:00 OH (Ben and Alysa)
CSE2 121
12:00-13:00 OH (Karim)
Allen 3rd Floor Breakout
13:30-14:30 OH (Anna)
5th Floor Breakout
15:00-17:00 OH (Ramya and Abosh)
CSE2 121
18
Lecture
Set Theory
slides, pdf, handout, A-ink, B-ink, Concept Check 10
9:30-10:30 OH (Alicia)
https://washington.zoom.us/j/99614544353
14:30-16:00 OH (Timothy and Aruna)
CSE2 131
16:00-18:00 OH (Charles)
Allen 4th Floor Breakout
19
Section
English Proofs
handout, slides, solutions, slides with sols, Problems 2b,c; 3a,b; 4b; 5a
15:00-16:00 OH (Robbie)
CSE2 311
16:00-17:00 OH (Alex F)
Allen 2nd Floor Breakout
17:00-18:00 OH (Karim)
CSE2 131
17:00-18:00 OH (Cade)
https://washington.zoom.us/j/92356595822
20
Lecture
Sets and Modular Arithmetic
slides, pdf, handout, A-ink, B-ink, Concept Check 11 Due Date for CC11 delayed to 10/25
9:30-10:30 OH (Aria)
https://washington.zoom.us/j/94354565338
11:30-12:30 OH (Allie)
Allen 3rd Floor Breakout
12:30-13:30 OH (Cleah and Parker)
CSE2 131
14:30-15:30 OH (Timothy, Owen, Jacob)
Allen 2nd Floor Breakout
15:30-17:30 OH (Alex L and Andy)
Allen 2nd Floor Breakout
22:00 HW3 due
23
Lecture
More Number Theory (proofs, equations)
slides, pdf, handout, A-ink, B-ink, Concept Check 12 Don't forget CC11 also due 10/25
11:30-12:30 OH (Allie and Cade)
Allen 3rd floor Breakout
11:31-1:30 OH (Alicia)
Zoom https://washington.zoom.us/j/99614544353
15:00-16:00 OH (Aria)
Allen 2nd Floor Breakout
18:00-19:00 How to get started OH
Allen 403
24
9:00-10:00 OH (Robbie)
CSE2 311
10:00-12:00 OH (Ben and Alysa)
CSE2 121
12:00-13:00 OH (Karim)
Allen 3rd Floor Breakout
13:30-14:30 OH (Anna)
5th Floor Breakout
15:00-17:00 OH (Ramya and Abosh)
CSE2 121
25
Lecture
Number Theory III (contradiction)
slides, pdf, handout, A-ink, B-ink, Concept Check 13
9:30-10:30 OH (Alicia)
https://washington.zoom.us/j/99614544353
14:30-16:00 OH (Timothy and Aruna)
CSE2 131
16:00-18:00 OH (Charles)
Allen 4th Floor Breakout
26
Section
Number Theory
handout, slides, solutions, slides with sols, Problems 1; 2; 5a
15:00-16:00 OH (Robbie)
CSE2 311
16:00-17:00 OH (Alex F)
Allen 2nd Floor Breakout
17:00-18:00 OH (Karim)
CSE2 131
17:00-18:00 OH (Cade)
https://washington.zoom.us/j/92356595822
27
Lecture
Number Theory wrap-up
slides, pdf, handout, A-ink, B-ink, Concept Check 14, backwards proofs
9:30-10:30 OH (Aria)
https://washington.zoom.us/j/94354565338
11:30-12:30 OH (Allie)
Allen 3rd Floor Breakout
12:30-13:30 OH (Cleah and Parker)
CSE2 131
14:30-15:30 OH (Timothy, Owen, Jacob)
Allen 2nd Floor Breakout
15:30-17:30 OH (Alex L and Andy)
Allen 2nd Floor Breakout
22:00 HW4 due
30
Lecture
Induction
slides, pdf, handout, A-ink, B-ink, Concept Check 15
11:30-12:30 OH (Allie and Cade)
Allen 3rd floor Breakout
11:31-1:30 OH (Alicia)
Zoom https://washington.zoom.us/j/99614544353
15:00-16:00 OH (Aria)
Allen 2nd Floor Breakout
18:00-19:00 How to get started OH
Allen 403
31
9:00-10:00 OH (Robbie)
CSE2 311
10:00-12:00 OH (Ben and Alysa)
CSE2 121
12:00-13:00 OH (Karim)
Allen 3rd Floor Breakout
13:30-14:30 OH (Anna)
5th Floor Breakout
15:00-17:00 OH (Ramya and Abosh)
CSE2 121
01
Lecture
Strong Induction
slides, pdf, handout, A-ink, B-ink, Concept Check 16
9:30-10:30 OH (Alicia)
https://washington.zoom.us/j/99614544353
14:30-16:00 OH (Timothy and Aruna)
CSE2 131
16:00-18:00 OH (Charles)
Allen 4th Floor Breakout
02
Section
Induction
handout, slides, solutions, slides with sols, Problems 1; 4
15:00-16:00 OH (Robbie)
CSE2 311
16:00-17:00 OH (Alex F)
Allen 2nd Floor Breakout
17:00-18:00 OH (Karim)
CSE2 131
17:00-18:00 OH (Cade)
https://washington.zoom.us/j/92356595822
03
Lecture
Induction Practice
slides, pdf, handout, A-ink, B-ink, Concept Check 17
9:30-10:30 OH (Aria)
https://washington.zoom.us/j/94354565338
11:30-12:30 OH (Allie)
Allen 3rd Floor Breakout
12:30-13:30 OH (Cleah and Parker)
CSE2 131
14:30-15:30 OH (Timothy, Owen, Jacob)
Allen 2nd Floor Breakout
15:30-17:30 OH (Alex L and Andy)
Allen 2nd Floor Breakout
November
MondayTuesdayWednesdayThursdayFriday
06
Lecture
Recusive Sets, Structural Induction
slides, pdf, handout, A-ink, B-ink, Concept Check 18
11:30-12:30 OH (Allie and Cade)
Allen 3rd floor Breakout
11:31-1:30 OH (Alicia)
Zoom https://washington.zoom.us/j/99614544353
15:00-16:00 OH (Aria)
Allen 2nd Floor Breakout
18:00-19:00 How to get started OH
Allen 403
07
9:00-10:00 OH (Robbie)
CSE2 311
10:00-12:00 OH (Ben and Alysa)
CSE2 121
12:00-13:00 OH (Karim)
Allen 3rd Floor Breakout
13:30-14:30 OH (Anna)
5th Floor Breakout
15:00-17:00 OH (Ramya and Abosh)
CSE2 121
08
Lecture
More Structural Induction
slides, pdf, handout, A-ink, B-ink, Concept Check 19
9:30-10:30 OH (Alicia)
https://washington.zoom.us/j/99614544353
14:30-16:00 OH (Alex L and Aruna)
CSE2 131
16:00-18:00 OH (Charles)
Allen 4th Floor Breakout
22:00 HW5 due
09
Section
Midterm Review!
handout, slides, solutions, slides with sols, Problems 2; 3; 5
15:00-16:00 OH (Robbie)
CSE2 311
15:00-16:00 OH (Timothy)
Allen 2nd floor breakout
16:00-17:00 OH (Alex F)
Allen 2nd Floor Breakout
17:00-18:00 OH (Karim)
CSE2 131
17:00-18:00 OH (Cade)
https://washington.zoom.us/j/92356595822
10
Veteran's Day*
9:30-10:30 OH (Aria)
https://washington.zoom.us/j/94354565338
14:30-15:30 OH (Owen)
https://washington.zoom.us/j/92082734328
13
Lecture
Structural/Regex
slides, pdf, handout, A-ink, B-ink, Concept Check 20 CC20 due Fri Nov 17
11:30-12:30 OH (Allie and Cade)
Allen 3rd floor Breakout
11:31-1:30 OH (Alicia)
Zoom https://washington.zoom.us/j/99614544353
15:00-16:00 OH (Aria)
Allen 2nd Floor Breakout
18:00-19:00 How to get started OH
Allen 403
14
9:00-10:00 OH (Robbie)
CSE2 311
10:00-12:00 OH (Ben and Alysa)
CSE2 121
12:00-13:00 OH (Karim)
Allen 3rd Floor Breakout
13:30-14:30 OH (Anna)
5th Floor Breakout
15:00-17:00 OH (Ramya and Abosh)
CSE2 121
15
Lecture
midterm review
slides, pdf, handout No CC
9:30-10:30 OH (Alicia)
https://washington.zoom.us/j/99614544353
14:30-16:00 OH (Timothy and Aruna)
CSE2 131
16:00-17:00 OH (Charles)
Allen 4th Floor Breakout
18:00-19:30 Midterm exam
BAG 131 and 154
16
Section
More Induction, Regex
handout, slides, solutions, slides with sols, Problems 1; 3; 4
16:00-17:00 OH (Alex F)
Allen 2nd Floor Breakout
17:00-18:00 OH (Karim)
CSE2 131
17:00-18:00 OH (Cade)
https://washington.zoom.us/j/92356595822
17
Lecture
Context Free Grammars
slides, pdf, handout, A-ink, B-ink, Concept Check 21
9:30-10:30 OH (Aria)
https://washington.zoom.us/j/94354565338
11:30-12:30 OH (Allie)
Allen 3rd Floor Breakout
12:30-13:30 OH (Cleah and Parker)
CSE2 131
14:30-15:30 OH (Timothy, Owen, Jacob)
Allen 2nd Floor Breakout
20
Lecture
CFGs/Relations
slides, pdf, handout, A-ink, B-ink, Concept Check 22
11:30-12:30 OH (Allie and Cade)
Allen 3rd floor Breakout
11:31-1:30 OH (Alicia)
Zoom https://washington.zoom.us/j/99614544353
15:00-16:00 OH (Aria)
Allen 2nd Floor Breakout
18:00-19:00 How to get started OH
Allen 403
21
9:00-10:00 OH (Robbie)
CSE2 311
10:00-12:00 OH (Ben and Alysa)
CSE2 121
12:00-13:00 OH (Karim)
Allen 3rd Floor Breakout
13:30-14:30 OH (Anna)
5th Floor Breakout
15:00-17:00 OH (Ramya and Abosh)
CSE2 121
22
Lecture
Relations/Graphs/Midterm debrief
slides, pdf, handout, A-ink, B-ink, Concept Check 23
9:30-10:30 OH (Alicia)
https://washington.zoom.us/j/99614544353
14:30-16:00 OH (Timothy and Aruna)
CSE2 131
16:00-18:00 OH (Charles)
Zoom https://washington.zoom.us/j/93976773884
22:00 HW6 due
23
Thanksgiving
24
Native American Heritage Day
27
Lecture
DFAs
slides, pdf, handout, A-ink, B-ink, Concept Check 24
11:30-12:30 OH (Allie and Cade)
Allen 3rd floor Breakout
11:31-1:30 OH (Alicia)
Zoom https://washington.zoom.us/j/99614544353
15:00-16:00 OH (Aria)
Allen 2nd Floor Breakout
18:00-19:00 How to get started OH
Allen 403
28
9:00-10:00 OH (Robbie)
CSE2 311
10:00-12:00 OH (Ben and Alysa)
CSE2 121
12:00-13:00 OH (Karim)
Allen 3rd Floor Breakout
13:30-14:30 OH (Anna)
5th Floor Breakout
15:00-17:00 OH (Ramya and Abosh)
CSE2 121
29
Lecture
NFAs
slides, pdf, handout, A-ink, B-ink, Concept Check 25
9:30-10:30 OH (Alicia)
https://washington.zoom.us/j/99614544353
14:30-16:00 OH (Timothy and Aruna)
CSE2 131
16:00-18:00 OH (Charles)
Zoom https://washington.zoom.us/j/93412498858
30
Section
Models of Computation
handout, slides, solutions, slides with sols, Problems 1; 2; 3; 5
15:00-16:00 OH (Robbie)
CSE2 311
16:00-17:00 OH (Alex F)
Allen 2nd Floor Breakout
17:00-18:00 OH (Karim)
CSE2 131
17:00-18:00 OH (Cade)
https://washington.zoom.us/j/92356595822
01
Lecture
Equivalence of automata, regex
slides, pdf, handout, A-ink, B-ink, Concept Check 26
9:30-10:30 OH (Aria)
https://washington.zoom.us/j/94354565338
11:30-12:30 OH (Allie)
Allen 3rd Floor Breakout
12:30-13:30 OH (Cleah and Parker)
CSE2 131
14:30-15:30 OH (Timothy, Owen, Jacob)
Allen 2nd Floor Breakout
15:30-17:30 OH (Alex L and Andy)
Allen 2nd Floor Breakout
22:00 HW7 due
December
MondayTuesdayWednesdayThursdayFriday
04
Lecture
Irregular Languages
slides, pdf, handout, A-ink, B-ink, Concept Check 27
11:30-12:30 OH (Allie and Cade)
Allen 3rd floor Breakout
11:31-1:30 OH (Alicia)
Zoom https://washington.zoom.us/j/99614544353
15:00-16:00 OH (Aria)
Allen 2nd Floor Breakout
18:00-19:00 How to get started OH
Allen 403
05
9:00-10:00 OH (Robbie)
CSE2 311
10:00-12:00 OH (Ben and Alysa)
CSE2 121
12:00-13:00 OH (Karim)
Allen 3rd Floor Breakout
13:30-14:30 OH (Anna)
5th Floor Breakout
15:00-17:00 OH (Ramya and Abosh)
CSE2 121
06
Lecture
Uncountable Sets
slides, pdf, handout, A-ink, B-ink, Concept Check 28
9:30-10:30 OH (Alicia)
https://washington.zoom.us/j/99614544353
14:30-16:00 OH (Timothy and Aruna)
CSE2 131
16:00-18:00 OH (Charles)
Zoom https://washington.zoom.us/j/96461065866
07
Section
Final Review
handout, slides, solutions, slides with sols, Problems 1; 5; 6; 8
15:00-16:00 OH (Robbie)
CSE2 311
16:00-17:00 OH (Alex F)
Allen 2nd Floor Breakout
17:00-18:00 OH (Karim)
CSE2 131
17:00-18:00 OH (Cade)
https://washington.zoom.us/j/92356595822
08
Lecture
Halting Problem
slides, pdf, handout, A-ink, B-ink, Concept Check 29 (due Mon 10:30 AM)
9:30-10:30 OH (Aria)
https://washington.zoom.us/j/94354565338
11:30-12:30 OH (Allie)
Allen 3rd Floor Breakout
12:30-13:30 OH (Cleah and Parker)
CSE2 131
14:30-15:30 OH (Timothy, Owen, Jacob)
Allen 2nd Floor Breakout
15:30-17:30 OH (Alex L and Andy)
Allen 2nd Floor Breakout
22:00 HW8 due
11
16:30-18:20 Final exam
KNE 130
12 13 14 15