This outline shows lecture topics covered and the corresonding readings from the textbook, as well as exam dates and similar information.
Lecture notes appear after lectures and will reflect what was actually covered. If you would like to read ahead, check out last term's lecture notes and/or the corresponding sections from the Rosen textbook. (The numbers below refer to the 6th edition of Rosen.)
For those of you looking at this page after the end of Fall 2010, notice that the lecture notes now have a new stable home.
| Date | Material covered | Lecture notes, slides | Readings, Handouts, Links | Comments | |
|---|---|---|---|---|---|
| 1/20 | Getting started | lecture 1 (9am) (1pm) | |||
| 1/22 | Math basics | lecture 2 (9am) (1pm) | Appendix 2, sect. 2.4 end bit of sect 2.3 |
||
| 1/25 | Propositional logic | lecture 3 (9am) (1pm) | sect 1.1 | ||
| 1/27 | propositional equivalences | lecture 4 (9am) (1pm) | logical equivalences | ||
| 1/29 | crash intro to quantifiers | lecture 5 (9am) (1pm) | don't read sect 1.3 | ||
| 2/1 | direct proof | lecture 6 (9am) (1pm) | don't read sect 1.6 | Add Date | |
| 2/3 | proof by contradiction, contrapositive |
lecture 7 (9am) (1pm) | sect 1.6 | ||
| 2/5 | number theory I | lecture 8 (9am) (1pm) | sect 3.4,3.5 | ||
| 2/8 | number theory II |
lecture 9 (9am) (1pm) | sect 3.4, 3.5 |
|
|
| 2/10 | Quiz 1 number theory algorithms |
lecture 10 (9am) (1pm) |
sect 3.6, Appendix 3 | ||
| 2/12 | Sets I | lecture 11 (9am) (1pm) |
sect 2.1,2.2 | Sunday is Valentine's Day | |
| 2/15 | Sets II | lecture 12 (9am) (1pm) |
sect 2.1,2.2 | ||
| 2/17 | Sets III nested quantifiers |
lecture 13 (9am) (1pm) |
sect 1.3, 1.4 | ||
| 2/19 | functions | lecture 14 (9am) (1pm) |
sect 2.3 | ||
| 2/22 | Son of functions | lecture 15 (9am) (1pm) |
sect 1.7, 2.3 | ||
| 2/24 | first midterm 7-9pm, 141 Wohlers Hall |
lecture is optional review | |||
| 2/26 | More functions Induction I |
lecture 16 (9am) (1pm) |
sect 4.1 | ||
| 3/1 | induction II | lecture 17 (9am) (1pm) |
sect 4.1 | Holi | |
| 3/3 | "strong" induction | lecture 18 (9am) (1pm) |
sect 4.2 | ||
| 3/5 | recursive definition | lecture 19 (9am) (1pm) |
sect 4.3 |
||
| 3/8 | big-O | lecture 20 (9am) (1pm) |
sect 3.2 | ||
| 3/10 | Big-O Solving recurrences I |
lecture 21 (9am) (1pm) |
sect 3.2, 7.1 |
||
| 3/12 | Engineering Open House | [no class] | Drop Date Set clocks ahead Sunday |
||
| 3/15 | Solving recurrences II | lecture 22 (9am) (1pm) |
sect 7.1 and some of 7.3 |
||
| 3/17 | Quiz 2 Algorithms |
lecture 23 (9am) (1pm) |
sect 3.1, 3.3 | St. Patrick's Day | |
| 3/19 | Recursive algorithms I | lecture 24 (9am) (1pm) |
sect 4.4 | ||
| 3/22 | driving across country | ||||
| 3/24 | catching up on sleep | ||||
| 3/26 | lounging on the beach | ||||
| 3/29 | Recursive Algorithms II | lecture 25 (9am) (1pm) |
sect 4.4, 7.1 | Passover starts Tuesday | |
| 3/31 | Trees | lecture 26 (9am) (1pm) |
sect 10.1 | ||
| 4/2 | Trees Structural induction |
lecture 27 (9am) (1pm) |
sect 4.3, 10.1 | Good Friday | |
| 4/5 | Structural Induction Counting I |
lecture 28 (9am) (1pm) |
sect 5.1,5.3 | ||
| 4/7 | second midterm 7-9pm, 141 Wohlers Hall |
lecture is optional review | (9am) | ||
| 4/9 | Counting II | lecture 29 (9am) (1pm) |
sect 5.2, 5.4 | ||
| 4/12 | Counting III | lecture 30 (9am) (1pm) |
part of sect 5.5 | ||
| 4/14 | Graphs | lecture 31 (9am) (1pm) |
sect 9.1. 9.2 | ||
| 4/16 | Graph isomorphism and connectivity | lecture 32 (9am) (1pm) |
sect 9.3, 9.4 | ||
| 4/19 | relations | lecture 33 (9am) (1pm) |
sect 8.1,8.3 | ||
| 4/21 | equivalence relations | lecture 34 (9am) (1pm) |
sect 8.5 | ||
| 4/23 | equivalence relations and partitions | lecture 35 (9am) (1pm) |
sect 8.5 | ||
| 4/26 | Applications of equivalence relations | lecture 36 (9am) (1pm) |
|||
| 4/28 | Quiz 3 Planar graphs I |
lecture 37 (9am) (1pm) |
sect 9.7 | ||
| 4/30 | Planar graphs II | lecture 38 (9am) (1pm) |
Saturday is May Day | ||
| 5/3 | graph coloring | lecture 39 (9am) (1pm) |
sect 9.8 | ||
| 5/5 | Makeup quiz Countability |
lecture 40 (9am) (1pm) |
sect 2.4 | last day of classes Cinco de Mayo |
|
| 5/7 | exams start | final 7-10pm | |||
| 5/10 | More exams | conflict final 1:30-4:30 | |||
| 5/12 | More exams | ||||
| 5/14 | exams |