计算机程序的构造和解释(原书第2版) 计算机与互联网 书籍|17992 epub pdf  mobi txt 电子书 下载

计算机程序的构造和解释(原书第2版) 计算机与互联网 书籍|17992 epub pdf mobi txt 电子书 下载 2024

计算机程序的构造和解释(原书第2版) 计算机与互联网 书籍|17992 epub pdf mobi txt 电子书 下载 2024


简体网页||繁体网页
美 Harold Abelson Ger 著,裘宗燕 译

下载链接在页面底部


点击这里下载
    


想要找书就要到 静思书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-27

商品介绍



店铺: 互动出版网图书专营店
出版社: 机械工业出版社
ISBN:7111135105
商品编码:16007163026
丛书名: 计算机科学丛书
出版时间:2004-02-01
页数:473

计算机程序的构造和解释(原书第2版) 计算机与互联网 书籍|17992 epub pdf mobi txt 电子书 下载 2024



类似图书 点击查看全场最低价

相关书籍





书籍描述

 书[0名0]:  计算机程序的构造和解释(原书[0第0]2版)|17992
 图书定价:  45元
 图书作者:  (美)Harold Abelson,Gerald Jay Sussman,Julie Sussman
 出版社:  机械工业出版社
 出版日期:  2004/2/1 0:00:00
 ISBN号:  7111135105
 开本:  16开
 页数:  473
 版次:  2-1
 作者简介
harold abelson是mit1992年度macvicarfacultyfellow。gerald jaysussman是matsushita电子工程教授。他们都在mit电子工程和计算机科[0学0]系工作.都得到过重要的计算机科[0学0]教育奖:如abelson得到了ieee计算机[0学0][0会0]的booth奖。sussman得到了acm的karlstrom奖。julie sussman是作家和编辑,同时使用自然语言和计算机语言写作。
 内容简介
本书1984年出版,成型于美[0国0]麻省理工[0学0]院(MIT)多年使用的一本教材,1996年修订为[0第0]2版。在过去的二十多年里,本书对于计算机科[0学0]的教育计划产生了深刻的影响。
[0第0]2版中[0大0]部分重要程序设计系统都重新修改并做过测试,包括各种解释器和编译器。作者根据其后十余年的教[0学0]实践,还对其他许多细节做了相应的修改。
本书自出版以来,世界各地已有100多所院校采用本书做教材,其中包括美[0国0]斯坦福[0大0][0学0]、美[0国0]普林斯顿[0大0][0学0]、英[0国0]牛津[0大0][0学0]、日本东京[0大0][0学0]等。
 目录

[0第0]1章 构造过程抽象
1.1程序设计的基本元素
1.1.1表达式
1.1.2命[0名0]和环境
1.1.3组合式的求值
1.1.4复合过程
1.1.5过程应用的代换模型
1.1.6条件表达式和谓词
1.1.7实例:采用牛顿[0法0]求平方根
1.1.8过程作为黑箱抽象
1.2过程与它们所产生的计算
1.2.1线性的递归和迭代
1.2.2树形递归
1.2.3增长的阶
1.2.4求幂
1.2.5[0大0]公约数
1.2.6实例:素数检测
1.3用高阶函数做抽象
1.3.1过程作为参数
1.3.2用lambda构造过程
1.3.3过程作为一般性的方[0法0]
1.3.4过程作为返回值
笫2章 构造数据抽象
2.1数据抽象导引
2.1.1实例:有理数的算术运算
2.1.2抽象屏障
2.1.3数据意味着什么
2.1.4扩展练习:区间算术
2.2层次性数据和闭包性质
2.2.1序列的表示
2.2.2层次性结构
2.2.3序列作为一种约定的界面
2.2.4实例:一个图形语言
2.3符号数据
2.3.1引号
2.3.2实例:符号求导
2.3.3实例:集合的表示
2.3.4实例:Huffman编码树
2.4抽象数据的多重表示
2.4.1复数的表示
2.4.2带标志数据
2.4.3数据导向的程序设计和可加性
2.5带有通用型操作的系统
2.5.1通用型算术运算
2.5.2不同类型数据的组合
2.5.3实例:符号代数
[0第0]3章 模块化、对象和状态
3.1赋值和局部状态
3.1.1局部状态变量
3.1.2引进赋值带来的利益
3.1.3引进赋值的代价
3.2求值的环境模型
3.2.1求值规则
3.2.2简单过程的应用
3.2.3将框架看作局部状态的展台
3.2.4内部定义
3.3用变动数据做模拟
3.3.1变动的表结构
3.3.2队列的表示
3.3.3表格的表示
3.3.4数字电路的模拟器
3.3.5约束的传播
3.4并发:时间是一个本质问题
3.4.1并发系统中时间的性质
3.4.2控制并发的机制
3.5流
3.5.1流作为延时的表
3.5.2无穷流
3.5.3流计算模式的使用
3.5.4流和延时求值
3.5.5 函数式程序的模块化和对象的模块化
[0第0]4章 元语言抽象
4.1元循环求值器
4.1.1求值器的内核
4.1.2表达式的表示
4.1.3求值器数据结构
4.1.4作为程序运行这个求值器
4.1.5将数据作为程序
4.1.6内部定义
4.1.7将语[0法0]分析与执行分离
4.2Scheme的变形--惰性求值
4.2.1正则序和应用序
4.2.2一个采用惰性求值的解释器
4.2.3将流作为惰性的表
4.3Scheme的变形--非确定性计算
4.3.1amb和搜索
4.3.2非确定性程序的实例
4.3.3实现arab求值器
4.4逻辑程序设计
4.4.1演绎信息检索
4.4.2查询系统如何工作
4.4.3逻辑程序设计是数理逻辑吗
4.4.4查询系统的实现
[0第0]5章 寄存器机器里的计算
5.1寄存器机器的设计
5.1.1一种描述寄存器机器的语言
5. 1.2机器设计的抽象
5.1.3子程序
5.1.4采用堆栈实现递归
5.1.5指令总结
5.2一个寄存器机器模拟器
5.2.1机器模型
5.2.2汇编程序
5.2.3为指令生成执行过程
5.2.4监视机器执行
5.3存储分配和废料收集
5.3.1将存储看作向量
5.3.2维持一种无穷存储的假象
5.4显式控制的求值器
5.4.1显式控制求值器的内核
5.4.2序列的求值和尾递归
5.4.3条件、赋值和定义
5.4.4求值器的运行
5.5 编译
5.5.1编译器的结构
5.5.2表达式的编译
5.5.3组合式的编译
5.5.4指令序列的组合
5.5.5编译代码的实例
5.5.6词[0法0]地址
5.5.7编译代码与求值器的互连
参考文献
练习表
索引

计算机程序的构造和解释(原书第2版) 计算机与互联网 书籍|17992 epub pdf mobi txt 电子书 下载 2024

计算机程序的构造和解释(原书第2版) 计算机与互联网 书籍|17992 下载 epub mobi pdf txt 电子书 2024

计算机程序的构造和解释(原书第2版) 计算机与互联网 书籍|17992 pdf 下载 mobi 下载 pub 下载 txt 电子书 下载 2024

计算机程序的构造和解释(原书第2版) 计算机与互联网 书籍|17992 mobi pdf epub txt 电子书 下载 2024

计算机程序的构造和解释(原书第2版) 计算机与互联网 书籍|17992 epub pdf mobi txt 电子书 下载
想要找书就要到 静思书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

读者评价

评分

评分

评分

评分

评分

评分

评分

评分

评分

计算机程序的构造和解释(原书第2版) 计算机与互联网 书籍|17992 epub pdf mobi txt 电子书 下载 2024

类似图书 点击查看全场最低价

计算机程序的构造和解释(原书第2版) 计算机与互联网 书籍|17992 epub pdf mobi txt 电子书 下载 2024


分享链接









相关书籍


本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 book.tinynews.org All Rights Reserved. 静思书屋 版权所有