CSE 311 Spring 2013 Course Calendar

CSE 311 Spring 2013
Course Calendar

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

April

Monday Tuesday Wednesday Thursday Friday

01
13:30-14:20 Lecture
MGH 241
Introduction; Propositional Logic
1.1 and 1.2 (7th edition), 1.1 (6th edition)
Slides: Propositional Logic
02 03
HW1 out

13:30-14:20 Lecture
MGH 241
Propositional Logic, Circuits, Logical Equivalence
1.1-1.3 (7th edition), 1.1-1.2 (6th edition)
Slides: Propositional Logic, Circuits, Logical Equivalence
04
Section
Logical Equivalences
Worksheet

11:30-12:20 OH (Dallas)
CSE 218
05
11:00-11:50 OH (Bonnar)
CSE 216

12:30-1:20 OH (Siegel)
CSE 218

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

15:00-15:50 OH (Klingler)
CSE 218

08
11:00-12:00 OH (Bonnar)
CSE 218

13:30-14:20 Lecture
MGH 241
Boolean Algebra and Circuits
12.1-12.3 (7th edition), 11.1-11.3 (6th edition)
Slides: Boolean Algebra, Circuits

14:30-15:20 OH (Dallas)
CSE 216

15:00-16:00 OH (Beame)
CSE 668
09
14:00-14:50 OH (Klingler)
CSE 220

15:00-15:50 OH (Siegel)
CSE 218
10
HW2 out

13:30 HW1 due

13:30-14:20 Lecture
MGH 241
Predicate Logic
1.4-1.5 (7th edition), 1.3-1.4 (6th edition)
Slides: Predicate Logic
11
Section
TBD

11:30-12:20 OH (Dallas)
CSE 218
12
11:00-11:50 OH (Bonnar)
CSE 216

12:30-1:20 OH (Siegel)
CSE 218

13:30-14:20 Lecture
MGH 241
Predicate Logic, Logical Inference
1.6-1.7 (7th edition), 1.5-1.7 (6th edition)
Slides: Predicate Logic, Inference

15:00-15:50 OH (Klingler)
CSE 218

15
11:00-12:00 OH (Bonnar)
CSE 218

13:30-14:20 Lecture
MGH 241
Logical Inference and Proofs
1.6-1.7 (7th edition), 1.5-1.7 (6th edition)
Slides: Proofs

14:30-15:20 OH (Dallas)
CSE 216

15:00-16:00 OH (Beame)
CSE 668
16
14:00-14:50 OH (Klingler)
CSE 220

15:00-15:50 OH (Siegel)
CSE 218
17
HW3 out

13:30 HW2 due

13:30-14:20 Lecture
MGH 241
Proofs and Set Theory
2.1-2.3 (6th and 7th editions)
Slides: Proofs and Set Theory
18
Section
TBD

11:30-12:20 OH (Dallas)
CSE 218
19
11:00-11:50 OH (Bonnar)
CSE 216

12:30-1:20 OH (Siegel)
CSE 218

13:30-14:20 Lecture
MGH 241
Set Theory and Functions
2.1-2.3 (6th and 7th editions)
Slides: Set Theory

15:00-15:50 OH (Klingler)
CSE 218

22
11:00-12:00 OH (Bonnar)
CSE 218

13:30-14:20 Lecture
MGH 241
Modular Arithmetic
4.1-4.2 (7th edition) 3.4-3.5 (6th edition)
Slides: Modular Arithmetic

14:30-15:20 OH (Dallas)
CSE 216

15:00-16:00 OH (Beame)
CSE 668
23
14:00-14:50 OH (Klingler)
CSE 220

15:00-15:50 OH (Siegel)
CSE 218
24
HW4 out

13:30 HW3 due

13:30-14:20 Lecture
MGH 241
Representations and Number Theory
4.2-4.3 (7th edition) 3.5-3.6 (6th edition)
Slides: Number Theory
25
Section
TBD

11:30-12:20 OH (Dallas)
CSE 218
26
12:30-1:20 OH (Siegel)
CSE 218

13:30-14:20 Lecture
MGH 241
Primes, Factorization, and GCD
4.3-4.4 (7th edition) 3.6-3.6 (6th edition)
Slides: Primes, GCD, Euclid's Algorithm

15:00-15:50 OH (Klingler)
CSE 218

29
13:30-14:20 Lecture
MGH 241
Mathematical Induction
5.1 (7th edition) 4.1 (6th edition)
Slides: Induction

14:30-15:20 OH (Dallas)
CSE 216

15:00-16:00 OH (Beame)
CSE 668
30
14:00-14:50 OH (Klingler)
CSE 220

15:00-15:50 OH (Siegel)
CSE 218
01
HW5 out

13:30 HW4 due

13:30-14:20 Lecture
MGH 241
Induction and Strong Induction
5.1-5.2 (7th edition) 4.1-4.2 (6th edition)
Slides: More Induction
02
Section
TBD

11:30-12:20 OH (Dallas)
CSE 218
03
12:30-1:20 OH (Siegel)
CSE 218

13:30-14:20 Lecture
MGH 241
Strong Induction and Recursion
5.2-5.3 (7th edition) 4.2-4.3 (6th edition)
Slides: Strong Induction

15:00-15:50 OH (Klingler)
CSE 218

May

Monday Tuesday Wednesday Thursday Friday

06
11:00-12:00 OH (Bonnar)
CSE 218

13:30-14:20 Lecture
MGH 241
Recursive Definitions and Structural Induction
5.3 (7th edition) 4.3 (6th edition)
Slides: Recursively Defined Sets

14:30-15:20 OH (Dallas)
CSE 216

15:00-16:00 OH (Beame)
CSE 668
07
14:00-14:50 OH (Klingler)
CSE 220

15:00-15:50 OH (Siegel)
CSE 218
08
13:30 HW5 due

13:30-14:20 Lecture
MGH 241
Structural Induction
5.3 (7th edition) 4.3 (6th edition)
Slides: Structural Induction
09
Section
TBD

11:30-12:20 OH (Dallas)
CSE 218
10
11:00-11:50 OH (Bonnar)
CSE 216

13:30-14:20 Midterm in MGH 389

13
11:00-12:00 OH (Bonnar)
CSE 218

13:30-14:20 Lecture
MGH 241
Regular Expressions
pages 878-880 (7th Edition) 817-819 (6th Edition)
Slides: Regular Expressions

14:30-15:20 OH (Dallas)
CSE 216

15:00-16:00 OH (Beame)
CSE 668
14
14:00-14:50 OH (Klingler)
CSE 220

15:00-15:50 OH (Siegel)
CSE 218
15
HW6 out

13:30-14:20 Lecture
MGH 241
Context-Free Grammars
pages 851-855 (7th Edition) 789-793 (6th Edition)
Slides: CFGs and CFLs
16
Section
TBD

11:30-12:20 OH (Dallas)
CSE 218
17
11:00-11:50 OH (Bonnar)
CSE 216

12:30-1:20 OH (Siegel)
CSE 218

13:30-14:20 Lecture
MGH 241
Class moved to Thomson 101 for today. Relations, Directed Graphs
9.1+pages 594-601 (7th Edition) 8.1+pages 541-548 (6th Edition)
Slides: Relations

15:00-15:50 OH (Klingler)
CSE 218

20
11:00-12:00 OH (Bonnar)
CSE 218

11:30-12:30 OH (Dallas)
CSE 025

13:30-14:20 Lecture
MGH 241
Finite State Machines
13.3-13.4(7th Edition) 12.3-12.4 (6th Edition)
Slides: Finite State Machines

15:00-16:00 OH (Beame)
CSE 668
21
14:00-14:50 OH (Klingler)
CSE 220

15:00-15:50 OH (Siegel)
CSE 218
22
HW6 due

HW7 out

13:30-14:20 Lecture
MGH 241
FSMs w/output, Minimization
13.3-13.4(7th Edition) 12.3-12.4 (6th Edition)
Slides: FSMs w/output, Minimization
23
Section
TBD

11:30-12:20 OH (Dallas)
CSE 218
24
11:00-11:50 OH (Bonnar)
CSE 216

12:30-1:20 OH (Siegel)
CSE 218

13:30-14:20 Lecture
MGH 241
Nondeterministic State Machines, Subset Construction, Regular Expressions
13.3-13.4(7th Edition) 12.3-12.4 (6th Edition)
Slides: NFAs,NFAs->DFAs

15:00-15:50 OH (Klingler)
CSE 218

27
Memorial Day
28
14:00-14:50 OH (Klingler)
CSE 220

15:00-15:50 OH (Siegel)
CSE 218
29
HW7 due

13:30-14:20 Lecture
MGH 241
FSM limitations, FSMs and Circuits
13.4(7th Edition) 12.4 (6th Edition)
Slides: DFAs=RegExp,Limits,Circuits
30
Section
TBD

11:30-12:20 OH (Dallas)
CSE 218
31
HW8 out

11:00-11:50 OH (Bonnar)
CSE 216

12:30-1:20 OH (Siegel)
CSE 218

13:30-14:20 Lecture
MGH 241
Pattern Matching. Cardinality
2.5 + p. 201 (7th Edition) p, 158-160, 177 (6th Edition)
Slides: Pattern Matching, Countable/Uncountable sets

15:00-15:50 OH (Klingler)
CSE 218

June

Monday Tuesday Wednesday Thursday Friday

03
11:00-12:00 OH (Bonnar)
CSE 218

13:30-14:20 Lecture
MGH 241
TMs, Halting Problem
p.201+13.5(7th Edition) p.177+12.5 (6th Edition)
Slides: Computability, Halting Problem

14:30-15:20 OH (Dallas)
CSE 216
04
14:00-14:50 OH (Klingler)
CSE 220

15:00-15:50 OH (Siegel)
CSE 218
05
13:30-14:20 Lecture
MGH 241
Undecidability
p.201+13.5(7th Edition) p.177+12.5 (6th Edition)
Slides: Undecidability
06
Section
TBD

11:00-12:00 OH (Beame)
CSE 668

11:30-12:20 OH (Dallas)
CSE 218
07
HW8 due

11:30-12:30 OH (Siegel)
CSE 216

12:30-1:20 OH (Siegel)
CSE 218

13:30-14:20 Lecture
MGH 241
Computability, Summary
p.201+13.5(7th Edition) p.177+12.5 (6th Edition)
Slides: Computability, Summary

15:00-15:50 OH (Klingler)
CSE 218

10
14:30-16:20 Final exam in MGH 389
11 12 13 14

April
Monday	Tuesday	Wednesday	Thursday	Friday
01 13:30-14:20 Lecture MGH 241 Introduction; Propositional Logic 1.1 and 1.2 (7th edition), 1.1 (6th edition) Slides: Propositional Logic	02	03 HW1 out 13:30-14:20 Lecture MGH 241 Propositional Logic, Circuits, Logical Equivalence 1.1-1.3 (7th edition), 1.1-1.2 (6th edition) Slides: Propositional Logic, Circuits, Logical Equivalence	04 Section Logical Equivalences Worksheet 11:30-12:20 OH (Dallas) CSE 218	05 11:00-11:50 OH (Bonnar) CSE 216 12:30-1:20 OH (Siegel) CSE 218 13:30-14:20 Lecture MGH 241 Propositional Logic, Boolean Algebra and Circuits 12.1-12.3 (7th edition), 11.1-11.3 (6th edition) Slides: Propositional Logic, Boolean Logic 15:00-15:50 OH (Klingler) CSE 218
08 11:00-12:00 OH (Bonnar) CSE 218 13:30-14:20 Lecture MGH 241 Boolean Algebra and Circuits 12.1-12.3 (7th edition), 11.1-11.3 (6th edition) Slides: Boolean Algebra, Circuits 14:30-15:20 OH (Dallas) CSE 216 15:00-16:00 OH (Beame) CSE 668	09 14:00-14:50 OH (Klingler) CSE 220 15:00-15:50 OH (Siegel) CSE 218	10 HW2 out 13:30 HW1 due 13:30-14:20 Lecture MGH 241 Predicate Logic 1.4-1.5 (7th edition), 1.3-1.4 (6th edition) Slides: Predicate Logic	11 Section TBD 11:30-12:20 OH (Dallas) CSE 218	12 11:00-11:50 OH (Bonnar) CSE 216 12:30-1:20 OH (Siegel) CSE 218 13:30-14:20 Lecture MGH 241 Predicate Logic, Logical Inference 1.6-1.7 (7th edition), 1.5-1.7 (6th edition) Slides: Predicate Logic, Inference 15:00-15:50 OH (Klingler) CSE 218
15 11:00-12:00 OH (Bonnar) CSE 218 13:30-14:20 Lecture MGH 241 Logical Inference and Proofs 1.6-1.7 (7th edition), 1.5-1.7 (6th edition) Slides: Proofs 14:30-15:20 OH (Dallas) CSE 216 15:00-16:00 OH (Beame) CSE 668	16 14:00-14:50 OH (Klingler) CSE 220 15:00-15:50 OH (Siegel) CSE 218	17 HW3 out 13:30 HW2 due 13:30-14:20 Lecture MGH 241 Proofs and Set Theory 2.1-2.3 (6th and 7th editions) Slides: Proofs and Set Theory	18 Section TBD 11:30-12:20 OH (Dallas) CSE 218	19 11:00-11:50 OH (Bonnar) CSE 216 12:30-1:20 OH (Siegel) CSE 218 13:30-14:20 Lecture MGH 241 Set Theory and Functions 2.1-2.3 (6th and 7th editions) Slides: Set Theory 15:00-15:50 OH (Klingler) CSE 218
22 11:00-12:00 OH (Bonnar) CSE 218 13:30-14:20 Lecture MGH 241 Modular Arithmetic 4.1-4.2 (7th edition) 3.4-3.5 (6th edition) Slides: Modular Arithmetic 14:30-15:20 OH (Dallas) CSE 216 15:00-16:00 OH (Beame) CSE 668	23 14:00-14:50 OH (Klingler) CSE 220 15:00-15:50 OH (Siegel) CSE 218	24 HW4 out 13:30 HW3 due 13:30-14:20 Lecture MGH 241 Representations and Number Theory 4.2-4.3 (7th edition) 3.5-3.6 (6th edition) Slides: Number Theory	25 Section TBD 11:30-12:20 OH (Dallas) CSE 218	26 12:30-1:20 OH (Siegel) CSE 218 13:30-14:20 Lecture MGH 241 Primes, Factorization, and GCD 4.3-4.4 (7th edition) 3.6-3.6 (6th edition) Slides: Primes, GCD, Euclid's Algorithm 15:00-15:50 OH (Klingler) CSE 218
29 13:30-14:20 Lecture MGH 241 Mathematical Induction 5.1 (7th edition) 4.1 (6th edition) Slides: Induction 14:30-15:20 OH (Dallas) CSE 216 15:00-16:00 OH (Beame) CSE 668	30 14:00-14:50 OH (Klingler) CSE 220 15:00-15:50 OH (Siegel) CSE 218	01 HW5 out 13:30 HW4 due 13:30-14:20 Lecture MGH 241 Induction and Strong Induction 5.1-5.2 (7th edition) 4.1-4.2 (6th edition) Slides: More Induction	02 Section TBD 11:30-12:20 OH (Dallas) CSE 218	03 12:30-1:20 OH (Siegel) CSE 218 13:30-14:20 Lecture MGH 241 Strong Induction and Recursion 5.2-5.3 (7th edition) 4.2-4.3 (6th edition) Slides: Strong Induction 15:00-15:50 OH (Klingler) CSE 218

June
Monday	Tuesday	Wednesday	Thursday	Friday
03 11:00-12:00 OH (Bonnar) CSE 218 13:30-14:20 Lecture MGH 241 TMs, Halting Problem p.201+13.5(7th Edition) p.177+12.5 (6th Edition) Slides: Computability, Halting Problem 14:30-15:20 OH (Dallas) CSE 216	04 14:00-14:50 OH (Klingler) CSE 220 15:00-15:50 OH (Siegel) CSE 218	05 13:30-14:20 Lecture MGH 241 Undecidability p.201+13.5(7th Edition) p.177+12.5 (6th Edition) Slides: Undecidability	06 Section TBD 11:00-12:00 OH (Beame) CSE 668 11:30-12:20 OH (Dallas) CSE 218	07 HW8 due 11:30-12:30 OH (Siegel) CSE 216 12:30-1:20 OH (Siegel) CSE 218 13:30-14:20 Lecture MGH 241 Computability, Summary p.201+13.5(7th Edition) p.177+12.5 (6th Edition) Slides: Computability, Summary 15:00-15:50 OH (Klingler) CSE 218
10 14:30-16:20 Final exam in MGH 389	11	12	13	14