This outline shows what was/will be covered in each lecture, as well as exam dates and similar information. It is still tentative and based on what happened last term.
Before each lecture, you are expected to do the reading assignment from the textbook. Please check the errata file for typos; report any new ones to Margaret. The corresponding Moodle quiz is due at 1am during the night before the lecture. You may also wish to read the corresponding sections in the optional Rosen textbook.
Date | Topic | Pre-lecture readings | Notes from lecture | Comments |
---|---|---|---|---|
8/28 | Introduction | lecture 1 | ||
8/30 | Logic | 1.1-1.4; 2.1-2.9 | lecture 2 | |
9/4 | Logic Proofs |
2.10-2.17; 3.1-3.3 | lecture 3 | Mon is Labor Day |
9/6 | Proofs | 1.5-1.7; 3.4-3.13 | lecture 4 | |
9/11 | Number Theory | 4.1-4.9 | lecture 5 | Mon is add date |
9/13 | Number Theory Sets |
4.10-4.14; 5.1-5.4 | lecture 6 | |
9/18 | Sets | 5.5-5.14 | lecture 7 | Mon is Rosh Hashanah |
9/20 | Relations | 6.1-6.7 | lecture 8 | |
9/25 | Functions/onto | 7.1-7.12 | lecture 9 | Wed is Yom Kippur |
9/27 | Functions/one-to-one | 8.1-8.10 | lecture 10 | Sun is Zhongqiu |
10/2 | Midterm 1 (in class) |
|||
10/4 | Graphs | 9.1-9.6 | lecture 11 | Fri-Sun ACM reflections/projections Sun is Vet Med Open House |
10/9 | Graphs 2-way bounding |
9.7-9.12; 10.1-10.6 | lecture 12 | |
10/11 | Induction | 11.1-11.8 | lecture 13 | |
10/16 | Induction | 11.9-11.12 | lecture 14 | |
10/18 | Recursive Definition | 12.1-12.7 | lecture 15 | Fri is drop date |
10/23 | Trees | 13.1-13.5 | lecture 16 | |
10/25 | Trees | 13.6-13.11 | lecture 17 | Fri is Eid Al-Adha Sat is homecoming |
10/30 | Big-O Algorithms |
14.1-14.9; 15.1-15.4 | lecture 18 | Wed is Halloween |
11/1 | Algorithms | 15.5-15.9 | lecture 19 | Reset clocks Sun |
11/6 | Midterm 2 (in class) |
Election Day | ||
11/8 | NP | 16.1-16.5 | lecture 20 | |
11/13 | Contradiction Sets of Sets |
17.1-17.5; 18.1-18.2 | lecture 21 | Diwali starts Mon is Veteran's Day |
11/15 | Sets of Sets | 18.3-18.9 | lecture 22 | |
11/20 | Catching up on sleep | |||
11/22 | Eating way too much | Thanksgiving | ||
11/27 | State Diagrams | 19.1-19.5 | lecture 23 | |
11/29 | State Diagrams | 19.6-19.8; 20.1-20.3 | lecture 24 | |
12/4 | Countability | 20.4-20.7 | lecture 25 | |
12/6 | Countability/Planar Graphs | 20.8-20.9; 21.1-21.8 (not proof details) | lecture 26 | |
12/11 | Wrap-up ICES forms |
Last class | ||
12/13 | Reading Day | |||
12/15 SATURDAY | Our Final Exam | 8-11am |