| January | ||||
| Monday | Tuesday | Wednesday | Thursday | Friday |
| 01 | 02 | 03
13:30-14:20 Lecture
MGH 389 Propositions slides (pptx), slides (pdf), activity, Ink, Concept Check 1 CC1 due Mon Jan 8 Syllabus slides |
04
Section
Propositions & Translation handout, slides, solutions, slides with sols, Problems 1a,b; 2a,c,f
10:30-11:30 OH (Sam)
Allen 2nd Floor Breakout |
05
11:30-13:30 OH (Anna)
Allen 5th Floor Breakout
13:30-14:20 Lecture
MGH 389 Logical Equivalences slides (pptx), slides (pdf), activity, Ink, Concept Check 2 CCs due at start of next lecture unless otherwise noted.
15:30-16:30 OH (Robbie)
CSE2 (Gates) 311 |
| 08
11:00-12:00 OH (Alex)
Allen 3rd floor Breakout
12:30-13:30 OH (Alan)
CSE2 151
13:30-14:20 Lecture
MGH 389 Our First Proof slides (pptx), slides (pdf), activity, Ink, Concept Check 3
14:30-15:30 OH (Timothy)
Allen 4th floor Breakout |
09
9:00-10:00 OH (Jacob)
CSE2 131
16:00-17:00 OH (Karim)
Allen 5th Floor Breakout
17:30-18:30 OH (Cade)
https://washington.zoom.us/j/92356595822 |
10
11:00-12:00 OH (Alysa)
Allen 5th Floor Breakout
12:30-13:30 OH (Alan)
https://washington.zoom.us/j/8378913809
13:30-14:20 Lecture
MGH 389 Proof, Notation slides (pptx), slides (pdf), activity, Ink, Concept Check 4
15:00-16:00 OH (Aruna)
Gates 121
16:00-17:00 OH (Owen)
Allen 5th Floor Breakout |
11
10:30-11:30 OH (Sam)
Allen 2nd Floor Breakout
16:30-17:30 OH (Karim)
Allen 5th Floor Breakout |
12
11:30-13:30 OH (Anna)
Allen 5th Floor Breakout
13:30-14:20 Lecture
MGH 389 Predicates, Quantifiers slides (pptx), slides (pdf), activity, Ink, Concept Check 5
15:30-16:30 OH (Robbie)
CSE2 (Gates) 311 |
| 15
MLK Day
|
16
9:00-10:00 OH (Jacob)
CSE2 131
16:00-17:00 OH (Karim)
Allen 5th Floor Breakout
17:30-18:30 OH (Cade)
https://washington.zoom.us/j/92356595822 |
17
11:00-12:00 OH (Alysa)
Allen 5th Floor Breakout
12:30-13:30 OH (Alan)
https://washington.zoom.us/j/8378913809
13:30-14:20 Lecture
MGH 389 More Quantifiers, Concepts of Proofs slides (pptx), slides (pdf), activity, Ink, Concept Check 6
15:00-16:00 OH (Aruna)
Gates 121
16:00-17:00 OH (Owen)
Allen 5th Floor Breakout |
18
Section
Quantifiers and Proofs handout, slides, solutions, slides with sols, Problems 1a,b;2a,c;9;3d,e;6
10:30-11:30 OH (Sam)
Allen 2nd Floor Breakout
16:30-17:30 OH (Karim)
Allen 5th Floor Breakout |
19
11:30-13:30 OH (Anna)
Allen 5th Floor Breakout
13:30-14:20 Lecture
MGH 389 Wrap Symbols; English Proofs slides (pptx), slides (pdf), activity, Ink, Concept Check 7
15:30-16:30 OH (Robbie)
CSE2 (Gates) 311 |
| 22
11:00-12:00 OH (Alex)
Allen 3rd floor Breakout
12:30-13:30 OH (Alan)
CSE2 151
13:30-14:20 Lecture
MGH 389 More Basic English Proofs slides (pptx), slides (pdf), activity, Ink, Concept Check 8
14:30-15:30 OH (Timothy)
Allen 4th floor Breakout |
23
9:00-10:00 OH (Anna)
CSE2 131
16:00-17:00 OH (Karim)
Allen 5th Floor Breakout
17:30-18:30 OH (Cade)
https://washington.zoom.us/j/92356595822 |
24
11:00-12:00 OH (Alysa)
Allen 5th Floor Breakout
12:30-13:30 OH (Alan)
https://washington.zoom.us/j/8378913809
13:30-14:20 Lecture
MGH 389 Wrap Up Basic English, Number Theory Defs slides (pptx), slides (pdf), activity, Ink, Concept Check 9
15:00-16:00 OH (Aruna)
Gates 121
16:00-17:00 OH (Owen)
Allen 5th Floor Breakout |
25
10:30-11:30 OH (Sam)
Allen 2nd Floor Breakout
16:30-17:30 OH (Karim)
Allen 5th Floor Breakout |
26
11:30-13:30 OH (Anna)
Allen 5th Floor Breakout
13:30-14:20 Lecture
MGH 389 Number Theory Proofs slides (pptx), slides (pdf), activity, Ink, Concept Check 10
15:30-16:30 OH (Robbie)
CSE2 (Gates) 311 |
| 29
11:00-12:00 OH (Alex)
Allen 3rd floor Breakout
12:30-13:30 OH (Alan)
CSE2 151
13:30-14:20 Lecture
MGH 389 More Number Theory slides (pptx), slides (pdf), activity, Ink, Concept Check 11
14:30-15:30 OH (Timothy)
Allen 4th floor Breakout |
30
9:00-10:00 OH (Jacob)
CSE2 131
16:00-17:00 OH (Karim)
Allen 5th Floor Breakout
17:30-18:30 OH (Cade)
https://washington.zoom.us/j/92356595822 |
31
11:00-12:00 OH (Alysa)
Allen 5th Floor Breakout
12:30-13:30 OH (Alan)
https://washington.zoom.us/j/8378913809
15:00-16:00 OH (Aruna)
Gates 121
16:00-17:00 OH (Owen)
Allen 5th Floor Breakout |
01
10:30-11:30 OH (Sam)
Allen 2nd Floor Breakout
16:30-17:30 OH (Karim)
Allen 5th Floor Breakout |
02
11:30-13:30 OH (Anna)
Allen 5th Floor Breakout
13:30-14:20 Lecture
MGH 389 More Induction slides (pptx), slides (pdf), activity, Ink, Concept Check 13
15:30-16:30 OH (Robbie)
CSE2 (Gates) 311 |
| February | ||||
| Monday | Tuesday | Wednesday | Thursday | Friday |
| 05
11:00-12:00 OH (Alex)
Allen 3rd floor Breakout
12:30-13:30 OH (Alan)
CSE2 151
13:30-14:20 Lecture
MGH 389 Proof by Contradiction slides (pptx), slides (pdf), activity, no ink, Concept Check 14
14:30-15:30 OH (Timothy)
Allen 4th floor Breakout |
06
9:00-10:00 OH (Jacob)
CSE2 131
16:00-17:00 OH (Karim)
Allen 5th Floor Breakout
17:30-18:30 OH (Cade)
https://washington.zoom.us/j/92356595822 |
07
11:00-12:00 OH (Alysa)
Allen 5th Floor Breakout
12:30-13:30 OH (Alan)
https://washington.zoom.us/j/8378913809
15:00-16:00 OH (Aruna)
Gates 121
16:00-17:00 OH (Owen)
Allen 5th Floor Breakout
17:00-18:00 OH (Anna & Jacob)
Allen 403 |
08
Section
Midterm Review & Proof by Contradiction/Sets handout,solutions, slides with sols, Problem 1;2;4
10:30-11:30 OH (Sam)
Allen 2nd Floor Breakout
16:30-17:30 OH (Karim)
Allen 5th Floor Breakout |
09
11:30-13:30 OH (Anna)
Allen 5th Floor Breakout
13:30-14:20 Lecture
MGH 389 Recusive Sets, Structural Indcution slides (pptx), slides (pdf), activity, Ink, Concept Check 16, CC16 due Wed 2/14
15:30-16:30 OH (Robbie)
CSE2 (Gates) 311 |
| 12
11:00-12:00 OH (Alex)
Allen 3rd floor Breakout
12:30-13:30 OH (Alan)
CSE2 151
14:30-15:30 OH (Timothy)
Allen 4th floor Breakout
18:30-20:00 Midterm exam
BAG 131 |
13
9:00-10:00 OH (Jacob)
CSE2 131
16:00-17:00 OH (Karim)
Allen 5th Floor Breakout
17:30-18:30 OH (Cade)
https://washington.zoom.us/j/92356595822 |
14
11:00-12:00 OH (Alysa)
Allen 5th Floor Breakout
12:30-13:30 OH (Alan)
https://washington.zoom.us/j/8378913809
13:30-14:20 Lecture
MGH 389 Structural Indcution slides (pptx), slides (pdf), activity, Ink, Concept Check 17
15:00-16:00 OH (Aruna)
Gates 121
16:00-17:00 OH (Owen)
Allen 5th Floor Breakout |
15
10:30-11:30 OH (Sam)
Allen 2nd Floor Breakout
16:30-17:30 OH (Karim)
Allen 5th Floor Breakout |
16
11:30-13:30 OH (Anna)
Allen 5th Floor Breakout
13:30-14:20 Lecture
MGH 389 Regular Expressions slides (pptx), slides (pdf), no activity, Ink, Concept Check 18 due Wed
15:30-16:30 OH (Robbie)
CSE2 (Gates) 311 |
| 19
President's Day
|
20
9:00-10:00 OH (Jacob)
CSE2 131
16:00-17:00 OH (Karim)
Allen 5th Floor Breakout
17:30-18:30 OH (Cade)
https://washington.zoom.us/j/92356595822 |
21
11:00-12:00 OH (Alysa)
Allen 5th Floor Breakout
12:30-13:30 OH (Alan)
https://washington.zoom.us/j/8378913809
13:30-14:20 Lecture
MGH 389 Context Free Grammars slides (pptx), slides (pdf), activity, Ink, Concept Check 19
15:00-16:00 OH (Aruna)
Gates 121
16:00-17:00 OH (Owen)
Allen 5th Floor Breakout
17:00-18:00 Getting Started OH (Anna & Jacob)
https://washington.zoom.us/j/8863219264 |
22
10:30-11:30 OH (Sam)
Allen 2nd Floor Breakout
16:30-17:30 OH (Karim)
Allen 5th Floor Breakout |
23
11:30-13:30 OH (Anna)
Allen 5th Floor Breakout
13:30-14:20 Lecture
MGH 389 Functions, Graphs, Start FSMs slides (pptx), slides (pdf), activity, Ink, Concept Check 20
15:30-16:30 OH (Robbie)
CSE2 (Gates) 311 |
| 26
11:00-12:00 OH (Alex)
Allen 3rd floor Breakout
12:30-13:30 OH (Alan)
CSE2 151
13:30-14:20 Lecture
MGH 389 Deterministic Finite Automata slides (pptx), slides (pdf), activity, Ink, Concept Check 21
14:30-15:30 OH (Timothy)
Allen 4th floor Breakout |
27
9:00-10:00 OH (Jacob)
CSE2 131
16:00-17:00 OH (Karim)
Allen 5th Floor Breakout
17:30-18:30 OH (Cade)
https://washington.zoom.us/j/92356595822 |
28
11:00-12:00 OH (Alysa)
Allen 5th Floor Breakout
12:30-13:30 OH (Alan)
https://washington.zoom.us/j/8378913809
13:30-14:20 Lecture
MGH 389 Nondeterministic Finite Automata, Equivalence slides (pptx), slides (pdf), activity, Ink, Concept Check 22
15:00-16:00 OH (Aruna)
Gates 121
16:00-17:00 OH (Owen)
Allen 5th Floor Breakout |
29
10:30-11:30 OH (Sam)
Allen 2nd Floor Breakout
16:30-17:30 OH (Karim)
Allen 5th Floor Breakout |
01
11:30-13:30 OH (Anna)
Allen 5th Floor Breakout
13:30-14:20 Lecture
MGH 389 NFA/DFA/RE Equivalence, Irregularity slides (pptx), slides (pdf), activity, Ink, Concept Check 23
15:30-16:30 OH (Robbie)
CSE2 (Gates) 311 |
| March | ||||
| Monday | Tuesday | Wednesday | Thursday | Friday |
| 04
11:00-12:00 OH (Alex)
Allen 3rd floor Breakout
12:30-13:30 OH (Alan)
CSE2 151
13:30-14:20 Lecture
MGH 389 Limitations of Computation slides (pptx), slides (pdf), activity, Ink, Concept Check 24
14:30-15:30 OH (Timothy)
Allen 4th floor Breakout |
05
9:00-10:00 OH (Jacob)
CSE2 131
16:00-17:00 OH (Karim)
Allen 5th Floor Breakout
17:30-18:30 OH (Cade)
https://washington.zoom.us/j/92356595822 |
06
11:00-12:00 OH (Alysa)
Allen 5th Floor Breakout
12:30-13:30 OH (Alan)
https://washington.zoom.us/j/8378913809
13:30-14:20 Lecture
MGH 389 Uncountability slides (pptx), slides (pdf), activity, Ink, Concept Check 25 CC25 due Mon 3/11
15:00-16:00 OH (Aruna)
Gates 121
16:00-17:00 OH (Owen)
Allen 5th Floor Breakout |
07
Section
Final Review and Irregularity Proofs handout, solutions, slides with sols, Problems 1a, 6, 8a, 9a-c
10:30-11:30 OH (Sam)
Allen 2nd Floor Breakout
16:30-17:30 OH (Karim)
Allen 5th Floor Breakout |
08
11:30-13:30 OH (Anna)
Allen 5th Floor Breakout
13:30-14:20 Lecture
MGH 389 Undecidability slides (pptx), slides (pdf), activity, Ink, Concept Check 26
15:30-16:30 OH (Robbie)
CSE2 (Gates) 311 |
| 11
14:30-16:20 Final exam
|
12 | 13 | 14 | 15 |