Below is the current calendar for the CSE321 class. Please keep in mind that Dan is constantly updating this. It should accurately describe the past, but it won't always accurately predict the future. Links to lecture notes are included as they become available.

Monday Wednesday Thursday Friday
1/4
Administrative details
Propositional logic
Read: Rosen 1.1
1/6
Propositional logic
Logical equivalence
Read: Rosen 1.2
1/7
Natural deduction
1/8
Natural deduction
Logical equivalence
Quantifiers
Read: Rosen 1.3
1/11
Predicate Calculus
Nested Quantifiers
Read: Rosen 1.4
1/13
Rules of inference
Predicate calculus
Read: Rosen 1.5
1/14
Quantifiers
1/15
Proofs
Proof techniques
Read: Rosen 1.6
1/18
No class, MLK day
1/20
Proofs, sets
Induction
1/21
Proofs
1/22
Sets, functions
Inductive definitions
1/25
Integers and division
1/27
Primes and GCD
Structural induction
1/28
Induction, proofs
1/29
Program correctness
Program correctness (version 2)
2/1
Division
2/3
Strong induction
2/4
2/5
Midterm
2/8
Modular arithmetic
2/10
RSA
2/11
2/12
Pigeonhole principle, combinations, permutations
Primes
2/15
President's Day - no class
2/17
Counting
Binomial coefficients
Discrete probability
2/18
Counting
2/19
Counting
Probability theory
2/22
Probability theory
Expected value
2/24
Class CANCELED
2/25
2/26
Probability theory
Probabilistic robotics
3/1
Probability
3/3
Relations
LSH
3/4
3/5
Relations
Equivalence relations, graphs
3/8
Bipartite graphs, graph isomorphism
3/10
Isomorphism, Euler circuits
3/11
3/12
Review

Midterm exam Friday, February 5, 1:30-2:20 pm

Final exam Monday, March 15, 2:30-4:20


Last modified: Sat Jan 2 09:17:08 PDT 2010