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