Main navigation | Main content
Schedule
This is an approximate schedule. It will be updated as the class progresses.
The in-class exercise at the beginning of each lecture will be taken from a section in bold.
|
|
|
|
|
|
|
|
|---|---|---|---|---|---|---|
| 1 | Jan. 21 |
Introduction and Logic |
Lec1 slides Lec2 slides |
1.1, 1.2, 1.3 |
|
|
| 2 | Jan. 28 |
Quantifiers |
Lec3 slides |
1.4, 1.5 |
Assignment 1: Due 2/1 |
|
| 3 | Feb. 4 |
Proofs and Sets |
Lec4 slides Lec5 slides |
1.6, 1.7, 1.8 |
Assignment 2: Due 2/6 |
Quiz 1: 2/7 Practice Solutions |
| 4 | Feb. 11 |
Sets |
Lec6 slides Lec7 slides |
2.1, 2.2, 2.3, 2.4 |
Assignment 3: Due 2/13 |
|
| 5 | Feb. 18 |
Algorithms |
Lec8 slides Lec9 slides |
2.5, 3.1, 3.2, 3.3 |
Assignment 4: Due 2/20 |
Quiz 2: 2/19 Practice Solutions |
| 6 | Feb. 25 |
Number Theory |
Lec10 slides Lec11 slides |
4.1, 4.2, 4.3, 4.5, 4.6 |
Assignment 5: Due 2/27 |
|
| 7 | Mar. 4 |
Induction |
Lec12 Lec12 (short) Lec13 Lec13 (short) |
4.6, 5.1, 5.2 |
Assignment 6: Due 3/6 |
Quiz 3: 3/5 Practice Solutions |
| 8 | Mar. 11 |
Counting |
Lec14 Lec14 (short) Lec15 Lec15 (short) |
5.3, 6.1, 6.2 |
Assignment 7: Due 3/13 |
|
| 9 | Mar. 18 |
Spring Break! |
|
|||
| 10 | Mar. 25 |
Counting |
Lec16 Lec16 (short) Lec17 Lec17 (short) |
6.3, 6.4, 6.5 |
Assignment 8: Due 3/27 |
Quiz 4: 3/26 Practice Solutions |
| 11 | Apr. 1 |
Probability |
Lec18 Lec18 (short) Lec19 Lec19 (short) |
7.1, 7.2, 7.3 |
Assignment 9: Due 4/3 |
|
| 12 | Apr. 8 |
Advanced Counting |
Lec20 Lec20 (short) |
7.4, 8.1, 8.2, 8.3 |
Assignment 10: Due 4/10 |
Quiz 5: 4/9 Practice Solutions |
| 13 | Apr. 15 |
Relations |
Lec21 (short) Lec21 Lec22 (short) Lec22 |
9.1, 9.3, 9.4, 9.5 |
Assignment 11: Due 4/17 |
|
| 14 | Apr. 22 |
Graphs |
Lec23 (short) Lec23 Lec24 (short) Lec24 |
10.1, 10.2, 10.3 |
Assignment 12: Due 4/24 |
Quiz 6: 4/23 Practice Solutions |
| 15 | Apr. 29 |
Modeling Computation |
Lec25 (short) Lec25 |
10.4, 13.3 |
Assignment 13: Due 5/1 |
Quiz 7: 5/2 Practice Solutions |
| 16 | May 6 |
Group Work 14 |
No lecture | |
Assignment 14: Due 5/8 |
|
| 17 | May 13 |
No Final |
|