Lecture Slides, CSE 321, Winter 2008

Lecture Date Topic Reading PPT Slides PDF Slides CP3 Slides Slides with Ink
Lecture 1 Jan 7 Course introduction 1.1 (PPT) (PDF) (CP3) (HTML)
Lecture 2 Jan 9 Propositional Equivalence 1.2 (PPT) (PDF) (CP3) (HTML)
Quiz Section 1 Jan 10 Propositional Calculus 1.1 (PPT) (PDF)    
Lecture 3 Jan 11 Propositional Proofs 1.2, 1.3 (PPT) (PDF) (CP3) (HTML)
Lecture 4 Jan 14 Predicate Calculus 1.3, 1.4 (PPT) (PDF) (CP3) (HTML)
Lecture 5 Jan 16 Rules of Inference 1.5 (PPT) (PDF) (CP3) (HTML)
Quiz Section 2 Jan 17 Predicates and Quantifiers 1.3, 1.4 (PPT) (PDF) (CP3) (HTML)
Lecture 6 Jan 18 Proofs 1.6, 1.7 (PPT) (PDF) (CP3) (HTML)
Lecture 7 Jan 23 Set Theory and Operations 2.1, 2.2 (PPT) (PDF) (CP3) (HTML)
Quiz Section 3 Jan 24 Functions 2.3 (PPT) (PDF) (CP3) (HTML)
Lecture 8 Jan 25 Modular Arithmetic 3.4 (PPT) (PDF) (CP3) (HTML)
Lecture 9 Jan 28 Modular Exponentiation 3.5, 3.6 (PPT) (PDF) (CP3) (HTML)
Lecture 10 Jan 30 Primality 3.5, 3.6 (PPT) (PDF) (CP3) (HTML)
Quiz Section 4 Jan 31 Functions 2.3 (PPT) (PDF) (CP3) (HTML)
Lecture 11 Feb 1 Applications of Primality 3.7 (PPT) (PDF) (CP3) (HTML)
Lecture 12 Feb 4 Induction 4.1 (PPT) (PDF) (CP3) (HTML)
Lecture 13 Feb 6 Induction and Recursion 4.2, 4.3 (PPT) (PDF) (CP3) (HTML)
Quiz Section 5 Feb 7 HW4 and Review Ch 1-3 (PPT) (PDF) (CP3) (HTML)
Lecture 14 Feb 11 Recursion 4.2, 4.3 (PPT) (PDF) (CP3) (HTML)
Lecture 15 Feb 13 Structural Induction 4.3 (PPT) (PDF) (CP3) (HTML)
Quiz Section 6 Feb 14 MT, HW5, Structural Induction 4.3 (PPT) (PDF) (CP3) (HTML)
Lecture 16 Feb 15 Counting 5.1, 5.2 (PPT) (PDF) (CP3) (HTML)
Lecture 17 Feb 20 Permutations and Combinations 5.2, 5.4 (PPT) (PDF) (CP3) (HTML)
Quiz Section 7 Feb 21 Counting 5.1-5.3 (PPT) (PDF) (CP3) (HTML)
Lecture 18 Feb 22 Generalized Permutations and Counting 5.5 (PPT) (PDF) (CP3) (HTML)
Lecture 19 Feb 25 Discrete Probability Theory 6.1, 6.2 (PPT) (PDF) (CP3) (HTML)
Lecture 20 Feb 27 Probability Theory, Bayes' Theorem 6.3, 6.4 (PPT) (PDF) (CP3) (HTML)
Quiz Section 8 Feb 28 Probability 5.5-6.2 (PPT) (PDF) (CP3) (HTML)
Lecture 21 Feb 29 Expectation, Analysis of Algorithms 6.4 (PPT) (PDF) (CP3) (HTML)
Lecture 22 Mar 3 Relations 8.1 (PPT) (PDF) (CP3) (HTML)
Lecture 23 Mar 5 Relations 8.1 (PPT) (PDF) (CP3) (HTML)
Quiz Section 9 Mar 6 Expectation, Relations 6.4-8.3 (PPT) (PDF) (CP3) (HTML)
Lecture 24 Mar 7 Relations 8.4-8.6 (PPT) (PDF) (CP3) (HTML)
Lecture 25 Mar 10 Graph theory 9.1-9.2 (PPT) (PDF) (CP3) (HTML)
Lecture 26 Mar 12 Graph theory 9.2-9.4 (PPT) (PDF) (CP3) (HTML)
Quiz Section 10 Mar 13 Graph theory 9.1-9.4 (PPT) (PDF) (CP3) (HTML)
Review Session Mar 16 All All (PPT) (PDF) (CP3) (HTML)