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