SICP解题集¶

第一章&＃xff1a; 构造过程抽象

• 1.1 程序设计的基本元素

  • 1.1.1 表达式
  • 1.1.2 命名和环境
  • 1.1.3 组合式的求值
  • 1.1.4 复合过程
  • 1.1.5 过程应用的代换模型
  • 1.1.6 条件表达式和谓词(练习 1.1&＃xff0c;练习 1.2&＃xff0c;练习 1.3&＃xff0c;练习 1.4&＃xff0c;练习 1.5)
  • 1.1.7 实例&＃xff1a; 采用牛顿法求平方根(练习 1.6&＃xff0c;练习 1.7&＃xff0c;练习 1.8)
  • 1.1.8 过程作为黑箱抽象

• 1.2 过程与它们所产生的计算

  • 1.2.1 线性的递归和迭代(练习 1.9&＃xff0c;练习 1.10)
  • 1.2.2 树形递归(练习 1.11&＃xff0c;练习 1.12&＃xff0c;练习 1.13)
  • 1.2.3 增长的阶(练习 1.14&＃xff0c;练习 1.15)
  • 1.2.4 求幂(练习 1.16&＃xff0c;练习 1.17&＃xff0c;练习 1.18&＃xff0c;练习 1.19)
  • 1.2.5 最大公约数(练习 1.20)
  • 1.2.6 实例&＃xff1a; 素数检测(练习 1.21&＃xff0c;练习 1.22&＃xff0c;练习 1.23&＃xff0c;练习 1.24&＃xff0c;练习 1.25&＃xff0c;练习 1.26&＃xff0c;练习 1.27&＃xff0c;练习 1.28)

• 1.3 用高阶函数做抽象

  • 1.3.1 过程作为参数(练习 1.29&＃xff0c;练习 1.30&＃xff0c;练习 1.31&＃xff0c;练习 1.32&＃xff0c;练习 1.33)
  • 1.3.2 用 lambda 构造过程(练习 1.34)
  • 1.3.3 过程作为一般性的方法(练习 1.35&＃xff0c;练习 1.36&＃xff0c;练习 1.37&＃xff0c;练习 1.38&＃xff0c;练习 1.39)
  • 1.3.4 过程作为返回值(练习 1.40&＃xff0c;练习 1.41&＃xff0c;练习 1.42&＃xff0c;练习 1.43&＃xff0c;练习 1.44&＃xff0c;练习 1.45&＃xff0c;练习 1.46)

第二章&＃xff1a; 构造数据抽象

• 2.1 数据抽象导引

  • 2.1.1 实例&＃xff1a; 有理数的算术运算(练习 2.1)
  • 2.1.2 抽象屏障(练习 2.2&＃xff0c;练习 2.3)
  • 2.1.3 数据意味着什么(练习 2.4&＃xff0c;练习 2.5&＃xff0c;练习 2.6)
  • 2.1.4 扩展练习&＃xff1a; 区间算术(chp2/7&＃xff0c;chp2/8&＃xff0c;chp2/9&＃xff0c;chp2/10&＃xff0c;chp2/11&＃xff0c;chp2/12&＃xff0c;chp2/13&＃xff0c;chp2/14&＃xff0c;chp2/15&＃xff0c;chp2/16)

• 2.2 层次性数据和闭包性质

  • 2.2.1 序列的表示(练习 2.17&＃xff0c;练习 2.18&＃xff0c;练习 2.19&＃xff0c;练习 2.20&＃xff0c;练习 2.21&＃xff0c;练习 2.22&＃xff0c;练习 2.23)
  • 2.2.2 层次性结构(练习 2.24&＃xff0c;练习 2.25&＃xff0c;练习 2.26&＃xff0c;练习 2.27&＃xff0c;练习 2.28&＃xff0c;练习 2.29&＃xff0c;练习 2.30&＃xff0c;练习 2.31&＃xff0c;练习 2.32)
  • 2.2.3 序列作为一种约定的界面(练习 2.33&＃xff0c;练习 2.34&＃xff0c;练习 2.35&＃xff0c;练习 2.36&＃xff0c;练习 2.37&＃xff0c;练习 2.38&＃xff0c;练习 2.39&＃xff0c;练习 2.40&＃xff0c;练习 2.41&＃xff0c;练习 2.42&＃xff0c;练习 2.43)
  • 2.2.4 实例&＃xff1a; 一个图形语言(练习 2.44&＃xff0c;练习 2.45&＃xff0c;练习 2.46&＃xff0c;练习 2.47&＃xff0c;练习 2.48&＃xff0c;练习 2.49&＃xff0c;练习 2.50&＃xff0c;练习 2.51&＃xff0c;练习 2.52)

• 2.3 符号数据

  • 2.3.1 引号(练习 2.53&＃xff0c;练习 2.54&＃xff0c;练习 2.55)
  • 2.3.2 实例&＃xff1a; 符号求导(练习 2.56&＃xff0c;练习 2.57&＃xff0c;练习 2.58)
  • 2.3.3 实例&＃xff1a; 集合的表示(练习 2.59&＃xff0c;练习 2.60&＃xff0c;练习 2.61&＃xff0c;练习 2.62&＃xff0c;练习 2.63&＃xff0c;练习 2.64&＃xff0c;练习 2.65&＃xff0c;练习 2.66)
  • 2.3.4 实例&＃xff1a; Huffman 编码树(练习 2.67&＃xff0c;练习 2.68&＃xff0c;练习 2.69&＃xff0c;练习 2.70&＃xff0c;练习 2.71&＃xff0c;练习 2.72)

• 2.4 抽象数据的多重表示

  • 2.4.1 复数的表示
  • 2.4.2 带标志数据
  • 2.4.3 数据导向的程序设计的可加性(练习 2.73&＃xff0c;练习 2.74&＃xff0c;练习 2.75&＃xff0c;练习 2.76)

• 2.5 带有通用型操作的系统

  • 2.5.1 通用型算术运算(练习 2.77&＃xff0c;练习 2.78&＃xff0c;练习 2.79&＃xff0c; 练习 2.80)
  • 2.5.2 不同类型数据的组合(练习 2.81&＃xff0c;chp2/82&＃xff0c;chp2/83&＃xff0c;chp2/84&＃xff0c;chp2/85&＃xff0c;chp2/86)
  • 2.5.3 实例&＃xff1a; 符号代数(chp2/87&＃xff0c;chp2/88&＃xff0c;chp2/89&＃xff0c;chp2/90&＃xff0c;chp2/91&＃xff0c;chp2/92&＃xff0c;chp2/93&＃xff0c;chp2/94&＃xff0c;chp2/95&＃xff0c;chp2/96&＃xff0c;chp2/97)

第三章&＃xff1a; 模块化、对象和状态

• 3.1 赋值和局部状态

  • 3.1.1 局部状态变量(练习 3.1&＃xff0c;练习 3.2&＃xff0c;练习 3.3&＃xff0c;练习 3.4)
  • 3.1.2 引进赋值带来的利益(练习 3.5&＃xff0c;练习 3.6)
  • 3.1.3 引进赋值的代价(练习 3.7&＃xff0c;练习 3.8)

• 3.2 求值的环境模型

  • 3.2.1 求值规则
  • 3.2.2 简单过程的应用(练习 3.9)
  • 3.2.3 将框架看作局部状态的展台(练习 3.10)
  • 3.2.4 内部定义(练习 3.11)

• 3.3 用变动数据做模拟

  • 3.3.1 变动的表结构(练习 3.12&＃xff0c;练习 3.13&＃xff0c;练习 3.14&＃xff0c;练习 3.15&＃xff0c;练习 3.16&＃xff0c;练习 3.17&＃xff0c;练习 3.18&＃xff0c;练习 3.19&＃xff0c;练习 3.20)
  • 3.3.2 队列的表示(练习 3.21&＃xff0c;练习 3.22&＃xff0c;练习 3.23)
  • 3.3.3 表格的表示(练习 3.24&＃xff0c;练习 3.25&＃xff0c;练习 3.26&＃xff0c;练习 3.27)
  • 3.3.4 数字电路的模拟器(练习 3.28&＃xff0c;练习 3.29&＃xff0c;练习 3.30&＃xff0c;练习 3.31&＃xff0c;练习 3.32)
  • 3.3.5 约束的传播(练习 3.33&＃xff0c;练习 3.34&＃xff0c;练习 3.35&＃xff0c;练习 3.36&＃xff0c;练习 3.37)

• 3.4 并发&＃xff1a;时间是一个本质问题

  • 3.4.1 并发系统中时间的性质(练习 3.38)
  • 3.4.2 控制并发的机制(练习 3.39&＃xff0c;练习 3.40&＃xff0c;练习 3.41&＃xff0c;练习 3.42&＃xff0c;练习 3.43&＃xff0c;练习 3.44&＃xff0c;练习 3.45&＃xff0c;练习 3.46&＃xff0c;练习 3.47&＃xff0c;练习 3.48&＃xff0c;练习 3.49)

• 3.5 流

  • 3.5.1 流作为延时的表(练习 3.50&＃xff0c;练习 3.51&＃xff0c;练习 3.52)
  • 3.5.2 无穷流(练习 3.53&＃xff0c;练习 3.54&＃xff0c;练习 3.55&＃xff0c;练习 3.56&＃xff0c;练习 3.57&＃xff0c;练习 3.58&＃xff0c;练习 3.59&＃xff0c;chp3/60&＃xff0c;chp3/61&＃xff0c;chp3/62)
  • 3.5.3 流计算模式的使用(练习 3.63&＃xff0c;练习 3.64&＃xff0c;练习 3.65&＃xff0c;练习 3.66&＃xff0c;chp3/67&＃xff0c;chp3/68&＃xff0c;chp3/69&＃xff0c;chp3/70&＃xff0c;chp3/71&＃xff0c;chp3/72&＃xff0c;chp3/73&＃xff0c;chp3/74&＃xff0c;chp3/75&＃xff0c;chp3/76)
  • 3.5.4 流和延时求值(chp3/77&＃xff0c;chp3/78&＃xff0c;chp3/79&＃xff0c;chp3/80)
  • 3.5.5 函数式程序的模块化和对象的模块化(chp3/81&＃xff0c;chp3/82)

第四章&＃xff1a; 元语言抽象

• 4.1 元循环求值器

  • 4.1.1 求值器的内核(练习 4.1)
  • 4.1.2 表达式的表示(练习 4.2&＃xff0c;练习 4.3&＃xff0c;练习 4.4&＃xff0c;练习 4.5&＃xff0c;练习 4.6&＃xff0c;练习 4.7&＃xff0c;练习 4.8&＃xff0c;练习 4.9&＃xff0c;练习 4.10)
  • 4.1.3 求值器数据结构(练习 4.11&＃xff0c;练习 4.12&＃xff0c;练习 4.13)
  • 4.1.4 作为程序运行这个求值器(练习 4.14)
  • 4.1.5 将数据作为程序(chp4/15)
  • 4.1.6 内部表示(chp4/16&＃xff0c;chp4/17&＃xff0c;chp4/18&＃xff0c;chp4/19&＃xff0c;chp4/20&＃xff0c;chp4/21)
  • 4.1.7 将语法分析和执行分离(chp4/22&＃xff0c;chp4/23&＃xff0c;chp4/24)

• 4.2 Scheme 的变形 —— 惰性求值

  • 4.2.1 正则序和应用序(chp4/25&＃xff0c;chp4/26)
  • 4.2.2 一个采用惰性求值的解释器(chp4/27&＃xff0c;chp4/28&＃xff0c;chp4/29&＃xff0c;chp4/30&＃xff0c;chp4/31)
  • 4.2.3 将流作为惰性的表(chp4/32&＃xff0c;chp4/33&＃xff0c;chp4/34)

• 4.3 Scheme 的变形 —— 非确定性求值

  • 4.3.1 amb 和搜索(chp4/35&＃xff0c;chp4/36&＃xff0c;chp4/37)
  • 4.3.2 非确定性程序的实例(chp4/38&＃xff0c;chp4/39&＃xff0c;chp4/40&＃xff0c;chp4/41&＃xff0c;chp4/42&＃xff0c;chp4/43&＃xff0c;chp4/44&＃xff0c;chp4/45&＃xff0c;chp4/46&＃xff0c;chp4/47&＃xff0c;chp4/48&＃xff0c;chp4/49)
  • 4.3.3 实现 amb 求值器(chp4/50&＃xff0c;chp4/51&＃xff0c;chp4/52&＃xff0c;chp4/53&＃xff0c;chp4/54)

• 4.4 逻辑程序设计

  • 4.4.1 演绎信息检索(chp4/55&＃xff0c;chp4/56&＃xff0c;chp4/57&＃xff0c;chp4/58&＃xff0c;chp4/59&＃xff0c;chp4/60&＃xff0c;chp4/61&＃xff0c;chp4/62&＃xff0c;chp4/63)
  • 4.4.2 查询系统如何工作
  • 4.4.3 逻辑程序设计是数理逻辑吗(chp4/64&＃xff0c;chp4/65&＃xff0c;chp4/66&＃xff0c;chp4/67&＃xff0c;chp4/68&＃xff0c;chp4/69)
  • 4.4.4 查询系统的实现(chp4/70&＃xff0c;chp4/71&＃xff0c;chp4/72&＃xff0c;chp4/73&＃xff0c;chp4/74&＃xff0c;chp4/75&＃xff0c;chp4/76&＃xff0c;chp4/77&＃xff0c;chp4/78&＃xff0c;chp4/79)

第五章&＃xff1a; 寄存器机器里的计算

• 5.1 寄存器机器的设计(chp5/1)

  • 5.1.1 一种描述寄存器机器的语言(chp5/2)
  • 5.1.2 机器设计的抽象(chp5/3)
  • 5.1.3 子程序
  • 5.1.4 采用堆栈实现递归(chp5/4&＃xff0c;chp5/5&＃xff0c;chp5/6)
  • 5.1.5 指令总结

• 5.2 一个寄存器机器模拟器(chp5/7)

  • 5.2.1 机器模型
  • 5.2.2 汇编程序(chp5/8)
  • 5.2.3 为指令生成执行过程(chp5/9&＃xff0c;chp5/10&＃xff0c;chp5/11&＃xff0c;chp5/12&＃xff0c;chp5/13)
  • 5.2.4 监视机器执行(chp5/14&＃xff0c;chp5/15&＃xff0c;chp5/16&＃xff0c;chp5/17&＃xff0c;chp5/18&＃xff0c;chp5/19)

• 5.3 存储分配和废料收集

  • 5.3.1 将存储看作向量(chp5/20&＃xff0c;chp5/21&＃xff0c;chp5/22)
  • 5.3.2 维持一种无穷存储的假象

• 5.4 显式控制的求值器

  • 5.4.1 显式控制求值器的内核
  • 5.4.2 序列的求值和尾递归
  • 5.4.3 条件、赋值和定义(chp5/23&＃xff0c;chp5/24&＃xff0c;chp5/25)
  • 5.4.4 求值器的运行(chp5/26&＃xff0c;chp5/27&＃xff0c;chp5/28&＃xff0c;chp5/29&＃xff0c;chp5/30)

• 5.5 编译

  • 5.5.1 编译器的结构(chp5/31&＃xff0c;chp5/32)
  • 5.5.2 表达式的编译
  • 5.5.3 组合式的编译
  • 5.5.4 指令序列的组合
  • 5.5.5 编译代码的实例(chp5/33&＃xff0c;chp5/34&＃xff0c;chp5/35&＃xff0c;chp5/36&＃xff0c;chp5/37&＃xff0c;chp5/38)
  • 5.5.6 词法地址(chp5/39&＃xff0c;chp5/40&＃xff0c;chp5/41&＃xff0c;chp5/42&＃xff0c;chp5/43&＃xff0c;chp5/44)
  • 5.5.7 编译代码和求值器的互连(chp5/45&＃xff0c;chp5/46&＃xff0c;chp5/47&＃xff0c;chp5/48&＃xff0c;chp5/49&＃xff0c;chp5/50&＃xff0c;chp5/51&＃xff0c;chp5/52)

项目进度

目前项目仍处于开发阶段&＃xff0c;贡献、提交建议或意见&＃xff0c;请到项目的 github 页面&＃xff1a; https://github.com/huangz1990/SICP-answers 。

下载离线版本

HTML 格式

注意&＃xff0c;因为文档总是在不断地更新和修正当中&＃xff0c;请定期下载最新的离线文档&＃xff0c;确保获得最好的阅读体验。

关于

这个解题集的绝大部分练习由 huangz 完成&＃xff0c;在我遇上解不出的问题时&＃xff0c; Eli Bendersky 的 SICP 解答 和 sicp.org.ua 上的 WIKI 总能给我很大帮助&＃xff0c;在此对他们表示感谢。

你可以免费下载、阅读、复制、传播和修改本文档及相应的代码示例&＃xff0c;如果需要其他使用许可&＃xff0c;请用以下任一方式联系本人&＃xff1a;向 gmail 帐号 huangz1990 发送邮件 / 豆瓣 / twitter