Assigned Readings
Readings will be chosen from the following list. Specific readings are assigned in each of the problem sets.
| INITIALS | READINGS |
|---|---|
| [SICP] |
The full text of SICP is available online through the MIT Press Web site. |
| [R5RS] | Kelsey, Richard, et al. "Revised Report on the Algorithmic Language Scheme." ( PDF) |
| [SOS] | Hanson, Chris. "The SOS [Scheme Object System] Reference Manual." (PDF) |
| [ART] |
 Springer, George, and Daniel Friedman. Scheme and the Art of Programming. Cambridge, MA: MIT Press, 1989. ISBN: 9780262192880. |
| [RZ] | Zippel, Richard. Effective Polynomial Computation. New York, NY: Springer, 1993. ISBN: 9780792393757. |
| [AOP] | Radul, Alexey, and Gerald Jay Sussman. "The Art of the Propagator." MIT CSAIL Technical Report, January 2009. |
| [BPS] |
Forbus, Kenneth, and Johan de Kleer. Building Problem Solvers. Cambridge, MA: MIT Press, 1993. ISBN: 9780262061575. |
| [CONS] | Steele, Guy. "The Definition and Implementation of a Computer Programming Language Based on Constraints." MIT PhD thesis, 1980. |
| [LOGIC] | Suppes, Patrick. Introduction to Logic. Mineola, NY: Dover Publications, 1999. ISBN: 9780486406879. |
| [AMORD] | de Kleer, Johan, et al. "AMORD: A Deductive Procedure System." MIT Artificial Intelligence Laboratory Working Paper 151, August 1977. |
| [CMMR] | Bundy, Alan. The Computer Modelling of Mathematical Reasoning. Burlington, MA: Academic Press, 1983. ISBN: 9780121412524. |
Additional Readings
Sussman, Gerald Jay. Building Robust Systems: An Essay. (PDF)
Steele, Guy. The Future is Parallel: What's a Programmer to Do? (PDF) (Courtesy of Guy L. Steele, Jr. and Sun Microsystems, Inc. Used with permission.)