| 8.2 |
Intro / Mathematical objects |
|
slides |
quiz |
| 8.3 |
Numbers |
Rosen 4.1, 4.2 |
slides |
quiz |
| 8.4 |
Circuits / Truth tables |
Rosen 1.2, 1.1, 1.3 |
slides |
quiz |
| 8.5 |
Logic |
Rosen 1.1 |
slides |
quiz |
| 8.9 |
Quantifiers |
Rosen 1.4, 1.5 |
slides |
quiz |
| 8.10 |
Direct proofs |
Rosen 1.7, 1.8 |
[slides] [notes] [whiteboard] |
quiz |
| 8.11 |
Indirect proofs |
Rosen 1.7, 1.8 |
[slides] [notes] [whiteboard] |
quiz |
| 8.12 |
Sets |
Rosen 2.1, 2.2 |
[slides] [notes] |
quiz |
| 8.16 |
Induction |
Rosen 5.1, 5.2 |
[slides] [notes] |
quiz |
| 8.17 |
Induction |
Rosen 5.1, 5.2 |
[slides] [notes] |
quiz |
| 8.18 |
Induction |
Rosen 5.1, 5.2 |
[slides] [notes] [whiteboard] |
quiz |
| 8.19 |
Functions / Cardinality |
Rosen 2.3, 2.5 |
[slides] [whiteboard] |
quiz |
| 8.23 |
Midterm (weeks 1 + 2) |
|
|
|
| 8.24 |
Unountable sets |
Rosen 2.5 |
[slides] [notes] |
quiz |
| 8.25 |
Diagonalization / Equivalence relations |
Rosen 9.1, 9.5 |
[slides] [notes] |
quiz |
| 8.26 |
Modular arithmetic |
Rosen 9.5, 4.1 |
[slides] [notes] |
quiz |
| 8.30 |
Mod applications |
Rosen 4.3-4.6 |
[slides] [whiteboard] |
quiz |
| 8.31 |
Hashing / Cryptography |
|
[slides] |
quiz |
| 9.1 |
RSA / Review |
|
[slides] [whiteboard] |
quiz |
| 9.2 |
Review |
|
[slides] [whiteboard] |
quiz |