The "Notes" readings refer to our course reader, available here:
This schedule updates each week. For an overview of the whole quarter, refer to the Syllabus Handout:
The schedule is subject to change by the management at any time.
| Week | Monday | Wednesday | Friday |
|---|---|---|---|
| 1 |
Jan 7th 00: Can computers solve all problems? Set theory and the limits of computingRead: Syllabus, Course Information Sheet, Notes Ch. 1
Slides
|
Jan 9th 01: How can we prove results with certainty?Read: Notes Ch. 2
Slides
|
Jan 11th 02: How do we prove something without directly proving it?Read: Notes Ch. 2
Slides |
| 2 |
Jan 14th 03: How can we formalize our reasoning?Read: related handout |
Jan 16th 04: How can we reason about collections of objects?Read: related handout |
Jan 18th 05: How do we rigorously define key terms?Read: (see handouts from Mon and Wed) |
| 3 |
Jan 21st Martin Luther King Jr Holiday - no classRead: Consider watching his 1967 Two Americas speech, given here on Stanford campus |
Jan 25th 07: What does it mean to compare two objects?Read: Handouts, Notes Ch. 6
Slides |
|
| 4 |
Jan 30th 09: How do we reason about infinity?Read: Handout, Notes Ch. 6 |
||
| 5 |
Feb 8th 13: Induction Pt. 2Read: Notes Ch. 3, Handout
Slides |
||
| 6 | |||
| 7 |
Feb 18th No lecture: President's Day holiday |
||
| 8 | |||
| 9 | |||
| 10 |