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
8/24	Getting started	lecture 1
8/26	Math basics	lecture 2	Appendix 2, sect. 2.4 end bit of sect 2.3
8/28	Propositional logic	lecture 3	sect 1.1
8/31	propositional equivalences	lecture 4	sect 1.2 logical equivalences
9/2	crash intro to quantifiers	lecture 5	don't read sect 1.3
9/4	direct proof	lecture 6	don't read sect 1.6	Add Date
9/7	LABOR DAY			No sections this week
9/9	proof by contradiction, contrapositive	lecture 7	sect 1.6
9/11	number theory I	lecture 8	sect 3.4,3.5
9/14	number theory II	lecture 9	sect 3.4, 3.5
9/16	Quiz 1 number theory algorithms	lecture 10	sect 3.6, Appendix 3
9/18	Sets I	lecture 11	sect 2.1,2.2	Saturday is Rosh Hashanah Sunday is Eid Ul-Fitr
9/21	Sets II	lecture 12	sect 2.1,2.2
9/23	Sets III nested quantifiers	lecture 13	sect 1.3, 1.4
9/25	functions	lecture 14	sect 2.3
9/28	Son of functions	lecture 15	sect 1.7, 2.3	Yom Kippur
9/30	first midterm
10/2	More functions Induction I	lecture 16	sect 4.1
10/5	induction II	lecture 17	sect 4.1
10/7	"strong" induction	lecture 18	sect 4.2
10/9	recursive definition	lecture 19	sect 4.3
10/12	big-O	lecture 20	sect 3.2
10/14	Big-O Solving recurrences I	lecture 21	sect 3.2, 7.1
10/16	Solving recurrences II	lecture 22	sect 7.1 and some of 7.3	Saturday is Diwali ACM conference today through Sunday
10/19	Algorithms	lecture 23	sect 3.1, 3.3	Drop Date
10/21	Quiz 2 Recursive algorithms I	lecture 24	sect 4.4
10/23	Recursive Algorithms II	lecture 25	sect 4.4, 7.1
10/26	Trees	lecture 26	sect 10.1
10/28	Trees Structural induction	lecture 27	sect 4.3, 10.1
10/30	Structural Induction Counting I	lecture 28	sect 5.1,5.3	Saturday is Halloween Clocks change Sunday
11/2	Counting II	lecture 29	sect 5.2, 5.4	Tuesday is Election Day
11/4	second midterm
11/6	Counting III Probability I	lecture 30	part of sect 5.5, 6.1
11/9	Probability II	lecture 31	sect 6.1, 6.2, 6.4
11/11	Probability III Graphs I	lecture 32	sect 9.1. 9.2
11/13	Graphs II	lecture 33	sect 9.1. 9.2
11/16	Graph isomorphism and connectivity cardinality	lecture 34	sect 2.4, 9.3, 9.4
11/18	relations	lecture 35	sect 8.1,8.3
11/20	equivalence relations	lecture 36	sect 8.5
11/23	driving across country
11/25	catching up on sleep
11/27	recovering from too much food			Eid al-Adha starts
11/30	equivalence relations and operations	lecture 37	sect 8.5
12/2	Quiz 3 applications of equivalence relations	lecture 38
12/4	Planar graphs I	lecture 39	sect 9.7
12/7	Makeup quiz Planar graphs II	lecture 40
12/9	graph coloring	lecture 41	sect 9.8	last day of classes
12/11	exams start			finals start
12/14	More exams
12/16	More exams
12/17 THIS IS THURSDAY	CS 173 Final exam 8-11am
12/18	exams