CSE 311 Autumn 2013 Course Calendar

CSE 311 Autumn 2013
Course Calendar

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

September

Monday Tuesday Wednesday Thursday Friday

23 24 25
Lecture
Introduction; Propositional Logic
1.1 and 1.2 (7th edition), 1.1 (6th edition)
Slides Propositional Logic

HW1 out

10:30-11:00 OH Beame
CSE 668

14:30-15:00 OH Lee
CSE 640
26 27
Lecture
Propositional Logic, Circuits, Logical Equivalence
1.1-1.3 (7th edition), 1.1-1.2 (6th edition)
Slides: Propositional Logic, Circuits, Logical Equivalence

10:30-11:00 OH Beame
CSE 668

11:00-12:00 OH King Xia
CSE 021

14:30-15:00 OH Lee
CSE 640

15:30-14:20 OH Armando Diaz Tolentino
CSE 220

30
Lecture
Propositional Logic, Boolean Algebra and Circuits
12.1-12.3 (7th edition), 11.1-11.3 (6th edition)
Slides: Propositional Logic, Boolean Logic

14:30-16:00 OH Lee
CSE 640
01
9:30-10:20 OH Hanchuan Li
CSE 218

12:00-12:50 OH Emily Behrendt
CSE 220

13:30-14:20 OH Jianghong Shi
CSE 220

14:30-15:20 OH Vincent Liew
CSE 220
02
Lecture
Boolean Algebra and Circuits
12.1-12.3 (7th edition), 11.1-11.3 (6th edition)
Slides: Boolean Algebra, Circuits

HW2 out

9:30-(A)-13:30-(B) HW1 due

10:30-11:00 OH Beame
CSE 668

14:30-15:00 OH Lee
CSE 640
03
Section
TBD
04
Lecture
Canonical Forms, Predicate Logic
1.4-1.5 (7th edition), 1.3-1.4 (6th edition)
Slides: Canonical Forms, Predicate Logic

10:30-11:00 OH Beame
CSE 668

11:00-12:00 OH King Xia
CSE 021

14:30-15:00 OH Lee
CSE 640

15:30-14:20 OH Armando Diaz Tolentino
CSE 220

October

Monday Tuesday Wednesday Thursday Friday

07
Lecture
Predicate Logic, Inference
1.6-1.7 (7th edition), 1.5-1.7 (6th edition)
Slides: Predicate Logic, Logical Inference

10:30-12:00 OH Beame
CSE 668

14:30-16:00 OH Lee
CSE 640
08
9:30-10:20 OH Hanchuan Li
CSE 218

12:00-12:50 OH Emily Behrendt
CSE 220

13:30-14:20 OH Jianghong Shi
CSE 220

14:30-15:20 OH Vincent Liew
CSE 220
09
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

10:30-11:00 OH Beame
CSE 668

14:30-15:00 OH Lee
CSE 640
10
Section
TBD
11
Lecture
Proofs and Sets
1.6-1.7, 2.1-2.3 (7th edition), 1.5-1.7, 2.1-2.3 (6th edition)
Slides: Proofs and Sets

10:30-11:00 OH Beame
CSE 668

11:00-12:00 OH King Xia
CSE 021

14:30-15:00 OH Lee
CSE 640

15:30-14:20 OH Armando Diaz Tolentino
CSE 220

14
Lecture
Set Theory and Functions
2.1-2.3 (6th and 7th editions)
Slides: Set Theory

10:30-12:00 OH Beame
CSE 668

14:30-16:00 OH Lee
CSE 640
15
9:30-10:20 OH Hanchuan Li
CSE 218

12:00-12:50 OH Emily Behrendt
CSE 220

13:30-14:20 OH Jianghong Shi
CSE 220

14:30-15:20 OH Vincent Liew
CSE 220
16
Lecture
Modular Arithmetic
4.1-4.2 (7th edition) 3.4-3.5 (6th edition)
Slides: Modular Arithmetic

HW4 out

9:30-(A)-13:30-(B) HW3 due

10:30-11:00 OH Beame
CSE 668

14:30-15:00 OH Lee
CSE 640
17
Section
TBD
18
Lecture
Appplications of Modular Arithmetic
4.1-4.3 (7th edition) 3.4-3.6 (6th edition)
Slides: Applications of Mod

10:30-11:00 OH Beame
CSE 668

11:00-12:00 OH King Xia
CSE 021

14:30-15:00 OH Lee
CSE 640

15:30-14:20 OH Armando Diaz Tolentino
CSE 220

21
Lecture
Primes, GCD, Euclid's Algorithm
4.3-4.4 (7th edition) 3.4-3.7 (6th edition)
Slides: Primes, GCD, Modular Inverse

10:30-12:00 OH Beame
CSE 668

14:30-16:00 OH Lee
CSE 640
22
9:30-10:20 OH Hanchuan Li
CSE 218

12:00-12:50 OH Emily Behrendt
CSE 220

13:30-14:20 OH Jianghong Shi
CSE 220

14:30-15:20 OH Vincent Liew
CSE 220
23
Lecture
Modular Inverse, Induction
5.1 (7th edition) 4.1 (6th edition)
Slides: Modular Inverse, Induction

HW5 out

9:30-(A)-13:30-(B) HW4 due

10:30-11:00 OH Beame
CSE 668

14:30-15:00 OH Lee
CSE 640
24
Section
TBD
25
Lecture
Induction
5.1-5.2 (7th edition) 4.1-4.2 (6th edition)
Slides: Induction

10:30-11:00 OH Beame
CSE 668

11:00-12:00 OH King Xia
CSE 021

14:30-15:00 OH Lee
CSE 640

15:30-14:20 OH Armando Diaz Tolentino
CSE 220

28
Lecture
Strong Induction, Recursion
5.1-5.3 (7th edition) 4.1-4.3 (6th edition)
Slides: Induction

10:30-12:00 OH Vincent Liew
CSE 021

14:30-16:00 OH Armando Diaz Tolentino
CSE 021
29
9:30-10:20 OH Hanchuan Li
CSE 218

12:00-12:50 OH Emily Behrendt
CSE 220

13:30-14:20 OH Jianghong Shi
CSE 220

14:30-15:20 OH Vincent Liew
CSE 220
30
Lecture
Recursively defined Sets, Structural Induction
5.3 (7th edition) 4.3 (6th edition)
Slides: Recursively Defined Sets

9:30-(A)-13:30-(B) HW5 due

10:30-11:00 OH Beame
CSE 668

14:30-15:00 OH Lee
CSE 640
31
Section
TBD
01
Lecture
Structural Induction
5.3 (7th edition) 4.3 (6th edition)
Slides: Structural Induction

10:30-11:00 OH Beame
CSE 668

11:00-12:00 OH King Xia
CSE 021

14:30-15:00 OH Lee
CSE 640

15:30-14:20 OH Armando Diaz Tolentino
CSE 220

November

Monday Tuesday Wednesday Thursday Friday

04
9:30-10:20 Midterm A

13:30-14:20 Midterm B
05
9:30-10:20 OH Hanchuan Li
CSE 218

12:00-12:50 OH Emily Behrendt
CSE 220

13:30-14:20 OH Jianghong Shi
CSE 220

14:30-15:20 OH Vincent Liew
CSE 220
06
Lecture
Structural Induction, Regular Expressions
pages 878-880 (7th edition) 817-819 (6th edition)
Slides: Regular Expressions

HW6 out

10:30-11:00 OH Beame
CSE 668

14:30-15:00 OH Lee
CSE 640
07
Section
TBD
08
Lecture
Regular Expressions and CFGs
pages 851-855 (7th edition) 789-793 (6th edition)
Slides: Regular Expressions and CFGs

10:30-11:00 OH Beame
CSE 668

11:00-12:00 OH King Xia
CSE 021

14:30-15:00 OH Lee
CSE 640

15:30-14:20 OH Armando Diaz Tolentino
CSE 220

11
Veterans' Day
12
9:30-10:20 OH Hanchuan Li
CSE 218

12:00-12:50 OH Emily Behrendt
CSE 220

13:30-14:20 OH Jianghong Shi
CSE 220

14:30-15:20 OH Vincent Liew
CSE 220
13
Lecture
CFGs and Relations
9.1 (7th edition) 8.1 (6th edition)
Slides: CFGs and Relations

HW6 due

HW7 out

10:30-11:00 OH Beame
CSE 668

14:30-15:00 OH Lee
CSE 640
14
Section
TBD
15
Lecture
Relations and Directed Graphs
9.1 and pp. 594-601 (7th edition) 8.1 and pp. 541-548 (6th edition)
Slides: Relations

10:30-11:00 OH Beame
CSE 668

11:00-12:00 OH King Xia
CSE 021

14:30-15:00 OH Lee
CSE 640

15:30-14:20 OH Armando Diaz Tolentino
CSE 220

18
Lecture
Finite State Machines
Slides: Finite State Machines

10:30-12:00 OH Beame
CSE 668

14:30-16:00 OH Lee
CSE 640
19
9:30-10:20 OH Hanchuan Li
CSE 218

12:00-12:50 OH Emily Behrendt
CSE 220

13:30-14:20 OH Jianghong Shi
CSE 220

14:30-15:20 OH Vincent Liew
CSE 220
20
Lecture
FSMs with Input, Minimization
Slides: FSMs with Input, Minimization

HW7 due

HW8 out

10:30-11:00 OH Beame
CSE 668

14:30-15:00 OH Lee
CSE 640
21
Section
TBD
22
Lecture
NFAs,RegExp->NFAs,NFA->DFA
Slides: NFAs,RegExp->NFA,NFA->DFA

10:30-11:00 OH Beame
CSE 668

11:00-12:00 OH King Xia
CSE 021

14:30-15:00 OH Lee
CSE 640

15:30-14:20 OH Armando Diaz Tolentino
CSE 220

25
Lecture
NFAs->RegExp, Limits of FSMs,Pattern Matching
Slides: Limits of FSMs, Pattern Matching

10:30-12:00 OH Beame
CSE 668

14:30-16:00 OH Lee
CSE 640
26
9:30-10:20 OH Hanchuan Li
CSE 218

12:00-12:50 OH Emily Behrendt
CSE 220

13:30-14:20 OH Jianghong Shi
CSE 220

14:30-15:20 OH Vincent Liew
CSE 220
27
Lecture
Pattern Matching, Countability
Slides: Pattern Matching, Countability

HW8 due

HW9 out

10:30-11:00 OH Beame
CSE 668

14:30-15:00 OH Lee
CSE 640
28
Thanksgiving
29
Day after Thanksgiving

December

Monday Tuesday Wednesday Thursday Friday

02
Lecture
Turing Machines, Halting Problem
Slides: Turing Machines,Halting Problem

10:30-11:00 OH Beame
CSE 668

14:30-15:00 OH Beame
CSE 668
03
9:30-10:20 OH Hanchuan Li
CSE 218

12:00-12:50 OH Emily Behrendt
CSE 220

13:30-14:20 OH Jianghong Shi
CSE 220

14:30-15:20 OH Vincent Liew
CSE 220
04
Lecture
Undecidability
Slides: Undecidability

10:30-12:00 OH Beame
CSE 668

14:30-16:00 OH Beame
CSE 668
05
Section
TBD
06
Lecture
TBD

HW9 due Solutions

10:30-11:00 OH Beame
CSE 668

11:00-12:00 OH King Xia
CSE 021

14:30-15:00 OH Lee
CSE 640

15:30-14:20 OH Armando Diaz Tolentino
CSE 220

09
14:30-16:20 Final exam A/B

16:30-18:20 Final exam A/B
10 11 12 13

September
Monday	Tuesday	Wednesday	Thursday	Friday
23	24	25 Lecture Introduction; Propositional Logic 1.1 and 1.2 (7th edition), 1.1 (6th edition) Slides Propositional Logic HW1 out 10:30-11:00 OH Beame CSE 668 14:30-15:00 OH Lee CSE 640	26	27 Lecture Propositional Logic, Circuits, Logical Equivalence 1.1-1.3 (7th edition), 1.1-1.2 (6th edition) Slides: Propositional Logic, Circuits, Logical Equivalence 10:30-11:00 OH Beame CSE 668 11:00-12:00 OH King Xia CSE 021 14:30-15:00 OH Lee CSE 640 15:30-14:20 OH Armando Diaz Tolentino CSE 220
30 Lecture Propositional Logic, Boolean Algebra and Circuits 12.1-12.3 (7th edition), 11.1-11.3 (6th edition) Slides: Propositional Logic, Boolean Logic 14:30-16:00 OH Lee CSE 640	01 9:30-10:20 OH Hanchuan Li CSE 218 12:00-12:50 OH Emily Behrendt CSE 220 13:30-14:20 OH Jianghong Shi CSE 220 14:30-15:20 OH Vincent Liew CSE 220	02 Lecture Boolean Algebra and Circuits 12.1-12.3 (7th edition), 11.1-11.3 (6th edition) Slides: Boolean Algebra, Circuits HW2 out 9:30-(A)-13:30-(B) HW1 due 10:30-11:00 OH Beame CSE 668 14:30-15:00 OH Lee CSE 640	03 Section TBD	04 Lecture Canonical Forms, Predicate Logic 1.4-1.5 (7th edition), 1.3-1.4 (6th edition) Slides: Canonical Forms, Predicate Logic 10:30-11:00 OH Beame CSE 668 11:00-12:00 OH King Xia CSE 021 14:30-15:00 OH Lee CSE 640 15:30-14:20 OH Armando Diaz Tolentino CSE 220

October
Monday	Tuesday	Wednesday	Thursday	Friday
07 Lecture Predicate Logic, Inference 1.6-1.7 (7th edition), 1.5-1.7 (6th edition) Slides: Predicate Logic, Logical Inference 10:30-12:00 OH Beame CSE 668 14:30-16:00 OH Lee CSE 640	08 9:30-10:20 OH Hanchuan Li CSE 218 12:00-12:50 OH Emily Behrendt CSE 220 13:30-14:20 OH Jianghong Shi CSE 220 14:30-15:20 OH Vincent Liew CSE 220	09 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 10:30-11:00 OH Beame CSE 668 14:30-15:00 OH Lee CSE 640	10 Section TBD	11 Lecture Proofs and Sets 1.6-1.7, 2.1-2.3 (7th edition), 1.5-1.7, 2.1-2.3 (6th edition) Slides: Proofs and Sets 10:30-11:00 OH Beame CSE 668 11:00-12:00 OH King Xia CSE 021 14:30-15:00 OH Lee CSE 640 15:30-14:20 OH Armando Diaz Tolentino CSE 220
14 Lecture Set Theory and Functions 2.1-2.3 (6th and 7th editions) Slides: Set Theory 10:30-12:00 OH Beame CSE 668 14:30-16:00 OH Lee CSE 640	15 9:30-10:20 OH Hanchuan Li CSE 218 12:00-12:50 OH Emily Behrendt CSE 220 13:30-14:20 OH Jianghong Shi CSE 220 14:30-15:20 OH Vincent Liew CSE 220	16 Lecture Modular Arithmetic 4.1-4.2 (7th edition) 3.4-3.5 (6th edition) Slides: Modular Arithmetic HW4 out 9:30-(A)-13:30-(B) HW3 due 10:30-11:00 OH Beame CSE 668 14:30-15:00 OH Lee CSE 640	17 Section TBD	18 Lecture Appplications of Modular Arithmetic 4.1-4.3 (7th edition) 3.4-3.6 (6th edition) Slides: Applications of Mod 10:30-11:00 OH Beame CSE 668 11:00-12:00 OH King Xia CSE 021 14:30-15:00 OH Lee CSE 640 15:30-14:20 OH Armando Diaz Tolentino CSE 220
21 Lecture Primes, GCD, Euclid's Algorithm 4.3-4.4 (7th edition) 3.4-3.7 (6th edition) Slides: Primes, GCD, Modular Inverse 10:30-12:00 OH Beame CSE 668 14:30-16:00 OH Lee CSE 640	22 9:30-10:20 OH Hanchuan Li CSE 218 12:00-12:50 OH Emily Behrendt CSE 220 13:30-14:20 OH Jianghong Shi CSE 220 14:30-15:20 OH Vincent Liew CSE 220	23 Lecture Modular Inverse, Induction 5.1 (7th edition) 4.1 (6th edition) Slides: Modular Inverse, Induction HW5 out 9:30-(A)-13:30-(B) HW4 due 10:30-11:00 OH Beame CSE 668 14:30-15:00 OH Lee CSE 640	24 Section TBD	25 Lecture Induction 5.1-5.2 (7th edition) 4.1-4.2 (6th edition) Slides: Induction 10:30-11:00 OH Beame CSE 668 11:00-12:00 OH King Xia CSE 021 14:30-15:00 OH Lee CSE 640 15:30-14:20 OH Armando Diaz Tolentino CSE 220
28 Lecture Strong Induction, Recursion 5.1-5.3 (7th edition) 4.1-4.3 (6th edition) Slides: Induction 10:30-12:00 OH Vincent Liew CSE 021 14:30-16:00 OH Armando Diaz Tolentino CSE 021	29 9:30-10:20 OH Hanchuan Li CSE 218 12:00-12:50 OH Emily Behrendt CSE 220 13:30-14:20 OH Jianghong Shi CSE 220 14:30-15:20 OH Vincent Liew CSE 220	30 Lecture Recursively defined Sets, Structural Induction 5.3 (7th edition) 4.3 (6th edition) Slides: Recursively Defined Sets 9:30-(A)-13:30-(B) HW5 due 10:30-11:00 OH Beame CSE 668 14:30-15:00 OH Lee CSE 640	31 Section TBD	01 Lecture Structural Induction 5.3 (7th edition) 4.3 (6th edition) Slides: Structural Induction 10:30-11:00 OH Beame CSE 668 11:00-12:00 OH King Xia CSE 021 14:30-15:00 OH Lee CSE 640 15:30-14:20 OH Armando Diaz Tolentino CSE 220

November
Monday	Tuesday	Wednesday	Thursday	Friday
04 9:30-10:20 Midterm A 13:30-14:20 Midterm B	05 9:30-10:20 OH Hanchuan Li CSE 218 12:00-12:50 OH Emily Behrendt CSE 220 13:30-14:20 OH Jianghong Shi CSE 220 14:30-15:20 OH Vincent Liew CSE 220	06 Lecture Structural Induction, Regular Expressions pages 878-880 (7th edition) 817-819 (6th edition) Slides: Regular Expressions HW6 out 10:30-11:00 OH Beame CSE 668 14:30-15:00 OH Lee CSE 640	07 Section TBD	08 Lecture Regular Expressions and CFGs pages 851-855 (7th edition) 789-793 (6th edition) Slides: Regular Expressions and CFGs 10:30-11:00 OH Beame CSE 668 11:00-12:00 OH King Xia CSE 021 14:30-15:00 OH Lee CSE 640 15:30-14:20 OH Armando Diaz Tolentino CSE 220
11 Veterans' Day	12 9:30-10:20 OH Hanchuan Li CSE 218 12:00-12:50 OH Emily Behrendt CSE 220 13:30-14:20 OH Jianghong Shi CSE 220 14:30-15:20 OH Vincent Liew CSE 220	13 Lecture CFGs and Relations 9.1 (7th edition) 8.1 (6th edition) Slides: CFGs and Relations HW6 due HW7 out 10:30-11:00 OH Beame CSE 668 14:30-15:00 OH Lee CSE 640	14 Section TBD	15 Lecture Relations and Directed Graphs 9.1 and pp. 594-601 (7th edition) 8.1 and pp. 541-548 (6th edition) Slides: Relations 10:30-11:00 OH Beame CSE 668 11:00-12:00 OH King Xia CSE 021 14:30-15:00 OH Lee CSE 640 15:30-14:20 OH Armando Diaz Tolentino CSE 220
18 Lecture Finite State Machines Slides: Finite State Machines 10:30-12:00 OH Beame CSE 668 14:30-16:00 OH Lee CSE 640	19 9:30-10:20 OH Hanchuan Li CSE 218 12:00-12:50 OH Emily Behrendt CSE 220 13:30-14:20 OH Jianghong Shi CSE 220 14:30-15:20 OH Vincent Liew CSE 220	20 Lecture FSMs with Input, Minimization Slides: FSMs with Input, Minimization HW7 due HW8 out 10:30-11:00 OH Beame CSE 668 14:30-15:00 OH Lee CSE 640	21 Section TBD	22 Lecture NFAs,RegExp->NFAs,NFA->DFA Slides: NFAs,RegExp->NFA,NFA->DFA 10:30-11:00 OH Beame CSE 668 11:00-12:00 OH King Xia CSE 021 14:30-15:00 OH Lee CSE 640 15:30-14:20 OH Armando Diaz Tolentino CSE 220
25 Lecture NFAs->RegExp, Limits of FSMs,Pattern Matching Slides: Limits of FSMs, Pattern Matching 10:30-12:00 OH Beame CSE 668 14:30-16:00 OH Lee CSE 640	26 9:30-10:20 OH Hanchuan Li CSE 218 12:00-12:50 OH Emily Behrendt CSE 220 13:30-14:20 OH Jianghong Shi CSE 220 14:30-15:20 OH Vincent Liew CSE 220	27 Lecture Pattern Matching, Countability Slides: Pattern Matching, Countability HW8 due HW9 out 10:30-11:00 OH Beame CSE 668 14:30-15:00 OH Lee CSE 640	28 Thanksgiving	29 Day after Thanksgiving

December
Monday	Tuesday	Wednesday	Thursday	Friday
02 Lecture Turing Machines, Halting Problem Slides: Turing Machines,Halting Problem 10:30-11:00 OH Beame CSE 668 14:30-15:00 OH Beame CSE 668	03 9:30-10:20 OH Hanchuan Li CSE 218 12:00-12:50 OH Emily Behrendt CSE 220 13:30-14:20 OH Jianghong Shi CSE 220 14:30-15:20 OH Vincent Liew CSE 220	04 Lecture Undecidability Slides: Undecidability 10:30-12:00 OH Beame CSE 668 14:30-16:00 OH Beame CSE 668	05 Section TBD	06 Lecture TBD HW9 due Solutions 10:30-11:00 OH Beame CSE 668 11:00-12:00 OH King Xia CSE 021 14:30-15:00 OH Lee CSE 640 15:30-14:20 OH Armando Diaz Tolentino CSE 220
09 14:30-16:20 Final exam A/B 16:30-18:20 Final exam A/B	10	11	12	13