1, SICP Structure and Interpretation of Computer Programs 计算机程序的构造和解释
相应的教程:
http://swiss.csail.mit.edu/classes/6.001/abelson-sussman-lectures/
http://www.wisdomandwonder.com/link/2110/why-mit-switched-from-scheme-to-python
课后习题答案:
http://eli.thegreenplace.net/category/programming/lisp/sicp/
2, The Art of Prolog by Sterling/Shapiro
3,Introduction to Algorithms by Cormen, etc.
4, Concepts, Techniques, and Models of Computer Programming by Van Roy and Haridi
5,The Little Schemer
6,The Little MLer
7,A Little Java, A Few Patterns