| Lecture # |
Date |
Topics |
Readings |
Slides |
| 1 |
1/6 (Thu) |
Administrivia and course introduction |
- |
- |
| 2 |
1/11 (Tues) |
Propositional logic |
1.1 |
[PDF] |
| 3 |
1/13 (Thu) |
Logic puzzles, propositional equivalence |
1.1 - 1.2 |
[PDF] |
| 4 |
1/18 (Tues) |
Predicates and quantifiers |
1.3 |
[PDF] |
| 5 |
1/20 (Thu) |
Logic programming, nested quantifiers |
1.3 - 1.4 |
[PDF] |
| 6 |
1/25 (Tues) |
Sets |
2.1 - 2.2 |
[PDF] |
| 7 |
1/27 (Thu) |
Set identities, Functions |
2.2 - 2.3 |
[PDF] |
| 8 |
2/1 (Tues) |
Functions, sequences |
2.3 - 2.4 |
[PDF] |
| 9 |
2/3 (Thu) |
Integers and modular arithmetic |
3.4 |
[PDF] |
| 10 |
2/8 (Tues) |
Primes, GCDs, and representations |
3.5 - 3.6 |
[PDF] |
| 11 |
2/10 (Thu) |
Counting basics |
5.1 |
[PDF] |
| 12 |
2/15 (Tues) |
Counting basics, pigeonhole principle |
5.1 - 5.2 |
[PDF] |
| 13 |
2/17 (Thu) |
Permutations, combinations, and binomial coefficients |
5.3 - 5.4 |
[PDF] |
| 14 |
2/22 (Tues) |
Generalized permutations and combinations |
5.5 |
[PDF] |
| 15 |
2/24 (Thu) |
Midterm review |
- |
- |
| 16 |
3/01 (Tues) |
Midterm |
- |
- |
| 17 |
3/03 (Thu) |
Exam answers session and recap |
- |
- |
| - |
3/08 (Tues) |
Spring break. No class. |
- |
- |
| - |
3/10 (Thu) |
Spring break. No class. |
- |
- |
| 18 |
3/15 (Tues) |
Discrete probability |
6.1 - 6.2 |
[PDF] |
| 19 |
3/17 (Thu) |
Probability theory |
6.1 - 6.2 |
[PDF] |
| 20 |
3/22 (Tues) |
Probability theory; Bayes' theorem |
6.3 |
[PDF] |
| 21 |
3/24 (Thu) |
Bayes' theorem |
6.3 |
- |
| 22 |
3/29 (Tues) |
Expected value and variance |
6.4 |
[PDF] |
| 23 |
3/31 (Thu) |
Expected value and variance |
6.4 |
- |
| 24 |
4/05 (Tues) |
Relations, representations |
8.1, 8.3 |
[PDF] |
| 25 |
4/07 (Thu) |
n-ary relations |
8.2 |
[PDF] |
| 26 |
4/12 (Tues) |
Equivalence relations |
8.5 |
[PDF] |
| 27 |
4/14 (Thurs) |
Closures of relations |
8.4 |
[PDF] |
| 28 |
4/19 (Tues) |
Closures of relations; office hours |
8.4 |
- |
| 29 |
4/21 (Thu) |
Course wrap-up and exam review |
- |
- |