| Lecture # |
Date |
Topics |
Readings |
Slides |
| 1 |
1/06 (Wed) |
Administrivia and course introduction |
- |
- |
| 2 |
1/11 (Mon) |
Propositional logic |
1.1 |
[PDF] |
| 3 |
1/13 (Wed) |
Logic puzzles, propositional equivalence |
1.2 - 1.3 |
[PDF] |
| - |
1/18 (Mon) |
No class (Martin Luther King Jr.) |
- |
- |
| 4 |
1/20 (Wed) |
Predicates and quantifiers |
1.4 |
[PDF] |
| 5 |
1/25 (Mon) |
Logic programming, nested quantifiers |
1.4 - 1.5 |
[PDF] |
| 6 |
1/27 (Wed) |
Rules of inference, Introduction to proofs |
1.6 - 1.7 |
[PDF] |
| 7 |
2/01 (Mon) |
Proof methods and strategies |
1.8 |
[PDF] |
| 8 |
2/03 (Wed) |
Sets |
2.1 - 2.2 |
[PDF] |
| 9 |
2/08 (Mon) |
Set identities, Functions |
2.2 - 2.3 |
[PDF] |
| 10 |
2/10 (Wed) |
Functions, Sequences |
2.3 - 2.4 |
[PDF] |
| 11 |
2/15 (Mon) |
Integers, Modular arithmetic |
4.1 |
[PDF] |
| 12 |
2/17 (Wed) |
Primes, GCDs, Representations |
4.2 - 4.3 |
[PDF] |
| 13 |
2/22 (Mon) |
Mathematical induction |
5.1 |
[PDF] |
| 14 |
2/24 (Wed) |
Strong induction |
5.2 |
[PDF] |
| 15 |
2/29 (Mon) |
Midterm review |
- |
- |
| 16 |
3/02 (Wed) |
Midterm |
- |
- |
| - |
3/07 (Mon) |
No class (Spring break) |
- |
- |
| - |
3/09 (Wed) |
No class (Spring break) |
- |
- |
| 17 |
3/14 (Mon) |
Recurisve definitions, Structural induction |
5.3 |
[PDF] |
| 18 |
3/16 (Wed) |
Counting basics |
6.1 |
[PDF] |
| 19 |
3/21 (Mon) |
Counting basics, Pigeonhole principle |
6.1 - 6.2 |
[PDF] |
| 20 |
3/23 (Wed) |
Permutations, Combinations, Binomial coefficients |
6.3 - 6.4 |
[PDF] |
| 21 |
3/28 (Mon) |
Generalized permutations and combinations |
6.5 |
[PDF] |
| 22 |
3/30 (Wed) |
Discrete probability |
7.1 - 7.2 |
[PDF] |
| 23 |
4/04 (Mon) |
Probability theory |
7.2 |
[PDF] |
| 24 |
4/06 (Wed) |
Bayes' theorem |
7.3 |
[PDF] |
| 25 |
4/11 (Mon) |
Expected value and variance |
7.4 |
[PDF] |
| 26 |
4/13 (Wed) |
Relations, representations |
9.1, 9.3 |
[PDF] |
| 27 |
4/18 (Mon) |
N-ary relations |
9.4 |
[PDF] |
| 28 |
4/20 (Wed) |
Course wrap-up and exam review |
- |
- |