Readings

Assigned Readings

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

INITIALS READINGS
[SICP]

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