CSE 311 Winter 2023
Course Calendar

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

Show color key Show color key
January
MondayTuesdayWednesdayThursdayFriday
02 03 04
09:30-10:20 Lecture
THO 101
Intro, Propositions
pptx, pdf, handout, ink
05
Section
Introductions and Implications
handout, solutions, slides Problems 2a,b; 3a,b
06
09:30-10:20 Lecture
THO 101
Equivalences
pptx, pdf, handout, ink
17:00-18:00 OH (Yusuf)
Gates (CSE2) 131
09
09:30-10:20 Lecture
THO 101
Our First Proof
pptx, pdf, handout, ink
10:30-11:30 Virtual OH (Jacob)
Zoom
10:30-12:30 OH (Grace & Jacob)
Allen (CSE) 5th floor breakout
12:30-14:20 OH (Yadi)
Allen (CSE) 4th floor breakout
16:30-17:30 OH (Robert)
Allen (CSE) 3rd floor breakout
10
10:00-11:00 Virtual OH (Aria)
Zoom
13:30-15:30 OH (Kenny)
Gates (CSE2) 152
11
09:30-10:20 Lecture
THO 101
Predicates
pptx, pdf, handout, ink
11:00-12:30 OH (Davin)
Gates (CSE2) 131
16:00-17:00 OH (Robert)
Allen (CSE) 2nd floor breakout
18:30-19:30 OH (Yusuf)
Gates (CSE2) 121
12
Section
Propositional Logic Proofs
handout, solutions, slides Problems 4b, 5a, 6
09:00-10:00 OH (Robbie)
Gates (CSE2) 311
13
09:30-10:20 Lecture
THO 101
Quanfitiers
pptx, pdf, handout, ink
10:30-12:30 OH (Grace)
Gates (CSE2) 131
12:30-13:30 OH (Allie)
Allen (CSE) 4th floor breakout
15:30-16:30 OH (Aria)
Allen (CSE) 3rd floor breakout
17:00-18:00 OH (Yusuf)
Gates (CSE2) 131
16
MLK Day
17
10:00-11:00 Virtual OH (Aria)
Zoom
13:30-15:30 OH (Kenny)
Gates (CSE2) 152
18
09:30-10:20 Lecture
THO 101
Inference Proofs
pptx, pdf, handout, ink
11:00-12:30 OH (Davin)
Gates (CSE2) 131
16:00-17:00 OH (Robert)
Allen (CSE) 2nd floor breakout
18:30-19:30 OH (Yusuf)
Gates (CSE2) 121
19
Section
Domain Restriction and Formal Proofs
handout, solutions, slides Problems 1, 2, 4e, 5
09:00-10:00 OH (Robbie)
Gates (CSE2) 311
20
09:30-10:20 Lecture
THO 101
Inference Proofs with Qunatifiers
pptx, pdf, handout, ink, domain restriction reading
12:30-13:30 OH (Allie)
Allen (CSE) 4th floor breakout
15:30-16:30 OH (Aria)
Allen (CSE) 3rd floor breakout
17:00-18:00 OH (Yusuf)
Gates (CSE2) 131
23
09:30-10:20 Lecture
THO 101
Wrap Symbolic Proofs; English Proofs
pptx, pdf, handout, ink
10:30-11:30 Virtual OH (Jacob)
Zoom
10:30-12:30 OH (Grace & Jacob)
Allen (CSE) 5th floor breakout
12:30-14:20 OH (Yadi)
Allen (CSE) 4th floor breakout
16:30-17:30 OH (Robert)
Allen (CSE) 3rd floor breakout
24
10:00-11:00 Virtual OH (Aria)
Zoom
13:30-15:30 OH (Kenny)
Gates (CSE2) 152
25
09:30-10:20 Lecture
THO 101
English Proofs and Sets
pptx, pdf, handout, ink
11:00-12:30 OH (Davin)
Gates (CSE2) 131
16:00-17:00 OH (Robert)
Allen (CSE) 2nd floor breakout
18:30-19:30 OH (Yusuf)
Gates (CSE2) 121
26
Section
English Proofs and Sets
handout, solutions, slides Problems 2bc, 3ab, 5a, 4b
09:00-10:00 OH (Robbie)
Gates (CSE2) 311
27
09:30-10:20 Lecture
THO 101
Sets and Number Theory
pptx, pdf, handout, ink
12:30-13:30 OH (Allie)
Allen (CSE) 4th floor breakout
15:30-16:30 OH (Aria)
Allen (CSE) 3rd floor breakout
17:00-18:00 OH (Yusuf)
Gates (CSE2) 131
30
09:30-10:20 Lecture
THO 101
More Number Theory
pptx, pdf, handout, ink
10:30-11:30 Virtual OH (Jacob)
Zoom
10:30-12:30 OH (Grace & Jacob)
Allen (CSE) 5th floor breakout
16:30-17:30 OH (Robert)
Allen (CSE) 3rd floor breakout
31
10:00-11:00 Virtual OH (Aria)
Zoom
13:30-15:30 OH (Kenny)
Gates (CSE2) 152
01
09:30-10:20 Lecture
THO 101
Induction I
pptx, pdf, handout, ink, more ink
11:00-12:30 OH (Davin)
Gates (CSE2) 131
16:00-17:00 OH (Robert)
Allen (CSE) 2nd floor breakout
18:30-19:30 OH (Yusuf)
Gates (CSE2) 121
02
Section
Number Theory and Induction
handout, solutions, slides Problems 5a or b, 6a or b
09:00-10:00 OH (Robbie)
Gates (CSE2) 311
03
09:30-10:20 Lecture
THO 101
Induction II
pptx, pdf, handout, ink
12:30-13:30 OH (Allie)
Allen (CSE) 4th floor breakout
15:30-16:30 OH (Aria)
Allen (CSE) 3rd floor breakout
17:00-18:00 OH (Yusuf)
Gates (CSE2) 131
February
MondayTuesdayWednesdayThursdayFriday
06
09:30-10:20 Lecture
THO 101
Proof by Contradiction
pptx, pdf, handout, ink
10:30-11:30 Virtual OH (Jacob)
Zoom
10:30-12:30 OH (Grace & Jacob)
Allen (CSE) 5th floor breakout
12:30-14:20 OH (Yadi)
Allen (CSE) 4th floor breakout
16:30-17:30 OH (Robert)
Allen (CSE) 3rd floor breakout
07
10:00-11:00 Virtual OH (Aria)
Zoom
13:30-15:30 OH (Kenny)
Gates (CSE2) 152
08
09:30-10:20 Lecture
THO 101
Wrap Number Theory
pptx, pdf, handout, ink
11:00-12:30 OH (Davin)
Gates (CSE2) 131
16:00-17:00 OH (Robert)
Allen (CSE) 2nd floor breakout
18:30-19:30 OH (Yusuf)
Gates (CSE2) 121
09
Section
Induction and Midterm Review
handout, solutions 1 induction and 1 other (number theory/set/translation)
09:00-10:00 OH (Robbie)
Gates (CSE2) 311
10
09:30-10:20 Lecture
THO 101
Induction Practice Day
pptx, pdf, handout, ink
12:30-13:30 OH (Allie)
Allen (CSE) 4th floor breakout
15:30-16:30 OH (Aria)
Allen (CSE) 3rd floor breakout
13
09:30-10:20 Lecture
THO 101
Recursive Sets and Structural Induction
pptx, pdf, handout, ink
10:30-11:30 Virtual OH (Jacob)
Zoom
10:30-12:30 OH (Grace & Jacob)
Allen (CSE) 5th floor breakout
12:30-14:20 OH (Yadi)
Allen (CSE) 4th floor breakout
16:30-17:30 OH (Robert)
Allen (CSE) 3rd floor breakout
14
10:00-11:00 Virtual OH (Aria)
Zoom
13:30-15:30 OH (Kenny)
Gates (CSE2) 152
15
09:30-10:20 Lecture
THO 101
Structural Induction; regular expressions
pptx, pdf, handout, ink
11:00-12:30 OH (Davin)
Gates (CSE2) 131
16:00-17:00 OH (Robert)
Allen (CSE) 2nd floor breakout
18:30-19:30 OH (Yusuf)
Gates (CSE2) 121
16
Section
Structural Induction and Induction Practice
handout, solutions 0, 1, 3b
12:00-13:00 OH (Robbie)
Gates (CSE2) 311
17
09:30-10:20 Lecture
THO 101
Regular expressions; Context Free Grammars
pptx, pdf, handout, ink
12:30-13:30 OH (Allie)
Allen (CSE) 4th floor breakout
15:30-16:30 OH (Aria)
Allen (CSE) 3rd floor breakout
17:00-18:00 OH (Yusuf)
Gates (CSE2) 131
20
President's Day
21
10:00-11:00 Virtual OH (Aria)
Zoom
13:30-15:30 OH (Kenny)
Gates (CSE2) 152
15:00-17:00 OH (Grace)
Zoom
16:00-17:00 OH (Robert)
Allen (CSE) 5th floor breakout
22
09:30-10:20 Lecture
THO 101
CFGs, Relations
pptx, pdf, handout, no ink
11:00-12:30 OH (Davin)
Gates (CSE2) 131
16:00-17:00 OH (Robert)
Allen (CSE) 2nd floor breakout
18:30-19:30 OH (Yusuf)
Gates (CSE2) 121
23
Section
Structural Induction, Regex, CFGs
handout, solutions 1,2,6,5
09:00-10:00 OH (Robbie)
Gates (CSE2) 311
24
09:30-10:20 Lecture
THO 101
Relations; Graphs
pptx, pdf, handout, ink
12:30-13:30 OH (Allie)
Allen (CSE) 4th floor breakout
13:00-14:00 OH (Aria)
Zoom
17:00-18:00 OH (Yusuf)
Gates (CSE2) 131
27
09:30-10:20 Lecture
THO 101
Finite State Machines
pptx, pdf, handout, ink
10:30-11:30 Virtual OH (Jacob)
Zoom
10:30-12:30 OH (Grace & Jacob)
Allen (CSE) 5th floor breakout
12:30-14:20 OH (Yadi)
Allen (CSE) 4th floor breakout
16:30-17:30 OH (Robert)
Allen (CSE) 3rd floor breakout
28
10:00-11:00 Virtual OH (Aria)
Zoom
13:30-15:30 OH (Kenny)
Gates (CSE2) 152
01
09:30-10:20 Lecture
THO 101
Minimization; Nondeterministic Finite Automata
pptx, pdf, handout, ink, optional
11:00-12:30 OH (Davin)
Gates (CSE2) 131
16:00-17:00 OH (Robert)
Allen (CSE) 2nd floor breakout
18:30-19:30 OH (Yusuf)
Gates (CSE2) 121
02
Section
Relations, DFAs, NFAs
handout, solutions 2,3,5,4b
09:00-10:00 OH (Robbie)
Gates (CSE2) 311
03
09:30-10:20 Lecture
THO 101
Equivalence of NFA/DFA/Regex
pptx, pdf, handout, ink
12:30-13:30 OH (Allie)
Allen (CSE) 4th floor breakout
15:30-16:30 OH (Aria)
Allen (CSE) 3rd floor breakout
17:00-18:00 OH (Yusuf)
Gates (CSE2) 131
March
MondayTuesdayWednesdayThursdayFriday
06
09:30-10:20 Lecture
THO 101
Limits of NFAs
pptx, pdf, handout, ink
10:30-11:30 Virtual OH (Jacob)
Zoom
10:30-12:30 OH (Grace & Jacob)
Allen (CSE) 5th floor breakout
12:30-14:20 OH (Yadi)
Allen (CSE) 4th floor breakout
16:30-17:30 OH (Robert)
Allen (CSE) 3rd floor breakout
07
10:00-11:00 Virtual OH (Aria)
Zoom
13:30-15:30 OH (Kenny)
Gates (CSE2) 152
08
09:30-10:20 Lecture
THO 101
Uncountability
pptx, pdf, handout, ink
11:00-12:30 OH (Davin)
Gates (CSE2) 131
16:00-17:00 OH (Robert)
Allen (CSE) 2nd floor breakout
18:30-19:30 OH (Yusuf)
Gates (CSE2) 121
09
Section
Final Review
handout, solutions 1a, pick 2 review questions
09:00-10:00 OH (Robbie)
Gates (CSE2) 311
10
09:30-10:20 Lecture
THO 101
Undecidability
pptx, pdf, handout, ink
12:30-13:30 OH (Allie)
Allen (CSE) 4th floor breakout
15:30-16:30 OH (Aria)
Allen (CSE) 3rd floor breakout
17:00-18:00 OH (Yusuf)
Gates (CSE2) 131
13
10:30-12:30 OH (Jacob & Davin)
Allen (CSE) 5th floor breakout
16:30-17:30 OH (Robert)
Allen (CSE) 3rd floor breakout
14
10:00-11:00 Virtual OH (Aria)
Zoom
15
08:30-10:20 Final exam
16 17