This is a preliminary outline of lecture topics and corresponding readings from the textbook, as well as exam dates and similar information. Be aware that it is only tentative. We will update it as the term progresses. Look for final announcements of quiz/test dates a couple weeks beforehand.
Lecture notes are intended only to show what topics were covered, so you can find and read the corresponding sections in the textbook. They are not intended to be a substitute for the textbook and handouts.
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.
Section numbers are from the Rosen textbook, 6th edition.
Date | Material covered | Lecture notes, slides | Readings, Handouts, Links | Comments | |
---|---|---|---|---|---|
1/21 | Getting started | lecture 1 | |||
1/23 | Math basics | lecture 2 | Appendix 2, sect. 2.4 end bit of sect 2.3 |
||
1/26 | Propositional logic | lecture 3 | sect 1.1 | Chinese New Year | |
1/28 | propositional equivalences | lecture 4 | sect 1.2 logical equivalences |
||
1/30 | crash intro to quantifiers | lecture 5 | don't read sect 1.3 | Saturday is Vasant Panchami | |
2/2 | direct proof | lecture 6 | don't read sect 1.6 | Add date | |
2/4 | proof by contradiction, contrapositive |
lecture 7 | sect 1.6, 3.4 | ||
2/6 | number theory I | lecture 8 | sect 3.5 | ||
2/9 | number theory II |
lecture 9 | sect 3.5, 3.6 |
|
|
2/11 | Quiz 1 number theory algorithms |
lecture 10 | sect 3.6, Appendix 3 | ||
2/13 | Sets I | lecture 11 | sect 2.1 | Valentine's Day tomorrow | |
2/16 | Sets II | lecture 12 proof example |
sect 2.2 | Presidents' Day | |
2/18 | Sets III nested quantifiers |
lecture 13 |
sect 1.3, 1.4 | ||
2/20 | functions | lecture 14 |
sect 2.3 | ||
2/23 | functions | lecture 15 proof exx |
sect 1.7, 2.3 | ||
2/25 | first midterm | Lent starts | |||
2/27 | Induction I | lecture 16 | sect 4.1 | ||
3/2 | induction II | lecture 17 | sect 4.1 | ||
3/4 | "strong" induction | lecture 18 more examples |
sect 4.2 | ||
3/6 | recursive definition | lecture 19 | sect 4.3 |
Hindu New Year clocks change Sunday |
|
3/9 | big-O | lecture 20 | sect 3.2 | Muhammed's birthday | |
3/11 | Solving recurrences | lecture 21 | sect 7.1 |
||
3/13 | cancelled due to Engineering Open House | Drop Date Engineering Open House Fri/Sat |
|||
3/16 | Solving recurrences |
lecture 22 | sect 7.1 |
St. Patrick's Day tomorrow | |
3/18 | Quiz 2 Algorithms |
lecture 23 | sect 3.1, 3.3 |
||
3/20 | Recursive algorithms I | lecture 24 | sect 4.4 | ||
3/23 | driving across the planet | ||||
3/25 | fun in the sun | ||||
3/27 | playing at the beach | ||||
3/30 | Recursive Algorithms II | lecture 25 | sect 4.4 | ||
4/1 | Trees | lecture 26 | sect 4.3 | April Fool's Day | |
4/3 | Tree induction structural induction |
lecture 27 more proofs |
sect 4.3, 10.1 | ||
4/6 | Counting I | lecture 28 | sect 5.1,5.3 | ||
4/8 | second midterm | Passover starts Thursday | |||
4/10 | Counting II | lecture 29 | sect 5.2, 5.4 | Sunday is Easter | |
4/13 | Counting III Probability I |
lecture 30 |
part of sect 5.5, 6.1 | ||
4/15 | Probability II | lecture 31 | sect 6.1, 6.2 |
||
4/17 | Probability III Graphs |
lecture 32 | sect 9.1. 9.2 | ||
4/20 | Graph isomorphism and connectivity | lecture 33 | sect 9.3, 9.4 |
||
4/22 | relations | lecture 34 | sect 8.1, 8.3 | ||
4/24 | equivalence relations | lecture 35 | sect 8.5 | ||
4/27 | equivalence relations and operations | lecture 36 | sect 8.5 | ||
4/29 | Quiz 3 cardinality |
lecture 37 | |||
5/1 | planar graphs I | lecture 38 | sect 9.7 | May Day | |
5/4 | planar graphs II | lecture 39 | sect. 9.7 | tomorrow is Cinco de Mayo | |
5/6 | graph coloring |
lecture 40 | sect 9.8 |
last day of classes | |
5/8 | exams | finals start | |||
5/11 | exams | ||||
5/12 | final: 1:30-4:30, 1LH-THEAT | THIS IS TUESDAY | |||
5/13 | conflict final 8-11, 1404 Siebel | This is Wednesday | |||
5/15 | exams |