The lecture videos and notes assume that you have already done the posted reading assignment from the textbook. So they do not walk through basic definitions but, rather, concentrate on aspects of the topic that you probably didn't fully understand after doing the readings.
| Date | Lecture topics | Readings | Course notes | Lecture material | |
|---|---|---|---|---|---|
| June 13 | Week 1 | Logistics, Math Review, Logic | 1.1-1.4, 1.7; chapter 2 meetings and materials assigned work academic integrity policy |
Intro Logic 1 Logic 2 Logic 3 |
Slides Recording |
| June 14 | Logic, Proofs | chapter 3 | Proofs 1 Proofs 2 |
Slides Recording |
|
| June 15 | Proofs, Number Theory | 4.1 - 4.11 | Numbers 1 Numbers 2 Numbers 3 |
Slides Recording |
|
| June 16 | Proofs and Number Theory | exam instructions missed examlets special situations |
Slides Recording Bonus Video |
||
| June 20 | Week 2 | Examlet 1 | |||
| June 21 | Sets | chapter 5 | regrade requests Sets 1 Sets 2 |
||
| June 22 | Relations | chapter 6 | Relations 1 Relations 2 |
Slides (Annotated) Recording |
|
| June 23 | Functions | chapter 7 | Functions 1 Functions 2 |
Slides (Annotated) Recording |
|
| June 27 | Week 3 | Examlet 2 | |||
| June 28 | Functions | chapter 8 | Functions 3 Functions 4 |
Slides Recording |
|
| June 29 | Graphs | chapter 9 | Graphs 1 Graphs 2 |
Slides Recording |
|
| June 30 | 2-way bounding | chapter 10 | Bounding | Slides Recording |
|
| July 4 | Week 4 | No Class! | |||
| July 5 | Induction | 1.5-1.6, chapter 11 | Induction 1 Induction 2 |
Slides (Annotated) Recording |
|
| July 6 | Induction | chapter 11 | Induction 3 Induction 4 |
Slides (Annotated) Recording (Part 2) |
|
| July 7 | Recursion | chapter 12 | Rec. Defn 1 Rec. Defn 3 |
Slides (Annotated) Recording |
|
| July 11 | Week 5 | Examlet 4 | |||
| July 12 | Recursion, Trees | chapter 12 | Rec. Defn 2 Trees 1 |
Slides (Annotated) Recording |
|
| July 13 | Trees | chapter 13 | Trees 2 Trees 3 |
Slides Recording |
|
| July 14 | Big O | chapter 14 | Algorithms 1 Algorithms 2 |
Slides Recording |
|
| July 18 | Week 6 | Examlet 5 | |||
| July 19 | Algorithms | chapter 15 | Slides (Annotated) Recording |
||
| July 20 | Algoirthms/NP | chapter 16 | Algorithms 4 Algorithms 5 |
Slides (Annotated) Recording |
|
| July 21 | NP/Contradiction | chapter 17 | contradiction 1 contradiction 2 |
Slides (Annotated) Recording |
|
| July 25 | Week 7 | Examlet 6 | |||
| July 26 | Collections of Sets | chapter 18 | COS 1 COS 2 COS 3 |
Slides (Annotated) Recording |
|
| July 27 | State Diagrams | chapter 19 | state diagrams 1 state diagrams 2 |
Slides (Annotated) Recording |
|
| July 28 | State Diagrams | chapter 19 | state diagrams 3 | Slides Recording |
|
| August 1 | Week 8 | Examlet 7 | |||
| August 2 | Countability | chapter 20 | countability 1 countability 2 |
Slides (Annotated) Recording |
|
| August 3 | Countability | chapter 20 | countability 3 countability 4 |
Slides (Annotated) Recording |
|
| August 4 | Review | Notes Recording |
|||
| August 5 or 6 (Not yet scheduled!) | Final Examlet (Examlet 8) |