CSE 311 Spring 2022
Course Calendar

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

 Show color key
March
MondayTuesdayWednesdayThursdayFriday
28
Lecture
Propositional Logic
syllabus slides, pptx, pdf, handout, A-ink, B-ink
29 30
Lecture
Logical Equivalences
pptx, pdf, handout, A-ink, B-ink
31
Section
Propositional Logic
handout solutions slides
15:30-16:20 OH (Alice and Alicia)
Allen 4th floor breakout
01
Lecture
Our First Proof
pptx, pdf, handout, A-ink, B-ink
10:30-12:20 OH (David)
Zoom
14:30-15:20 OH (Robbie)
Gates 311
16:30-18:20 OH (Allie and Sandy)
Allen 403
April
MondayTuesdayWednesdayThursdayFriday
04
Lecture
Contrapositives, Canonical Forms, Predicates
pptx, pdf, activity, A-ink, B-ink
11:30-13:20 OH (Kasper)
Allen 2nd floor breakout
14:30-15:20 OH (Yadi)
Gates 131
15:30-16:20 OH (Grace)
Gates 131
15:30-16:20 OH (Yadi)
Zoom
17:30-18:20 OH (Alicia and Alice)
Allen 5th floor breakout
05
10:00-11:00 OH (Robbie)
Zoom
14:30-15:20 OH (Zoey)
Allen 5th floor breakout
15:30-16:20 OH (Muru)
Zoom
16:30-18:20 OH (Jacob and Alex)
Allen 4th floor breakout
06
Lecture
Quantifiers, Inference Rules
pptx, pdf, pdf, A-ink, B-ink
10:30-11:20 OH (Alex)
Zoom
11:30-12:20 OH (Zoey)
Gates 121
14:30-15:20 OH (Muru and Anjali)
Gates 150
15:30-16:20 OH (Grace and Anjali)
Gates 150
16:30-17:20 OH (Allie and Sandy)
Allen 5th floor breakout
07
Section
Symbolic Proofs, Quantifiers
handout solutions slides
15:30-16:20 OH (Alice and Alicia)
Allen 4th floor breakout
08
Lecture
Nested Unalike Quantifiers, more inference proofs
pptx, pdf, activity, A-ink,B-ink
10:30-12:20 OH (David)
Zoom
14:30-15:20 OH (Robbie)
Gates 311
16:30-18:20 OH (Allie and Sandy)
Allen 403
11
Lecture
Inference Proofs with Quantifiers
pptx, pdf, activity, A-ink, B-ink, reading
11:30-13:20 OH (Kasper)
Allen 2nd floor breakout
14:30-15:20 OH (Yadi)
Gates 131
15:30-16:20 OH (Grace)
Gates 131
15:30-16:20 OH (Yadi)
Zoom
17:30-18:20 OH (Alicia and Alice)
Allen 5th floor breakout
12
10:00-11:00 OH (Robbie)
Zoom
14:30-15:20 OH (Zoey)
Allen 5th floor breakout
15:30-16:20 OH (Muru)
Zoom
16:30-18:20 OH (Jacob and Alex)
Allen 4th floor breakout
13
Lecture
Symbols and English
pptx, pdf, activity, A-ink, B-ink
10:30-11:20 OH (Alex)
Zoom
11:30-12:20 OH (Zoey)
Gates 121
14:30-15:20 OH (Muru and Anjali)
Gates 150
15:30-16:20 OH (Grace and Anjali)
Gates 150
16:30-17:20 OH (Allie and Sandy)
Allen 5th floor breakout
14
Section
Propositions and Proofs
handout solutions slides
15:30-16:20 OH (Alice and Alicia)
Allen 4th floor breakout
15
Lecture
English Proofs; Set Theory
pptx, pdf, activity, A-ink, B-ink
10:30-12:20 OH (David)
Zoom
14:30-15:20 OH (Robbie)
Gates 311
16:30-18:20 OH (Allie and Sandy)
Allen 403
18
Lecture
Set Theory
pptx, pdf, activity, A-ink, B-ink
11:30-13:20 OH (Kasper)
Allen 2nd floor breakout
14:30-15:20 OH (Yadi)
Gates 131
15:30-16:20 OH (Grace)
Gates 131
15:30-16:20 OH (Yadi)
Zoom
17:30-18:20 OH (Alicia and Alice)
Allen 5th floor breakout
19
10:00-11:00 OH (Robbie)
Zoom
14:30-15:20 OH (Zoey)
Allen 5th floor breakout
15:30-16:20 OH (Muru)
Zoom
16:30-18:20 OH (Jacob and Alex)
Allen 4th floor breakout
20
Lecture
Number Theory
pptx, pdf, activity, A-ink, B-ink
10:30-11:20 OH (Alex)
Zoom
11:30-12:20 OH (Zoey)
Gates 121
14:30-15:20 OH (Muru and Anjali)
Gates 150
15:30-16:20 OH (Grace and Anjali)
Gates 150
16:30-17:20 OH (Allie and Sandy)
Allen 5th floor breakout
21
Section
Set Theory and English Proofs
handout solutions slides
15:30-16:20 OH (Alice and Alicia)
Allen 4th floor breakout
22
Lecture
More Number Theory
pptx, pdf, activity, A-ink, B-ink
8:30-9:20 OH (Sandy)
Gates 150
10:30-12:20 OH (David)
Zoom
14:30-15:20 OH (Robbie)
Gates 311
16:30-17:20 OH (Allie)
Allen 403
25
Lecture
Even More Number Theory
pptx, pdf, activity, A-ink, B-ink
11:30-13:20 OH (Kasper)
Allen 2nd floor breakout
14:30-15:20 OH (Yadi)
Gates 131
15:30-16:20 OH (Grace)
Gates 131
15:30-16:20 OH (Yadi)
Zoom
17:30-18:20 OH (Alicia and Alice)
Allen 5th floor breakout
26
10:00-11:00 OH (Robbie)
Zoom
14:30-15:20 OH (Zoey)
Allen 5th floor breakout
15:30-16:20 OH (Muru)
Zoom
16:30-18:20 OH (Jacob and Alex)
Allen 4th floor breakout
27
Lecture
Induction!
pptx, pdf, activity, A-ink, B-ink
10:30-11:20 OH (Alex)
Zoom
11:30-12:20 OH (Zoey)
Gates 121
14:30-15:20 OH (Muru and Anjali)
Gates 150
15:30-16:20 OH (Grace and Anjali)
Gates 150
16:30-17:20 OH (Allie and Sandy)
Allen 5th floor breakout
28
Section
Number Theory and Induction
handout solutions slides
15:30-16:20 OH (Alice and Alicia)
Allen 4th floor breakout
29
Lecture
More Induction!!
pptx, pdf, activity, A-ink, B-ink
10:30-12:20 OH (David)
Zoom
14:30-15:20 OH (Robbie)
Gates 311
16:30-18:20 OH (Allie and Sandy)
Allen 403
May
MondayTuesdayWednesdayThursdayFriday
02
Lecture
Proof By Contradiction
pptx, pdf, activity, A-ink, B-ink
11:30-13:20 OH (Kasper)
Allen 2nd floor breakout
14:30-15:20 OH (Yadi)
Gates 131
15:30-16:20 OH (Grace)
Gates 131
15:30-16:20 OH (Yadi)
Zoom
17:30-18:20 OH (Alicia and Alice)
Allen 5th floor breakout
03
10:00-11:00 OH (Robbie)
Zoom
14:30-15:20 OH (Zoey)
Allen 5th floor breakout
15:30-16:20 OH (Muru)
Zoom
16:30-18:20 OH (Jacob and Alex)
Allen 4th floor breakout
04
Lecture
Wrap Number Theory
pptx, pdf, activity, A-ink, B-ink
10:30-11:20 OH (Alex)
Zoom
11:30-12:20 OH (Zoey)
Gates 121
14:30-15:20 OH (Muru and Anjali)
Gates 150
15:30-16:20 OH (Grace and Anjali)
Gates 150
16:30-17:20 OH (Allie and Sandy)
Allen 5th floor breakout
05
Section
More Induction and Midterm Review
handout solutions slides
15:30-16:20 OH (Alice and Alicia)
Allen 4th floor breakout
06
Lecture
Induction Practice
pptx, pdf, activity, A-ink, B-ink
10:30-12:20 OH (David)
Zoom
14:30-15:20 OH (Robbie)
Gates 311
16:30-18:20 OH (Allie and Sandy)
Allen 403
09
Lecture
Recursive Sets, Structural Induction
pptx, pdf, activity, A-ink, B-ink
11:30-13:20 OH (Kasper)
Allen 2nd floor breakout
14:30-15:20 OH (Yadi)
Gates 131
15:30-16:20 OH (Grace)
Gates 131
15:30-16:20 OH (Yadi)
Zoom
17:30-18:20 OH (Alicia and Alice)
Allen 5th floor breakout
10
10:00-11:00 OH (Robbie)
Zoom
14:30-15:20 OH (Zoey)
Allen 5th floor breakout
15:30-16:20 OH (Muru)
Zoom
16:30-18:20 OH (Jacob and Alex)
Allen 4th floor breakout
11
Lecture
More Structural Induction, regular expressions
pptx, pdf, activity, A-ink, B-ink
10:30-11:20 OH (Alex)
Zoom
11:30-12:20 OH (Zoey)
Gates 121
14:30-15:20 OH (Muru and Anjali)
Gates 150
15:30-16:20 OH (Grace and Anjali)
Gates 150
16:30-17:20 OH (Allie and Sandy)
Allen 5th floor breakout
12
Section
More Induction
handout solutions slides
15:30-16:20 OH (Alice and Alicia)
Allen 4th floor breakout
13
Lecture
Regular Expressions, CFGs
pptx, pdf, activity, A-ink, B-ink
10:30-12:20 OH (David)
Zoom
14:30-15:20 OH (Robbie)
Gates 311
16:30-18:20 OH (Allie and Sandy)
Allen 403
16
Lecture
CFGs, Relations
pptx, pdf, activity, A-ink, B-ink
11:30-13:20 OH (Kasper)
Allen 2nd floor breakout
14:30-15:20 OH (Yadi)
Gates 131
15:30-16:20 OH (Grace)
Gates 131
15:30-16:20 OH (Yadi)
Zoom
17:30-18:20 OH (Alicia and Alice)
Allen 5th floor breakout
17
10:00-11:00 OH (Robbie)
Zoom
14:30-15:20 OH (Zoey)
Allen 5th floor breakout
15:30-16:20 OH (Muru)
Zoom
16:30-18:20 OH (Jacob and Alex)
Allen 4th floor breakout
18
Lecture
Relations and Graphs
pptx, pdf, activity, A-ink, B-ink
10:30-11:20 OH (Alex)
Zoom
11:30-12:20 OH (Zoey)
Gates 121
14:30-15:20 OH (Muru and Anjali)
Gates 150
15:30-16:20 OH (Grace and Anjali)
Gates 150
16:30-17:20 OH (Allie and Sandy)
Allen 5th floor breakout
19
Section
Regex, CFGs, More (More) Induction
handout solutions slides
15:30-16:20 OH (Alice and Alicia)
Allen 4th floor breakout
20
Lecture
Finite State Machines
pptx, pdf, activity, A-ink, B-ink
10:30-12:20 OH (David)
Zoom
14:30-15:20 OH (Robbie)
Gates 311
16:30-18:20 OH (Allie and Sandy)
Allen 403
23
Lecture
FSMs in real life; NFAs
pptx, pdf, activity, A-ink, B-ink
11:30-13:20 OH (Kasper)
Allen 2nd floor breakout
14:30-15:20 OH (Yadi)
Gates 131
15:30-16:20 OH (Grace)
Gates 131
15:30-16:20 OH (Yadi)
Zoom
17:30-18:20 OH (Alicia and Alice)
Allen 5th floor breakout
24
10:00-11:00 OH (Robbie)
Zoom
14:30-15:20 OH (Zoey)
Allen 5th floor breakout
15:30-16:20 OH (Muru)
Zoom
16:30-18:20 OH (Jacob and Alex)
Allen 4th floor breakout
25
Lecture
NFAs/DFAs/Reg Exes
pptx, pdf, activity, A-ink, B-ink
10:30-11:20 OH (Alex)
Zoom
11:30-12:20 OH (Zoey)
Gates 121
14:30-15:20 OH (Muru and Anjali)
Gates 150
15:30-16:20 OH (Grace and Anjali)
Gates 150
16:30-17:20 OH (Allie and Sandy)
Allen 5th floor breakout
26
Section
Relations, DFAs, NFAs
handout solutions slides
15:30-16:20 OH (Alice and Alicia)
Allen 4th floor breakout
27
Lecture
Limits of Computation
pptx, pdf, activity, A-ink, B-ink
10:30-12:20 OH (David)
Zoom
14:30-15:20 OH (Robbie)
Gates 311
16:30-18:20 OH (Allie and Sandy)
Allen 403
30
Memorial Day
31
10:00-11:00 OH (Robbie)
Zoom
14:30-15:20 OH (Zoey)
Allen 5th floor breakout
15:30-16:20 OH (Muru)
Zoom
16:30-18:20 OH (Jacob and Alex)
Allen 4th floor breakout
01
Lecture
Uncountability
pptx, pdf, activity, A-ink, B-ink
10:30-11:20 OH (Alex)
Zoom
11:30-12:20 OH (Zoey)
Gates 121
14:30-15:20 OH (Muru and Anjali)
Gates 150
15:30-16:20 OH (Grace and Anjali)
Gates 150
16:30-17:20 OH (Allie and Sandy)
Allen 5th floor breakout
02
Section
Final Review
handout solutions slides review session slides
15:30-16:20 OH (Alice and Alicia)
Allen 4th floor breakout
03
Lecture
Uncomputability
pptx, pdf, activity, A-ink, B-ink
10:30-12:20 OH (David)
Zoom
14:30-15:20 OH (Robbie)
Gates 311
16:30-18:20 OH (Allie and Sandy)
Allen 403
June
MondayTuesdayWednesdayThursdayFriday
06
12:30-14:20 Combined Final exam
07 08 09 10