Lecture Slides, CSE 311, Autumn 2014

Lecture Date Topic Reading Before (PPTX) Before (PDF) Filled (PDF) Inked (HTML)
Lecture 1 Wed, Sep 24 Logic 1.1, 1.2 (7th) 1.1 (6th) PPTX PDF PDF HTML
Lecture 2 Fri, Sep 26 Logic 1.1-1.3 (7th) 1.1-1.2 (6th) PPTX PDF PDF Not today
Lecture 3 Mon, Sep 29 Logic/Boolean Algebra 12.1-12.3 (7th) 11.1-11.3 (6th) PPTX PDF PDF HTML
Lecture 4 Wed, Oct 1 Boolean Algebra/Circuits 12.1-12.3 (7th) 11.1-11.3 (6th) PPTX PDF PDF HTML
Lecture 5 Fri, Oct 3 Predicate Logic 1.4-1.5 (7th) 1.3-1.4 (6th) PPTX PDF PDF HTML
Lecture 6 Mon, Oct 6Predicate Logic, Inference 1.6-1.7 (7th) 1.5-1.7 (6th) PPTX PDF PDF HTML
Lecture 7 Wed, Oct 8 Logical Inference and Proofs 1.6-1.7 (7th) 1.5-1.7 (6th) PPTX PDF PDF HTML
Lecture 8 Fri, Oct 10 More Proofs 1.6-1.7 (7th) 1.5-1.7 (6th) PPTX PDF PDF HTML
Lecture 9 Mon, Oct 13 Set Theory 2.1-2.3 (6th, 7th) PPTX PDF PDF HTML
Lecture 10 Wed, Oct 15 Modular Arithmetic 4.1-4.2 (7th) 3.4-3.5 (6th) PPTX PDF PDF None.
Lecture 11 Fri, Oct 17 Applications of Mod, Number Theory 4.1-4.3 (7th) 3.4-3.6 (6th) PPTX PDF PDF HTML
Lecture 12 Mon, Oct 20 Factoring, GCD, Euclid's Algorithm 4.3-4.4 (7th), 3.5-3.7 (6th) PPTX PDF PDF None.
Lecture 13 Wed, Oct 22 Modular Equations, Induction 4.4,5.1 (7th), 3.7,4.1 (6th) PPTX PDF PDF HTML
Lecture 14 Fri, Oct 24 Induction 5.1 (7th), 4.1 (6th) PPTX PDF PDF HTML
Lecture 15 Mon, Oct 27 Strong Induction and Recursion 5.2-5.3 (7th), 4.2-4.3 (6th) PPTX PDF PDF None.
Lecture 16 Wed, Oct 29 Recursively Defined Sets 5.3 (7th), 4.3 (6th) PPTX PDF PDF HTML
Lecture 17 Fri, Oct 31 Structural Induction 5.3 (7th), 4.3 (6th) PPTX PDF PDF HTML
Midterm Mon, Nov 3 Midterm Midterm Midterm Midterm Midterm Midterm
Lecture 18 Wed, Nov 5 Structural Induction, Regular Expressions pp.878-880 (7th) pp. 817-819 (6th) PPTX PDF PDF HTML
Lecture 19 Fri, Nov 7 Context-Free Grammars PPTX PDF PDF HTML
Lecture 20 Mon, Nov 10 Relations, Directed Graphs 9.1 and pp. 594-601 (7th), 8.1 and pp. 541-548 (6th) PPTX PDF PDF HTML
Lecture 21 Wed, Nov 12 Finite State Machines PPTX PDF PDF HTML
Lecture 22 Fri, Nov 14 FSMs with Output PPTX PDF PDF HTML
Lecture 23 Mon, Nov 17Minimization, NFAs PPTX PDF PDF HTML
Lecture 24 Wed, Nov 19 NFAs, RegExp, NFAs to DFAs PPTX PDF PDF HTML
Lecture 25 Fri, Nov 21 Limits of FSMs, NFA->RegExp PPTX PDF PDF HTML
Lecture 26 Mon, Nov 24 Pattern Matching, Halting Problem PPTX PDF PDF HTML
Lecture 27 Wed, Nov 26 Cardinality p.201 + 13.5 (7th) p.177 + 12.5 (6th) PPTX PDF PDF HTML
Holiday Fri, Nov 28 Thanksgiving Holiday Holiday Holiday Holiday Holiday
Lecture 28 Mon, Dec 1 Undecidability PPTX PDF PDF HTML
Lecture 29 Wed, Dec 3 Turing Machines PPTX PDF PDF HTML
Lecture 30 Fri, Dec 5 TBA PPTX PDF PDF HTML