Here is this semester's tentative schedule; we will update it as the semester progresses.
Please note that lecture notes are provided as a supplement, and are NOT a substitute for attending lecture. In particular, these are not guaranteed, so expect technical difficulties to prevent them from being posted at least a few times in the semester, and plan accordingly to either take notes or get them from a friend if necessary.
Date Topic Reading Lecture Notes Code or Lab assignment Monday, Aug. 27 Syllabus
Intro to LogicChapter 1.1, 1.2 Lecture 1 Wednesday, Aug. 29 Predicates
Truth TablesChapter 1.2-1.4 Lecture 2 Friday, Aug. 31 Quantifiers
NegationsChapter 1 Lecture 3 Wednesday, Sept. 5 Intro to Proofs Chapter 1.6-1.7 Lecture 4 Friday, Sept. 7 More on proofs Chapter 1.7, 1.8 Lecture 5 Monday, Sept. 10 Sets Chapter 2.1-2.2 Lecture 6 Wednesday, Sept. 12 Sets Chapter 2.1-2.2 Lecture 7 Friday, Sept. 14 Set paradoxes
FunctionsChapter 2.3 Lecture 8 Monday, Sept. 17 More functions Chapter 2.2 Lecture 9 Wednesday, Sept. 19 Recurrences and summations Chapter 2.4 Lecture 10 Friday, Sept. 21 Infinite Sets
Big-OChapter 2.5, 3.2 Lecture 11 Monday, Sept. 24 More Big-O Chapter 3.2 Lecture 12 Wednesday, Sept. 26 Algorithms
PsuedocodeChapter 3.1 Lecture 13 Friday, Sept. 28 Sorting Chapter 3.1 Lecture 14 Monday, Oct. 1 Review for midterm Chapters 1-3 Wednesday, Oct. 3 Midterm 1 Friday, Oct. 5 Algorithm analysis Chapter 3.3 Lecture 15 Monday, Oct. 8 Algorithms Analysis Chapter 5.1-5.2 Lecture 16 Wednesday, Oct. 10 Induction Chapter 5.1-5.2 Lecture Notes Friday, Oct. 12 More induction Chapter 5.1-5.2 Lecture Notes Monday, Oct. 15 Even more induction Chapter 5.1-5.2 Lecture Notes Wednesday, Oct. 17 Recurrences Chapter 5.3 No notes (computer error) Friday, Oct. 19 More recurrences Chapter 5.3, 8.1 Lecture Notes Monday, Oct. 22 Recursive Algorithms Chapter 5.3 Old Lecture Notes Wednesday, Oct. 24 Solving recurrences Chapter 8.2 Old lecture notes Friday, Oct. 26 Solving recurrences Chapter 8.2 Lecture Notes Monday, Oct. 29 Solving recurrences Chapter 8.2 Old Lecture Notes Wednesday, Oct. 31 Divide and conquer recurrences Chapter 8.3 Lecture Notes Friday, Nov. 2 Divide and conquer recurrences Chapter 8.3 Lecture Notes Monday, Nov. 5 Counting Chapter 6.1 Lecture Notes Wednesday, Nov. 7 Review session Friday, Nov. 9 Exam Wednesday, Nov. 14 Counting Chapter 6.2-6.3 Lecture Notes Friday, Nov. 16 Counting Rest of Chapter 6 Lecture Notes Monday, Nov. 19 Probability Chapter 7.1-7.2 Lecture Notes Monday, Nov. 26 Probability Chapter 7.3-7.4 Lecture Notes Wednesday, Nov. 28 Graphs Chapter 10.1, 10.4, 10.5 Lecture Notes Friday, Nov. 30 Graphs Chapter 10.2, 10.4, 10.5 Lecture Notes Monday, Dec. 3 Trees Chapter 11.1 Lecture Notes Wednesday, Dec. 5 Planar graphs Chapter 10.7 Lecture Notes