Gerald Dalley's 6.001 Website (Spring 2007)
For the Spring 2007 term, I was a recitation instructor for 6.001: Structure and Interpretation of Computer Programs, affectionately known as SICP (pronounced "sick-pea"). It is the introductory Computer Science course at MIT, and at the time it was taught in the Scheme programming language (a LISP dialect). This page contains recitation notes that were posted primarily for my students and for reference by future instructors. For the Spring 2005 term, I was a teaching assistant for the same course.
Handouts
Office Hours
I held office hours every Thursday from 2-3pm in 32-D407.
Recitation Notes
| 25 | 16 May | Final Exam Review | Not posted to allow future terms to reuse problems | |||
| 24 | 11 May | Explicit Control Evaluator | handout (solutions @ end), ec-eval, source | |||
| 23 | 9 May | Register Machines and Stack Frames | handout (solutions @ end), source | |||
| 22 | 4 May | Streams | handout (solutions @ end), source | |||
| 21 | 2 May | Lazy Evaluation | Taught by TA Stephen McCamant | |||
| 20 | 27 Apr | Meta-Circular Evaluator | Prof. Szolovits substituted | |||
| 19 | 25 Apr | Interpretation | handout (solutions @ end), source | |||
| 18 | 18 Apr | Quiz 2 Review | handout (solutions @ end), source, triplet.scm | |||
| 17 | 13 Apr | Object Oriented Systems II: Project 4-style | Not posted to avoid conflicts with Project 4. | |||
| 16 | 11 Apr | Object Oriented Systems I: Message Passing | handout (solutions @ end), source | |||
| 15 | 6 Apr | Environment model | handout (solutions @ end), hats, source | |||
| 14 | 4 Apr | More trees, search, graphs | Prof. Szolovits' Search Notes | |||
| 13 | 23 Mar | Trees | handout (solutions @ end), source | |||
| 12 | 21 Mar | Mutation | PPT (with solutions), PDF (no solutions) | |||
| 11 | 16 Mar | Tagged Data | handout (solutions @ end), source | |||
| 10 | 14 Mar | Symbols, Quotation, and Feedback | handout (solutions @ end), source | |||
| 9 | 7 Mar | Quiz Review (emphasis on HOPs) | intro [pdf,ppt], λeopardy [pdf,ppt] | |||
| 8 | 2 Mar | Higher order procedures | handout (solutions @ end), source | |||
| 7 | 28 Feb | Data Abstractions II | PPT, PDF, primes-in-range | |||
| 6 | 23 Feb | Pairs, lists, and data abstractions | handout (solutions @ end), source | |||
| 5 | 21 Feb | More orders of growth | handout (solutions @ end), source | |||
| 4 | 16 Feb | Recursion & iteration review, order of growth intro. | handout, solutions, source | |||
| 3 | 14 Feb | Substitution model, recursion, iteration | handout, solutions, source | |||
| 2 | 9 Feb | More expressions | handout, solutions, source | |||
| 1 | 7 Feb | Basic expressions | handout, solutions |
Portions of the above recitations were adapted from the work of past 6.001 instructors, especially Ben Vandiver, Dr. Barb Cutler, and Prof. Rob Miller.
The One Lambda
Here's a picture of the One Lambda prop. Useless brownie points for the first person who can read the inscription...
DrScheme Documentation (Local Version)
 | R5RS Specification: The definitive manual on the Revised5 Report on Scheme (R5RS). |
| Language Manual: Documents DrScheme's extensions of and deviations from the R5RS standard. |
| User Manual: How to use the DrScheme user interface. |
Scheme Tools
The following are some Scheme tools I've written and found helpful for myself.
| scm2html.zip: A PERL script for creating syntax-highlighted HTML files from SCM source files. For example, assert.html was generated from assert.scm. |
| Assert [SCM] [HTML]: Several assertion procedures that can be used to make defensive coding much easier. |
Other Useful 6.001 Websites
| Main 6.001 Website: Your (main) link to everything 6.001. | ||||||||
| Course Calendar: Includes links to lecture notes, assignment due dates, etc. | ||||||||
| Gerald Dalley's 6.001 Spring 2005 Site: Has all of my tutorial notes from Spring 2005 when I was a TA for the course. | ||||||||
| David Ziegler's 6.001 Site: Has links to old quizzes and exams, his tutorial notes. | ||||||||
| Handy Editors
|
