Readings

Assigned Readings

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

Assigned readings.

INITIALS	READINGS
[SICP]	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." (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.)