Assigned Readings

Readings will be chosen from the following list. Specific readings are assigned in each of the problem sets.


Buy at MIT Press Buy at Amazon Abelson, Harold, Gerald Jay Sussman, and Julie Sussman. Structure and Interpretation of Computer Programs. 2nd ed. Cambridge, MA: MIT Press, 1996. ISBN: 9780262011532.

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." (This resource may not render correctly in a screen reader.PDF)
[SOS] Hanson, Chris. "The SOS [Scheme Object System] Reference Manual." (This resource may not render correctly in a screen reader.PDF)
[ART] Buy at MIT Press Buy at Amazon Springer, George, and Daniel Friedman. Scheme and the Art of Programming. Cambridge, MA: MIT Press, 1989. ISBN: 9780262192880.
[RZ] Buy at Amazon 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] Buy at MIT Press Buy at Amazon 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.

Buy at Amazon 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] Buy at Amazon 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.)