Schedule

September
MondayTuesdayWednesdayThursdayFriday
23 24 25
Lecture
Intro, Propositional Logic
slides, pdf, handout, A-ink, B-ink, Concept Check 1 CC1 due Mon Sep 30
26
Section
Propositions, translation
handout, slides, solutions Problems 2a,b; 3a,b
27
Lecture
Equivalences, What is a proof?
slides, pdf, handout, A-ink, B-ink, Concept Check 2 CCs due 1:30 on day of next lecture unless otherwise noted.
10:00-10:50 OH (Sam)
CSE (Allen) 4th Floor Breakout
11:30-12:00 Conceptual-only OH (Andrey R)
CSE2 (Gates) 150
12:00-12:20 Conceptual-only OH (Andrey R)
CSE2 (Gates) 131
12:30-13:20 OH (Saket)
CSE2 (Gates) 131
30
Lecture
Contrapositives, proofs
slides, pdf, handout, A-ink, B-ink, Concept Check 3
9:30-10:20 OH (Robbie)
CSE2 (Gates) 311
11:00-11:50 OH (Iris)
CSE2 (Gates) 151
12:00-13:20 OH (Saket)
CSE2 (Gates) 131
14:30-15:20 Conceptual-only OH (Ameya)
CSE2 (Gates) 121
16:30-17:20 OH (Cindy, Iris)
CSE (Allen) 2nd Floor Breakout
01
9:30-10:20 Conceptual-only OH (Andre Ye)
CSE (Allen) 3rd Floor Breakout
10:30-11:20 OH (Jay)
CSE2 (Gates) 131
11:30-12:20 OH (Andrey)
CSE2 (Gates) 131
12:30-15:20 OH (Alysa and/or Ariel)
CSE2 (Gates) 131
16:30-18:30 OH (Parker, Zareef)
CSE2 (Gates) 121
02
Lecture
More proofs, alternate notation
slides, pdf, no handout, Ink, Concept Check 4
9:30-10:50 Hybrid OH (Cleah)
CSE2 (Gates) 121
11:30-12:20 OH (Emma)
CSE2 (Gates) 121
12:30-13:20 OH (Saket)
CSE2 (Gates) 121
14:30-15:20 OH (Cindy, Gaurang)
CSE (Allen) 2nd Floor Breakout
23:59 HW1 due
03
Section
Digital logic
handout, slides, slides with sols, solutions, Problems 3,4b,6
15:30-16:20 OH (Aria)
CSE (Allen) 3rd Floor Breakout
04
Lecture
Predicates and quantifiers
slides, pdf, handout, A-ink, no B-ink, Concept Check 5
10:00-10:50 OH (Sam)
CSE (Allen) 4th Floor Breakout
12:00-12:20 Conceptual-only OH (Andrey R)
CSE2 (Gates) 131
12:30-13:20 OH (Saket)
CSE2 (Gates) 131
14:30-15:00 Conceptual-only OH (Andrey R)
CSE2 (Gates) 121
October
MondayTuesdayWednesdayThursdayFriday
07
Lecture
Nested unalike quantifiers
slides, pdf, handout, A-ink, B-ink, Concept Check 6
9:30-10:20 OH (Robbie)
CSE2 (Gates) 311
11:00-11:50 OH (Iris)
CSE2 (Gates) 151
12:00-13:20 OH (Saket)
CSE2 (Gates) 131
14:30-15:20 Conceptual-only OH (Ameya)
CSE2 (Gates) 121
16:30-17:20 OH (Cindy, Iris)
CSE (Allen) 2nd Floor Breakout
08
10:30-11:20 OH (Jay)
CSE2 (Gates) 131
11:30-12:20 OH (Andrey)
CSE2 (Gates) 131
12:30-15:20 OH (Alysa and/or Ariel)
CSE2 (Gates) 131
16:30-18:30 OH (Parker, Zareef)
CSE2 (Gates) 121
09
Lecture
Direct proofs (English)
slides, pdf, handout, A-ink, B-ink, Concept Check 7
9:30-10:50 Hybrid OH (Cleah)
CSE2 (Gates) 121
11:30-12:20 OH (Emma)
CSE2 (Gates) 121
12:30-13:20 OH (Saket)
CSE2 (Gates) 121
14:30-15:20 OH (Cindy, Gaurang)
CSE (Allen) 2nd Floor Breakout
23:59 HW2 due
10
Section
Quantifiers, proofs
handout, slides, slides with sols, solutions, Problems 1a,c; 2a,b; 3; 4d, e; 7
15:30-16:20 OH (Aria)
CSE (Allen) 3rd Floor Breakout
11
Lecture
Inference rules
slides, pdf, handout, A-ink, B-ink, Concept Check 8
10:00-10:50 OH (Sam)
CSE (Allen) 4th Floor Breakout
11:30-12:00 Conceptual-only OH (Andrey R)
CSE2 (Gates) 150
12:00-12:20 Conceptual-only OH (Andrey R)
CSE2 (Gates) 131
12:30-13:20 OH (Saket)
CSE2 (Gates) 131
14
Lecture
Quantified Inference Proofs, Number theory defns
slides, pdf, handout, A-ink, B-ink, Concept Check 9
9:30-10:20 OH (Robbie)
CSE2 (Gates) 311
11:00-11:50 OH (Iris)
CSE2 (Gates) 151
12:00-13:20 OH (Saket)
CSE2 (Gates) 131
14:30-15:20 Conceptual-only OH (Ameya)
CSE2 (Gates) 121
16:30-17:20 OH (Cindy, Iris)
CSE (Allen) 2nd Floor Breakout
15
9:30-10:20 Conceptual-only OH (Andre Ye)
CSE (Allen) 3rd Floor Breakout
10:30-11:20 OH (Jay)
CSE2 (Gates) 131
11:30-12:20 OH (Andrey)
CSE2 (Gates) 131
12:30-15:20 OH (Alysa and/or Ariel)
CSE2 (Gates) 131
16:30-18:30 OH (Parker, Zareef)
CSE2 (Gates) 121
16
Lecture
More Number Theory
slides, pdf, handout, A-ink, B-ink, Concept Check 10
9:30-10:50 Hybrid OH (Cleah)
CSE2 (Gates) 121
11:30-12:20 OH (Emma)
CSE2 (Gates) 121
12:30-13:20 OH (Saket)
CSE2 (Gates) 121
14:30-15:20 OH (Cindy, Gaurang)
CSE (Allen) 2nd Floor Breakout
23:59 HW3 due
17
Section
English proofs, Divisibility/Modulo, Inference Proofs
handout, slides, slides with sols, solutions, Problems 1; 2b,c; 10a; 12
15:30-16:20 OH (Aria)
CSE (Allen) 3rd Floor Breakout
18
Lecture
Even More number theory (proofs, equivalences)
slides, pdf, handout, A-ink, B-ink, Concept Check 11
10:00-10:50 OH (Sam)
CSE (Allen) 4th Floor Breakout
11:30-12:00 Conceptual-only OH (Andrey R)
CSE2 (Gates) 150
12:00-12:20 Conceptual-only OH (Andrey R)
CSE2 (Gates) 131
12:30-13:20 OH (Saket)
CSE2 (Gates) 131
21
Lecture
Proof by contradiction
slides, pdf, handout, A-ink, B-ink, Concept Check 12
9:30-10:20 OH (Robbie)
CSE2 (Gates) 311
11:00-11:50 OH (Iris)
CSE2 (Gates) 151
12:00-13:20 OH (Saket)
CSE2 (Gates) 131
14:30-15:20 Conceptual-only OH (Ameya)
CSE2 (Gates) 121
16:30-17:20 OH (Cindy, Iris)
CSE (Allen) 2nd Floor Breakout
22
9:30-10:20 Conceptual-only OH (Andre Ye)
CSE (Allen) 3rd Floor Breakout
10:30-11:20 OH (Jay)
CSE2 (Gates) 131
11:30-12:20 OH (Andrey)
CSE2 (Gates) 131
12:30-15:20 OH (Alysa and/or Ariel)
CSE2 (Gates) 131
16:30-18:30 OH (Parker, Zareef)
CSE2 (Gates) 121
23
Lecture
Number theory wrap-up
slides, pdf, handout, A-ink, B-ink, Concept Check 13
9:30-10:50 Hybrid OH (Cleah)
CSE2 (Gates) 121
11:30-12:20 OH (Emma)
CSE2 (Gates) 121
12:30-13:20 OH (Saket)
CSE2 (Gates) 121
14:30-15:20 OH (Cindy, Gaurang)
CSE (Allen) 2nd Floor Breakout
23:59 HW4 due
24
Section
Inference and number theory
handout, slides, slides with sols, solutions, Problems 1, 2, 5.b
15:30-16:20 OH (Aria)
CSE (Allen) 3rd Floor Breakout
25
Lecture
Set theory
slides, pdf, handout, A-ink, B-ink, Concept Check 14
10:00-10:50 OH (Sam)
CSE (Allen) 4th Floor Breakout
11:30-12:00 Conceptual-only OH (Andrey R)
CSE2 (Gates) 150
12:00-12:20 Conceptual-only OH (Andrey R)
CSE2 (Gates) 131
12:30-13:20 OH (Saket)
CSE2 (Gates) 131
28
Lecture
Induction
slides, pdf, handout, A-ink, B-ink, Concept Check 15
9:30-10:20 OH (Robbie)
CSE2 (Gates) 311
11:00-11:50 OH (Iris)
CSE2 (Gates) 151
12:00-13:20 OH (Saket)
CSE2 (Gates) 131
14:30-15:20 Conceptual-only OH (Ameya)
CSE2 (Gates) 121
16:30-17:20 OH (Cindy, Iris)
CSE (Allen) 2nd Floor Breakout
29
9:30-10:20 Conceptual-only OH (Andre Ye)
CSE (Allen) 3rd Floor Breakout
10:30-11:20 OH (Jay)
CSE2 (Gates) 131
11:30-12:20 OH (Andrey)
CSE2 (Gates) 131
12:30-15:20 OH (Alysa and/or Ariel)
CSE2 (Gates) 131
16:30-18:30 OH (Parker, Zareef)
CSE2 (Gates) 121
30
Lecture
Strong Induction
slides, pdf, handout, A-ink, B-ink, Concept Check 16
9:30-10:50 Hybrid OH (Cleah)
CSE2 (Gates) 121
11:30-12:20 OH (Emma)
CSE2 (Gates) 121
12:30-13:20 OH (Saket)
CSE2 (Gates) 121
14:30-15:20 OH (Cindy, Gaurang)
CSE (Allen) 2nd Floor Breakout
23:59 HW5 due
31
Section
Induction :D
handout, slides, slides with sols, solutions,Problems 1a,b; 5
15:30-16:20 OH (Aria)
CSE (Allen) 3rd Floor Breakout
01
Lecture
Induction Practice
slides, pdf, handout, A-ink, B-ink, Concept Check 17
10:00-10:50 OH (Sam)
CSE (Allen) 4th Floor Breakout
11:30-12:00 Conceptual-only OH (Andrey R)
CSE2 (Gates) 150
12:00-12:20 Conceptual-only OH (Andrey R)
CSE2 (Gates) 131
12:30-13:20 OH (Saket)
CSE2 (Gates) 131
November
MondayTuesdayWednesdayThursdayFriday
04
Lecture
Recursive sets & Structural induction
slides, pdf, handout, A-ink, B-ink, Concept Check 18
9:30-10:20 OH (Robbie)
CSE2 (Gates) 311
11:00-11:50 OH (Iris)
CSE2 (Gates) 151
12:00-13:20 OH (Saket)
CSE2 (Gates) 131
14:30-15:20 Conceptual-only OH (Ameya)
CSE2 (Gates) 121
16:30-17:20 OH (Cindy, Iris)
CSE (Allen) 2nd Floor Breakout
05
9:30-10:20 Conceptual-only OH (Andre Ye)
CSE (Allen) 3rd Floor Breakout
10:30-11:20 OH (Jay)
CSE2 (Gates) 131
11:30-12:20 OH (Andrey)
CSE2 (Gates) 131
12:30-15:20 OH (Alysa and/or Ariel)
CSE2 (Gates) 131
16:30-18:30 OH (Parker, Zareef)
CSE2 (Gates) 121
06
Lecture
More structural induction
slides, pdf, handout, A-ink, B-ink, Concept Check 19
9:30-10:50 Hybrid OH (Cleah)
CSE2 (Gates) 121
11:30-12:20 OH (Emma)
CSE2 (Gates) 121
12:30-13:20 OH (Saket)
CSE2 (Gates) 121
14:30-15:20 OH (Cindy, Gaurang)
CSE (Allen) 2nd Floor Breakout
23:59 HW6 due
07
Section
Midterm Review
handout, slides, slides with sols, solutions, Problems 1-6
15:30-16:20 OH (Aria)
CSE (Allen) 3rd Floor Breakout
08
Lecture
Graphs, One-to-one/onto, graphs
slides, pdf, handout, A-ink, B-ink, Concept Check 20CC20 due Fri 11/15
10:00-10:50 OH (Sam)
CSE (Allen) 4th Floor Breakout
11:30-12:00 Conceptual-only OH (Andrey R)
CSE2 (Gates) 150
12:00-12:20 Conceptual-only OH (Andrey R)
CSE2 (Gates) 131
12:30-13:20 OH (Saket)
CSE2 (Gates) 131
11
Veteran's Day
12
9:00-10:00 OH (Robbie)
CSE2 (Gates) 311
9:30-10:20 Conceptual-only OH (Andre Ye)
CSE (Allen) 3rd Floor Breakout
10:30-11:20 OH (Jay)
CSE2 (Gates) 131
11:30-12:20 OH (Andrey)
CSE2 (Gates) 131
12:30-15:20 OH (Alysa and/or Ariel)
CSE2 (Gates) 131
16:30-18:30 OH (Parker, Zareef)
CSE2 (Gates) 121
13
9:30-10:50 Hybrid OH (Cleah)
CSE2 (Gates) 121
11:30-12:20 OH (Emma)
CSE2 (Gates) 121
12:30-13:20 OH (Saket)
CSE2 (Gates) 121
14:30-15:20 OH (Cindy, Gaurang)
CSE (Allen) 2nd Floor Breakout
18:00-19:30 Combined Midterm exam
14
Section
More Induction :D :D
slides, handout, slides with sols, solutions, Problems 1, 2, 8
15
Lecture
Regular Expressions
slides, pdf, handout, A-ink, B-ink, Concept Check 21
10:00-10:50 OH (Sam)
CSE (Allen) 4th Floor Breakout
11:30-12:00 Conceptual-only OH (Andrey R)
CSE2 (Gates) 150
12:00-12:20 Conceptual-only OH (Andrey R)
CSE2 (Gates) 131
12:30-13:20 OH (Saket)
CSE2 (Gates) 131
18
Lecture
Context Free Grammars
slides, pdf, handout, A-ink, B-ink, Concept Check 22Due Sunday (power outages)
9:30-10:20 OH (Robbie)
CSE2 (Gates) 311
11:00-11:50 OH (Iris)
CSE2 (Gates) 151
12:00-13:20 OH (Saket)
CSE2 (Gates) 131
14:30-15:20 Conceptual-only OH (Ameya)
CSE2 (Gates) 121
16:30-17:20 OH (Cindy, Iris)
CSE (Allen) 2nd Floor Breakout
19
9:30-10:20 Conceptual-only OH (Andre Ye)
CSE (Allen) 3rd Floor Breakout
10:30-11:20 OH (Jay)
CSE2 (Gates) 131
11:30-12:20 OH (Andrey)
CSE2 (Gates) 131
12:30-15:20 OH (Alysa and/or Ariel)
CSE2 (Gates) 131
16:30-18:30 OH (Parker, Zareef)
CSE2 (Gates) 121
20
Lecture
Finite State Machines
slides, pdf, handout, A-ink, B-ink, Concept Check 23 Due Sunday (power outages)
9:30-10:50 Hybrid OH (Cleah)
CSE2 (Gates) 121
11:30-12:20 OH (Emma)
CSE2 (Gates) 121
12:30-13:20 OH (Saket)
CSE2 (Gates) 121
14:30-15:20 OH (Cindy, Gaurang)
CSE (Allen) 2nd Floor Breakout
21
Section
Models of computation
slides, handout, slides with sols, solutions, Problems 1, 2, 3, 9
15:30-16:20 OH (Aria)
CSE (Allen) 3rd Floor Breakout
22
Lecture
DFAs and NFAs
slides, pdf, handout, A-ink, B-ink, Concept Check 24
10:00-10:50 OH (Sam)
CSE (Allen) 4th Floor Breakout
11:00-12:00 OH (Cleah)
Hybrid (Zoom and Allen 4th Floor Breakout)
11:30-12:00 Conceptual-only OH (Andrey R)
CSE2 (Gates) 150
12:00-12:20 Conceptual-only OH (Andrey R)
CSE2 (Gates) 131
12:30-13:20 OH (Saket)
CSE2 (Gates) 131
23:59 HW7 due
25
Lecture
NFAs and equivalence
slides, pdf, handout, A-ink, B-ink, Concept Check 25Due Mon Dec 2
9:30-10:20 OH (Robbie)
CSE2 (Gates) 311
11:00-11:50 OH (Iris)
CSE2 (Gates) 151
12:00-13:20 OH (Saket)
CSE2 (Gates) 131
14:30-15:20 Conceptual Only OH (Ameya)
Zoom
16:30-17:20 OH (Cindy, Iris)
CSE (Allen) 2nd Floor Breakout
26
9:30-10:20 Conceptual-only OH (Andre Ye)
CSE (Allen) 3rd Floor Breakout
10:30-11:20 OH (Jay)
CSE2 (Gates) 131
11:30-12:20 OH (Andrey)
CSE2 (Gates) 131
12:30-14:30 OH (Alysa)
CSE2 (Gates) 131
16:30-18:30 OH (Parker, Zareef)
CSE2 (Gates) 121
27
Lecture
Equivalence, wrap automata
Same slides, handout, Concept Check 26
11:30-12:20 OH (Emma)
CSE2 (Gates) 121
12:30-13:20 OH (Saket)
CSE2 (Gates) 121
28
Thanksgiving
29
Native American Heritage Day
December
MondayTuesdayWednesdayThursdayFriday
02
Lecture
Irregular languages
slides, pdf, handout, A-ink, B-ink, Concept Check 27
9:30-10:20 OH (Robbie)
CSE2 (Gates) 311
11:00-11:50 OH (Iris)
CSE2 (Gates) 151
12:00-13:20 OH (Saket)
CSE2 (Gates) 131
14:30-15:20 Conceptual Only OH (Ameya)
Zoom
16:30-17:20 OH (Cindy, Iris)
CSE (Allen) 2nd Floor Breakout
03
9:30-10:20 Conceptual-only OH (Andre Ye)
CSE (Allen) 3rd Floor Breakout
10:30-11:20 OH (Jay)
CSE2 (Gates) 131
11:30-12:20 OH (Andrey)
CSE2 (Gates) 131
12:30-15:20 OH (Alysa and/or Ariel)
CSE2 (Gates) 131
16:30-18:30 OH (Parker, Zareef)
CSE2 (Gates) 121
04
Lecture
Uncountability
slides, pdf, handout, A-ink, B-ink, Concept Check 28
9:30-10:50 Hybrid OH (Cleah)
CSE2 (Gates) 121
11:30-12:20 OH (Emma)
CSE2 (Gates) 121
12:30-13:20 OH (Saket)
CSE2 (Gates) 121
14:30-15:20 OH (Cindy, Gaurang)
CSE (Allen) 2nd Floor Breakout
23:59 HW8 due
05
Section
Final review
slides, handout, slides with sols, solutions, Problems 1 or 11
15:30-16:20 OH (Aria)
CSE (Allen) 3rd Floor Breakout
06
Lecture
The Halting Problem
slides, pdf, handout, A-ink, B-ink, Concept Check 29, Concept Check 30
10:00-10:50 OH (Sam)
CSE (Allen) 4th Floor Breakout
11:30-12:00 Conceptual-only OH (Andrey R)
CSE2 (Gates) 150
12:00-12:20 Conceptual-only OH (Andrey R)
CSE2 (Gates) 131
12:30-13:20 OH (Saket)
CSE2 (Gates) 131
09
12:30-14:20 Combined Final exam
10 11 12 13