CSE 311 Autumn 2014
Course Calendar

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

 Show color key

September
MondayTuesdayWednesdayThursdayFriday
22 23 24
Lecture
Introduction; Propositional Logic
1.1 and 1.2 (7th), 1.1 (6th)
Slides Propositional Logic
HW1 out
14:30-15:00 OH Beame
CSE 668
25
Section
Propositional Logic
26
Lecture
Propositional Logic, Circuits, Logical Equivalence
1.1-1.3 (7th), 1.1-1.2 (6th)
Slides Propositional Logic, Circuits, Equivalence
10:00-11:00 OH Beame
CSE 668
10:30-11:20 OH Evans
CSE 021
13:30-14:20 OH Bosselut
CSE 218
14:30-15:00 OH Beame
CSE 668
15:30-16:20 OH Blank
CSE 444
29
Lecture
Propositional Logic, Boolean Algebra and Circuits
12.1-12.3 (7th), 11.1-11.3 (6th)
Slides: Propositional Logic, Boolean Logic
10:30-11:20 OH Blank
CSE 444
12:00-12:50 OH Elaine Levey
CSE 021
14:30-15:20 OH Beame
CSE 668
15:30-16:20 OH Gupta
CSE 021
30
10:00-10:50 OH Blank
CSE 444
12:30-13:20 OH Lee
CSE 218
14:00-14:50 OH Sheng
CSE 021
15:00-15:50 OH McCarty
CSE 220
01
Lecture
Boolean Algebra and Circuits
12.1-12.3 (7th), 11.1-11.3 (6th)
Slides: Boolean Algebra, Circuits
HW2 out (Edit: 10/02, 8:30am)
9:30-(A)-13:30-(B) HW1 due
14:30-15:00 OH Beame
CSE 668
02
Section
Circuits, Logical Equivalence, and Boolean Algebra
03
Lecture
Canonical Forms, Predicate Logic
1.4-1.5 (7th), 1.3-1.4 (6th)
Slides: Canonical Forms, Predicate Logic
10:00-11:00 OH Beame
CSE 668
10:30-11:20 OH Evans
CSE 021
13:30-14:20 OH Bosselut
CSE 218
14:30-15:00 OH Beame
CSE 668
15:30-16:20 OH Blank
CSE 444

October
MondayTuesdayWednesdayThursdayFriday
06
Lecture
Predicate Logic, Inference
1.6-1.7 (7th edition), 1.5-1.7 (6th edition)
Slides: Predicate Logic, Logical Inference
10:30-11:20 OH Blank
CSE 444
12:00-12:50 OH Elaine Levey
CSE 021
14:30-15:20 OH Beame
CSE 668
15:30-16:20 OH Gupta
CSE 021
07
10:00-10:50 OH Blank
CSE 444
12:30-13:20 OH Lee
CSE 218
14:00-14:50 OH Sheng
CSE 021
15:00-15:50 OH McCarty
CSE 220
08
Lecture
Proofs
1.6-1.7 (7th edition), 1.5-1.7 (6th edition)
Slides: Proofs
HW3 out
9:30-(A)-13:30-(B) HW2 due
14:30-15:00 OH Beame
CSE 668
09
Section
TBD
10
Lecture
More Proofs
1.6-1.7 (7th edition), 1.5-1.7 (6th edition)
Slides: More Proofs
10:00-11:00 OH Beame
CSE 668
10:30-11:20 OH Evans
CSE 021
13:30-14:20 OH Bosselut
CSE 218
14:30-15:00 OH Beame
CSE 668
15:30-16:20 OH Blank
CSE 444
13
Lecture
Sets
2.1-2.3 (6th and 7th editions)
Slides: Set Theory
10:30-11:20 OH Blank
CSE 444
12:00-12:50 OH Elaine Levey
CSE 021
14:30-15:20 OH Beame
CSE 668
15:30-16:20 OH Gupta
CSE 021
14
10:00-10:50 OH Blank
CSE 444
12:30-13:20 OH Lee
CSE 218
14:00-14:50 OH Sheng
CSE 021
15:00-15:50 OH McCarty
CSE 220
15
Lecture
Functions and Modular Arithmetic
2.3, 4.1-4.2 (7th), 3.4-3.5 (6th)
Slides: Functions and Modular Arithmetic
HW4 out
9:30-(A)-13:30-(B) HW3 due
16
Section
TBD
17
Lecture
Modular Arithmetic and Applications
4.1-4.3 (7th), 3.4-3.6 (6th)
Slides: Modular Arithmetic and Applications
10:00-11:00 OH Beame
CSE 668
10:30-11:20 OH Evans
CSE 021
13:30-14:20 OH Bosselut
CSE 218
14:30-15:00 OH Beame
CSE 668
15:30-16:20 OH Blank
CSE 444
20
Lecture
Modular Exponentiation, GCD, Euclid's Algorithm
4.4 (7th), 3.7 (6th)
Slides: Modular Exponentiation and GCD
10:30-11:20 OH Blank
CSE 444
12:00-12:50 OH Elaine Levey
CSE 021
15:30-16:20 OH Gupta
CSE 021
21
10:00-10:50 OH Blank
CSE 444
12:30-13:20 OH Lee
CSE 218
14:00-14:50 OH Sheng
CSE 021
15:00-15:50 OH McCarty
CSE 220
22
Lecture
Modular Inverse, Induction
5.1 (7th), 4.1 (6th)
Slides: Modular Inverse, Induction
HW5 out
9:30-(A)-13:30-(B) HW4 due
14:30-15:00 OH Beame
CSE 668
23
Section
TBD
24
Lecture
Induction
5.1 (7th), 4.1 (6th)
Slides: Induction
10:00-11:00 OH Beame
CSE 668
10:30-11:20 OH Evans
CSE 021
13:30-14:20 OH Bosselut
CSE 218
14:30-15:00 OH Beame
CSE 668
15:30-16:20 OH Blank
CSE 444
27
Lecture
Strong Induction
5.2 (7th), 4.2 (6th)
Slides: Strong Induction
10:30-11:20 OH Blank
CSE 444
12:00-12:50 OH Elaine Levey
CSE 021
15:30-16:20 OH Gupta
CSE 021
28
10:00-10:50 OH Blank
CSE 444
12:30-13:20 OH Lee
CSE 218
14:00-14:50 OH Sheng
CSE 021
15:00-15:50 OH McCarty
CSE 220
29
Lecture
Recursively Defined Sets
5.3 (7th), 4.3 (6th)
Slides: Recursively Defined Sets
9:30-(A)-13:30-(B) HW5 due
14:30-15:00 OH Beame
CSE 668
30
Section
TBD
31
Lecture
Structural Induction
5.3 (7th), 4.3 (6th)
Slides: Structural Induction
10:00-11:00 OH Beame
CSE 668
10:30-11:20 OH Evans
CSE 021
13:30-14:20 OH Bosselut
CSE 218
14:30-15:00 OH Beame
CSE 668
15:30-16:20 OH Blank
CSE 444

November
MondayTuesdayWednesdayThursdayFriday
03
9:30-10:20 Midterm A
10:30-11:20 OH Blank
CSE 444
12:00-12:50 OH Elaine Levey
CSE 021
13:30-14:20 Midterm B
14:30-15:20 OH Beame
CSE 668
15:30-16:20 OH Gupta
CSE 021
04
10:00-10:50 OH Blank
CSE 444
12:30-13:20 OH Lee
CSE 218
14:00-14:50 OH Sheng
CSE 021
15:00-15:50 OH McCarty
CSE 220
05
Lecture
Structural Induction, Regular Expressions
Slides: Regular Expressions
HW6 out
14:30-15:00 OH Beame
CSE 668
06
Section
TBD
07
Lecture
Context-Free Grammars
Slides: Context-Free Grammars
10:00-11:00 OH Beame
CSE 668
10:30-11:20 OH Evans
CSE 021
13:30-14:20 OH Bosselut
CSE 218
14:30-15:00 OH Beame
CSE 668
15:30-16:20 OH Blank
CSE 444
10
Lecture
Relations, Directed Graphs
9.1 and pp. 594-601 (7th), 8.1 and pp. 541-548 (6th)
Slides: Relations
10:00-12:00 OH Beame
CSE 668
10:30-11:20 OH Blank
CSE 444
12:00-12:50 OH Elaine Levey
CSE 021
14:30-15:20 OH Beame
CSE 668
15:30-16:20 OH Gupta
CSE 021
11
Veterans' Day
12
Lecture
Closures, Finite State Machines
pp. 594-601 (7th), pp. 541-548 (6th)
Slides: Finite State Machines
HW6 due
HW7 out
14:30-15:00 OH Beame
CSE 668
13
Section
TBD
14
Lecture
Finite State Machines with output
Slides: Finite State Machines with output
10:00-11:00 OH Beame
CSE 668
10:30-11:20 OH Evans
CSE 021
13:30-14:20 OH Bosselut
CSE 218
14:30-15:00 OH Beame
CSE 668
15:30-16:20 OH Blank
CSE 444
17
Lecture
State Minimization, NFAs
Slides: State Minimization
10:30-11:20 OH Blank
CSE 444
12:00-12:50 OH Elaine Levey
CSE 021
14:30-15:20 OH Beame
CSE 668
15:30-16:20 OH Gupta
CSE 021
18
10:00-10:50 OH Blank
CSE 444
12:30-13:20 OH Lee
CSE 218
14:00-14:50 OH Sheng
CSE 021
15:00-15:50 OH McCarty
CSE 220
19
Lecture
Regular Expressions to NFAs to DFAs
Slides: RegExp to NFAs to DFAs
HW7 due
HW8 out | Grep Extra Credit out | OnMyOwnSourceCode Extra Credit out
14:30-15:00 OH Beame
CSE 668
20
Section
TBD
21
Lecture
Limits of FSMs, NFAs to Regular Expressions
Slides: Limits of FSMs
10:00-11:00 OH Beame
CSE 668
10:30-11:20 OH Evans
CSE 021
13:30-14:20 OH Bosselut
CSE 218
14:30-15:00 OH Beame
CSE 668
15:30-16:20 OH Blank
CSE 444
24
Lecture
Pattern Matching, Halting Problem
Slides: Pattern Matching, Halting Problem
10:30-11:20 OH Blank
CSE 444
12:00-12:50 OH Elaine Levey
CSE 021
14:30-15:20 OH Beame
CSE 668
15:30-16:20 OH Gupta
CSE 021
25
10:00-10:50 OH Blank
CSE 444
12:30-13:20 OH Lee
CSE 218
14:00-14:50 OH Sheng
CSE 021
15:00-15:50 OH McCarty
CSE 220
26
Lecture
Cardinality
Slides: Cardinality, Halting Problem
HW8 due (Solutions)
HW9 out
14:30-15:00 OH Beame
CSE 668
27
Thanksgiving
28
Day after Thanksgiving

December
MondayTuesdayWednesdayThursdayFriday
01
Lecture
Undecidability
Slides: Undecidability
10:30-11:20 OH Blank
CSE 444
12:00-12:50 OH Elaine Levey
CSE 021
14:30-15:20 OH Beame
CSE 668
15:30-16:20 OH Gupta
CSE 021
02
10:00-10:50 OH Blank
CSE 444
12:30-13:20 OH Lee
CSE 218
14:00-14:50 OH Sheng
CSE 021
15:00-15:50 OH McCarty
CSE 220
03
Lecture
Turing Machines
Slides: Turing Machines
14:30-15:00 OH Beame
CSE 668
04
Section
TBD
05
Lecture
Computability & Wrap-up
Slides: Computability and Summary
HW9 due (Solutions) | Grep Extra Credit due | OnMyOwnSourceCode Extra Credit due
10:00-11:00 OH Beame
CSE 668
10:30-11:20 OH Evans
CSE 021
13:30-14:20 OH Bosselut
CSE 218
14:30-15:00 OH Beame
CSE 668
15:30-16:20 OH Blank
CSE 444
08
14:30-16:20 Final exam
16:30-18:20 Final exam
09 10 11 12