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

图书介绍

☆☆☆☆☆
简体网页||繁体网页

美 Harold Abelson Ger 著，裘宗燕译

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到静流书站

windowsfront.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-05-12

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

店铺：互动出版网图书专营店

出版社：机械工业出版社

ISBN：7111135105

商品编码：16007163026

丛书名：计算机科学丛书

出版时间：2004-02-01

页数：473

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

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

具体描述

书[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 电子书下载 mobi epub pdf txt

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

想要找书就要到静流书站

windowsfront.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!