| Date | Lecture Material | Relevant sections in text |
|---|---|---|
| Feb 4 | Overview of 6.001 |   |
| Feb 6 | Introduction to Lisp | 1.1 |
| Feb 11 | Models of Computation | 1.2 |
| Feb 13 | Higher-order procedures | 1.3 |
| Feb 20 | Compound data | 2.1 |
| Feb 25 | Aggregate data | 2.2 through 2.2.3 |
| Feb 27 | Henderson Picture Language | 2.2.4 |
| Mar 4 | Symbolic data | 2.3 |
| Mar 6 | Pattern Matcher |   |
| Mar 11 | Generic Operators | 2.4, 2.5 |
| Mar 13 | Data Dircted Programming | 2.4, 2.5 |
| Mar 18 | Environment Model | 3.2 |
| Wednesday, March 19---Quiz 1 | ||
| Mar 20 | State | 3.1 |
| Apr 1 | Object-Oriented Programming |   |
| Apr 3 | Object-Oriented Programming |   | Apr 8 | Metacircular Evaluator | 4.1 |
| Apr 10 | Analyze Evaluator | 4.2 |
| Apr 15 | Evaluation in Java |   |
| Nov 12 | Nondeterminism | 4.3 |
| Wednesday, April 16---Quiz 2 | ||
| Apr 17 | Nondeterminism | 4.3 |
| Apr 24 | Register Machines | 5.1, 5.2 |
| Apr 29 | Explicit Control Evaluator | 5.4 |
| May 1 | Compilation | 5.5 |
| May 6 | Memory Management | 5.3 |
| May 8 | Patents and Copyrights |   |
| May 13 | To Be Announced |   |
| May 15 | The Grand Finale |   |
| Final Exam to be scheduled by Schedules Office | ||