计算机程序的构造和解释(原书第2版)(典藏版)
正版新书 新华官方库房直发 可开电子发票
￥ 45.03 5.7折 ￥ 79 全新
库存44件
作者[美]哈罗德·埃布尔森 Harold Abelson 杰拉尔德杰伊·萨斯曼
出版社机械工业出版社
ISBN9787111630548
出版时间2019-07
版次1
装帧平装
开本16开
纸张胶版纸
页数488页
定价79元
货号SC:9787111630548
上书时间2024-12-03
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
作者简介:
哈罗德•阿贝尔森（Harold Abelson）是MIT 1992年度MacVicar Faculty Fellow。在MIT电子工程和计算机科学系工作，得到过重要的计算机科学教育奖——IEEE计算机学会的Booth奖。杰拉尔德•杰伊•萨斯曼（Gerald Jay Sussman）是Matsushita电子工程教授。在MIT电子工程和计算机科学系工作，得到过重要的计算机科学教育奖——ACM的Karlstrom奖。朱莉•萨斯曼（Julie Sussman）是作家和编辑，同时使用自然语言和计算机语言写作。
精彩内容:
第2版前言软件很可能确实与其他任何东西都不同，它的本意就是被抛弃：这一观点就是总将它看作一个肥皂泡吗？—Alan J. Perlis自1980年以来，本书的材料就一直在MIT作为计算机科学入门课程的基础。在本书第1版出版之前，我们已经用这一材料教了4年课，而到第2版出版，时间又过去了12年。我们非常高兴地看到这一工作得到广泛认可，并被结合到其他一些教材中。我们已经看到我们的学生掌握了本书中的思想和程序，并将它们构筑到新的计算机系统或者语言的核心里—我们的学生已经变成了我们的创造者。我们非常幸运能有如此有能力的学生和如此有建树的创造者。在准备这一新版本的过程中，我们采纳了成百条澄清性建议，它们来自我们自己的教学经验，也来自MIT和其他地方的同行们的评述。我们重新设计了本书里大部分主要程序设计系统，包括通用型算术系统、解释器、寄存器机器模拟器和编译器，也重写了所有的程序实例，以保证任何符合IEEE的Scheme标准（IEEE 1990）的Scheme实现都能运行这些代码。这一版本中强调了几个新问题，其中最重要的是计算模型里对于时间的处理所起的中心作用：带有状态的对象、并发程序设计、函数式程序设计、惰性求值和非确定性程序设计。这里为并发和非确定性新增加了几节，我们也设法将这一论题集成到整本书里，贯穿始终。本书第1版基本上是按照我们在MIT一学期课程的教学大纲撰写的。第2版中由于有了增加的这些新材料，已经不可能在一个学期里覆盖所有内容了，所以教师需要从中做一些选择。在我们自己的教学里，有时会跳过有关逻辑程序设计的一节（4.4节）；让学生使用寄存器机器模拟器，但不去讨论它的实现（5.2节）；对于编译器则只给出粗略的概述（5.5节）。即便如此，这仍然是一门内容非常多的课程。一些教师可能希望只覆盖前面的三章或者四章，而将其他内容留给后续课程。第1版前言一台计算机就像是一把小提琴。你可以想
...
内容简介:
本书曾是美国麻省理工学院计算机科学专业的入门课程教材之一， 从理论上讲解计算机程序的创建、 执行和研究。 主要内容包括：构造过程抽象，构造数据抽象，模块化、 对象和状态，元语言抽象，寄存器机器里的计算等。
目录:
出版者的话序第2版前言第1版前言致谢第1章 构造过程抽象11.1 程序设计的基本元素31.1.1 表达式31.1.2 命名和环境51.1.3 组合式的求值61.1.4 复合过程71.1.5 过程应用的代换模型91.1.6 条件表达式和谓词111.1.7 实例：采用牛顿法求平方根141.1.8 过程作为黑箱抽象171.2 过程及其产生的计算201.2.1 线性的递归和迭代211.2.2 树形递归241.2.3 增长的阶281.2.4 求幂291.2.5 优选公约数321.2.6 实例：素数检测331.3 用高阶函数做抽象371.3.1 过程作为参数371.3.2 用lambda构造过程411.3.3 过程作为一般性的方法441.3.4 过程作为返回值48第2章 构造数据抽象532.1 数据抽象导引552.1.1 实例：有理数的算术运算552.1.2 抽象屏障582.1.3 数据意味着什么602.1.4 扩展练习：区间算术622.2 层次性数据和闭包性质652.2.1 序列的表示662.2.2 层次性结构722.2.3 序列作为一种约定的界面762.2.4 实例：一个图形语言862.3 符号数据962.3.1 引号962.3.2 实例：符号求导992.3.3 实例：集合的表示1032.3.4 实例：Huffman编码树1092.4 抽象数据的多重表示1152.4.1 复数的表示1162.4.2 带标志数据1192.4.3 数据导向的程序设计和可加性1222.5 带有通用型操作的系统1282.5.1 通用型算术运算1292.5.2 不同类型数据的组合1322.5.3 实例：符号代数138第3章
...
— 没有更多了 —
以下为对购买帮助不大的评价