Assigned Readings
Readings will be chosen from the following list. Specific readings are assigned in each of the problem sets.
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.)