Lecture Slides, CSE 311, Autumn 2013

Lecture Date Topic Reading PPT Slides PDF Slides Beame Inked Lee Inked
Lecture 1 Wed, Sep 25 Logic 1.1, 1.2 (7th) 1.1 (6th) PPT PDF HTML HTML
Lecture 2 Fri, Sep 27 Logic 1.1-1.3 (7th) 1.1-1.2 (6th) PPT PDF HTML HTML
Lecture 3 Mon, Sep 30 Logic/Boolean Algebra 12.1-12.3 (7th) 11.1-11.3 (6th) PPT PDF HTML HTML
Lecture 4 Wed, Oct 2 Boolean Algebra/Circuits 12.1-12.3 (7th) 11.1-11.3 (6th) PPT PDF HTML HTML
Lecture 5 Fri, Oct 4 Predicate Logic 1.4-1.5 (7th) 1.3-1.4 (6th) PPT PDF HTML HTML
Lecture 6 Mon, Oct 7Predicate Logic, Inference 1.6-1.7 (7th) 1.5-1.7 (6th) PPT PDF HTML No ink :(
Lecture 7 Wed, Oct 9 Logical Inference and Proofs 1.6-1.7 (7th) 1.5-1.7 (6th) PPT PDF HTML HTML
Lecture 8 Fri, Oct 11 Proofs and Set Theory 2.1-2.3 (6th,7th) PPT PDF No Ink HTML
Lecture 9 Mon, Oct 14 Set Theory 2.1-2.3 (6th, 7th) PPT PDF HTML HTML
Lecture 10 Wed, Oct 16 Functions,Modular Arithmetic 4.1-4.2 (7th) 3.4-3.5 (6th) PPT PDF HTML HTML
Lecture 11 Fri, Oct 18 Applications of Mod, Number Theory 4.1-4.3 (7th) 3.4-3.6 (6th) PPT PDF HTML HTML
Lecture 12 Mon, Oct 21 Factoring, GCD, Euclid's Algorithm 4.3-4.4 (7th), 3.5-3.7 (6th) PPT PDF HTML HTML
Lecture 13 Wed, Oct 23 Induction 5.1 (7th), 4.1 (6th) PPT PDF HTML HTML
Lecture 14 Fri, Oct 25 Induction and Strong Induction 5.1-5.2 (7th), 4.1-4.2 (6th) PPT PDF HTML HTML
Lecture 15 Mon, Oct 28 Strong Induction and Recursion 5.2-5.3 (7th), 4.2-4.3 (6th) PPT PDF HTML HTML
Lecture 16 Wed, Oct 30 Recursively Defined Sets 5.3 (7th), 4.3 (6th) PPT PDF HTML HTML
Lecture 17 Fri, Nov 1 Structural Induction 5.3 (7th), 4.3 (6th) PPT PDF HTML HTML
Midterm Mon, Nov 4 Midterm Midterm Midterm Midterm Midterm Midterm
Lecture 18 Wed, Nov 6 Regular Expressions pp.878-880 (7th) pp. 817-819 (6th) PPT PDF HTML censored
Lecture 19 Fri, Nov 8 Context-Free Grammars pp. 851-855 (7th) pp. 789-793 (6th) PPT PDF HTML
Holiday Mon, Nov 11 Veterans Day Holiday Holiday Holiday Holiday
Lecture 20 Wed, Nov 13 Context-Free Grammars/Relations 9.1 and pp. 594-601 (7th), 8.1 and pp. 541-548 PPT PDF HTML HTML
Lecture 21 Fri, Nov 15 Relations 9.1 and pp. 594-601 (7th), 8.1 and pp. 541-548 PPT PDF HTML HTML
Lecture 22 Mon, Nov 18Finite State Machines 13.3-13.4 (7th), 12.3-12.4 (6th) PPT PDF HTML HTML
Lecture 23 Wed, Nov 20 FSMs with Output, Minimization 13.3-13.4 (7th), 12.3-12.4 (6th) PPT PDF HTML HTML
Lecture 24 Fri, Nov 22 NFAs,RegExp, NFAs to DFAs 13.4 (7th), 12.4 (6th) PPT PDF HTML HTML
Lecture 25 Mon, Nov 25 Limits of FSMs, Pattern Matching 2.5 + p. 201 (7th) p, 158-160, 177 (6th) PPT PDF HTML HTML
Lecture 26 Wed, Nov 27 Pattern Matching, Cardinality p.201 + 13.5 (7th) p.177 + 12.5 (6th) PPT PDF HTML
Holiday Fri, Nov 29 Thanksgiving Holiday Holiday Holiday Holiday Holiday
Lecture 27 Mon, Dec 2 Turing Machines, Halting Problem p.201 + 13.5 (7th) p.177 + 12.5 (6th) PPT PDF HTML HTML
Lecture 28 Wed, Dec 4 Undecidability p.201 + 13.5 (7th) p.177 + 12.5 (6th) PPT PDF HTML HTML
Lecture 29 Fri, Dec 6 Computability Wrap-up, course summary p.201 + 13.5 (7th) p.177 + 12.5 (6th) PPT PDF
Lecture XX Fun with RSA