| 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 |