计算的本质：深入剖析程序和计算机

作者: [英] Tom Stuart 著 , 张伟译

出版社: 人民邮电出版社

出版时间: 2014-10

版次: 1

ISBN: 9787115361547

定价: 69.00

装帧: 平装

开本: 16开

纸张: 胶版纸

页数: 286页

正文语种: 简体中文

原版书名: Understanding Computation: From Simple Machines to Impossible Programs

丛书: 图灵程序设计丛书

分类: 计算机与互联网

2 张插图图片

110人买过

　　《图灵程序设计丛书·计算的本质：深入剖析程序和计算机》借助简单的Ruby代码示例，全面、深入地介绍计算理论和编程语言设计。作者注重实用性，在读者熟知的背景知识下，以明晰的可工作代码阐释了形式语义、自动机理论，以及通过lambda演算进行函数式编程等计算问题，并为读者自行探索打下了良好基础。
　　《图灵程序设计丛书·计算的本质：深入剖析程序和计算机》面向熟悉某种现代编程语言却非科班出身的程序员，是一本帮你真正理解计算机科学和计算原理的优秀参考书。　　TomStuart，伦敦数字产品咨询公司Codon的创始人、计算机科学家、程序员，擅长Ruby、Rails、Web应用、用户体验、面向对象设计和行为驱动开发。另外，作为顾问、导师和培训师，他（经常通过网络）帮助各家公司高质高效地创建软件产品。他还曾在剑桥大学做编译器优化方面的演讲，与人联合组织过Ruby大会（RubyManor），而且是伦敦Ruby用户组的成员。封面介绍
前言
第1章刚好够用的Ruby基础
1.1交互式RubyShell
1.2值
1.2.1基本数据
1.2.2数据结构
1.2.3proc
1.3控制流
1.4对象和方法
1.5类和模块
1.6其他特性
1.6.1局部变量和赋值
1.6.2字符串插值
1.6.3检查对象
1.6.4打印字符串
1.6.5可变参数方法（variadicmethod）
1.6.6代码块
1.6.7枚举类型
1.6.8结构体
1.6.9给内置对象扩展方法（MonkeyPatching）
1.6.10定义常量
1.6.11删除常量
第一部分程序和机器

第2章程序的含义
2.1“含义”的含义
2.2语法
2.3操作语义
2.3.1小步语义
2.3.2大步语义
2.4指称语义
2.4.1表达式
2.4.2语句
2.4.3应用
2.5形式化语义实践
2.5.1形式化
2.5.2找到含义
2.5.3备选方案
2.6实现语法解析器

第3章最简单的计算机
3.1确定性有限自动机
3.1.1状态、规则和输入
3.1.2输出
3.1.3确定性
3.1.4模拟
3.2非确定性有限自动机
3.2.1非确定性
3.2.2自由移动（freemove）
3.3正则表达式
3.3.1语法
3.3.2语义
3.3.3解析
3.4等价性

第4章增加计算能力
4.1确定性下推自动机
4.1.1存储
4.1.2规则
4.1.3确定性
4.1.4模拟
4.2非确定性下推自动机
4.2.1模拟
4.2.2不等价
4.3使用下推自动机进行分析
4.3.1词法分析
4.3.2语法分析
4.3.3实践性
4.4有多少能力

第5章终极机器
5.1确定型图灵机
5.1.1存储
5.1.2规则
5.1.3确定性
5.1.4模拟
5.2非确定型图灵机
5.3最大能力
5.3.1内部存储
5.3.2子例程
5.3.3多纸带
5.3.4多维纸带
5.4通用机器
5.4.1编码
5.4.2模拟
第二部分计算与可计算性

第6章从零开始编程
6.1模拟lambda演算
6.1.1使用proc工作
6.1.2问题
6.1.3数字
6.1.4布尔值
6.1.5谓词
6.1.6有序对
6.1.7数值运算
6.1.8列表
6.1.9字符串
6.1.10解决方案
6.1.11高级编程技术
6.2实现lambda演算
6.2.1语法
6.2.2语义
6.2.3语法分析

第7章通用性处不在
7.1lambda演算
7.2部分递归函数
7.3SKI组合子演算
7.4约塔（Iota）
7.5标签系统
7.6循环标签系统
7.7Conway的生命游戏
7.8rule110
7.9Wolfram的2，3图灵机

第8章不可能的程序
8.1基本事实
8.1.1能执行算法的通用系统
8.1.2能够替代图灵机的程序
8.1.3代码即数据
8.1.4可以永远循环的通用系统
8.1.5能引用自身的程序
8.2可判定性
8.3停机问题
8.3.1构建停机检查器
8.3.2永远不会有结果
8.4其他不可判定的问题
8.5令人沮丧的暗示
8.6发生上述情况的原因
8.7处理不可计算性

第9章在“玩偶国”中编程
9.1抽象解释
9.1.1路线规划
9.1.2抽象：乘法的符号
9.1.3安全和近似：增加符号
9.2静态语义
9.2.1实现
9.2.2好处和限制
9.3应用
后记
内容简介:
　　《图灵程序设计丛书·计算的本质：深入剖析程序和计算机》借助简单的Ruby代码示例，全面、深入地介绍计算理论和编程语言设计。作者注重实用性，在读者熟知的背景知识下，以明晰的可工作代码阐释了形式语义、自动机理论，以及通过lambda演算进行函数式编程等计算问题，并为读者自行探索打下了良好基础。
　　《图灵程序设计丛书·计算的本质：深入剖析程序和计算机》面向熟悉某种现代编程语言却非科班出身的程序员，是一本帮你真正理解计算机科学和计算原理的优秀参考书。
作者简介:
　　TomStuart，伦敦数字产品咨询公司Codon的创始人、计算机科学家、程序员，擅长Ruby、Rails、Web应用、用户体验、面向对象设计和行为驱动开发。另外，作为顾问、导师和培训师，他（经常通过网络）帮助各家公司高质高效地创建软件产品。他还曾在剑桥大学做编译器优化方面的演讲，与人联合组织过Ruby大会（RubyManor），而且是伦敦Ruby用户组的成员。
目录:
封面介绍
前言
第1章刚好够用的Ruby基础
1.1交互式RubyShell
1.2值
1.2.1基本数据
1.2.2数据结构
1.2.3proc
1.3控制流
1.4对象和方法
1.5类和模块
1.6其他特性
1.6.1局部变量和赋值
1.6.2字符串插值
1.6.3检查对象
1.6.4打印字符串
1.6.5可变参数方法（variadicmethod）
1.6.6代码块
1.6.7枚举类型
1.6.8结构体
1.6.9给内置对象扩展方法（MonkeyPatching）
1.6.10定义常量
1.6.11删除常量
第一部分程序和机器

第2章程序的含义
2.1“含义”的含义
2.2语法
2.3操作语义
2.3.1小步语义
2.3.2大步语义
2.4指称语义
2.4.1表达式
2.4.2语句
2.4.3应用
2.5形式化语义实践
2.5.1形式化
2.5.2找到含义
2.5.3备选方案
2.6实现语法解析器

第3章最简单的计算机
3.1确定性有限自动机
3.1.1状态、规则和输入
3.1.2输出
3.1.3确定性
3.1.4模拟
3.2非确定性有限自动机
3.2.1非确定性
3.2.2自由移动（freemove）
3.3正则表达式
3.3.1语法
3.3.2语义
3.3.3解析
3.4等价性

第4章增加计算能力
4.1确定性下推自动机
4.1.1存储
4.1.2规则
4.1.3确定性
4.1.4模拟
4.2非确定性下推自动机
4.2.1模拟
4.2.2不等价
4.3使用下推自动机进行分析
4.3.1词法分析
4.3.2语法分析
4.3.3实践性
4.4有多少能力

第5章终极机器
5.1确定型图灵机
5.1.1存储
5.1.2规则
5.1.3确定性
5.1.4模拟
5.2非确定型图灵机
5.3最大能力
5.3.1内部存储
5.3.2子例程
5.3.3多纸带
5.3.4多维纸带
5.4通用机器
5.4.1编码
5.4.2模拟
第二部分计算与可计算性

第6章从零开始编程
6.1模拟lambda演算
6.1.1使用proc工作
6.1.2问题
6.1.3数字
6.1.4布尔值
6.1.5谓词
6.1.6有序对
6.1.7数值运算
6.1.8列表
6.1.9字符串
6.1.10解决方案
6.1.11高级编程技术
6.2实现lambda演算
6.2.1语法
6.2.2语义
6.2.3语法分析

第7章通用性处不在
7.1lambda演算
7.2部分递归函数
7.3SKI组合子演算
7.4约塔（Iota）
7.5标签系统
7.6循环标签系统
7.7Conway的生命游戏
7.8rule110
7.9Wolfram的2，3图灵机

第8章不可能的程序
8.1基本事实
8.1.1能执行算法的通用系统
8.1.2能够替代图灵机的程序
8.1.3代码即数据
8.1.4可以永远循环的通用系统
8.1.5能引用自身的程序
8.2可判定性
8.3停机问题
8.3.1构建停机检查器
8.3.2永远不会有结果
8.4其他不可判定的问题
8.5令人沮丧的暗示
8.6发生上述情况的原因
8.7处理不可计算性

第9章在“玩偶国”中编程
9.1抽象解释
9.1.1路线规划
9.1.2抽象：乘法的符号
9.1.3安全和近似：增加符号
9.2静态语义
9.2.1实现
9.2.2好处和限制
9.3应用
后记

查看详情

其他版本 / 全部 (1)

O'Reilly Media2013-06

3

计算的本质实物拍照，所见即所得，放心直接拍，能拍就有货

九品

书来书往书店

北京市通州区

平均发货8小时成功完成率87.5%

￥106.00

券

100减20

立即购买加入购物车不属于本条目
计算的本质：深入剖析程序和计算机【正版有货可开发票；库存情况请咨询，及标题与图片不一致时】

全新

书香静谧书店

广东省广州市

平均发货8小时成功完成率91.86%

￥337.00

券

100减20

立即购买加入购物车不属于本条目
9

计算的本质：深入剖析程序和计算机有写划较多

八五品

一得书苑

河北省邯郸市

平均发货5小时成功完成率95.9%

￥105.00

券

100减20

立即购买加入购物车
3

计算的本质：深入剖析程序和计算机正版现货实拍图所见即所得

全新

书香Family

江苏省南通市

平均发货6小时成功完成率96.31%

￥200.00

券

100减20

立即购买加入购物车不属于本条目
计算的本质：深入剖析程序和计算机【正版有货可开发票；标题与图片不一致时,请质询】

全新

一叶知秋语的书店

广东省广州市

平均发货9小时成功完成率90.65%

￥348.00

券

100减20

立即购买加入购物车不属于本条目
计算的本质：深入剖析程序和计算机【正版有货可开发票；标题与图片不一致时,请质询】

全新

一叶知秋语的书店

广东省广州市

平均发货9小时成功完成率90.65%

￥346.00

券

100减20

立即购买加入购物车不属于本条目
计算的本质：深入剖析程序和计算机【正版有货可开发票；标题与图片不一致时,请质询】

全新

一叶知秋语的书店

广东省广州市

平均发货9小时成功完成率90.65%

￥325.00

券

100减20

立即购买加入购物车不属于本条目
11

计算的本质：深入剖析程序和计算机实拍图内页干净

九品

濂溪书屋的书店

湖南省长沙市

平均发货11小时成功完成率95.87%

￥128.00

券

100减20

立即购买加入购物车
15

计算的本质：深入剖析程序和计算机【勾画笔记较多，品如图】

八品

益志书店

四川省成都市

平均发货10小时成功完成率95.91%

￥105.00

券

100减20

立即购买加入购物车
4

计算的本质：深入剖析程序和计算机

九五品

成华区学无涯书社

四川省成都市

平均发货8小时成功完成率95.45%

￥220.00

券

100减20

立即购买加入购物车
计算的本质：深入剖析程序和计算机

九五品

清溪明贤的书店

广东省韶关市

平均发货20小时成功完成率77.77%

￥82.50

券

100减20

立即购买加入购物车
9

计算的本质：深入剖析程序和计算机

八品

书者记

湖北省荆门市

平均发货19小时成功完成率92.41%

￥100.00

券

100减20

立即购买加入购物车
计算的本质深入剖析程序和计算机

九五品

山頭斜照

北京市通州区

平均发货30小时成功完成率82.55%

￥165.00

券

100减20

立即购买加入购物车不属于本条目
3

计算的本质：深入剖析程序和计算机

九五品

好善书店

浙江省杭州市

平均发货14小时成功完成率96.18%

￥200.00

券

100减20

立即购买加入购物车
8

计算的本质：深入剖析程序和计算机正版未阅，内页干净，无笔迹勾画。封底有一个小洞，具体如图

九品

霞河水

北京市东城区

平均发货10小时成功完成率94.44%

￥110.00

券

100减20

立即购买加入购物车
7

计算的本质：深入剖析程序和计算机

九五品

研习书苑

上海市徐汇区

平均发货14小时成功完成率95.58%

￥99.00

券

100减20

立即购买加入购物车
计算的本质：深入剖析程序和计算机

九五品

璇睿书店

河北省廊坊市

平均发货15小时成功完成率80.61%

￥120.00

券

100减20

立即购买加入购物车
计算的本质：深入剖析程序和计算机

九五品

书遇你

北京市西城区

平均发货17小时成功完成率86.76%

￥198.00

券

100减20

立即购买加入购物车
6

计算的本质：深入剖析程序和计算机

九品

枫林晚书局

河南省周口市

平均发货8小时成功完成率94.12%

￥150.00

券

100减20

立即购买加入购物车
8

计算的本质：深入剖析程序和计算机未阅库存书

九五品

莉森书店

江西省南昌市

平均发货21小时成功完成率96.88%

￥159.00

券

100减20

立即购买加入购物车
计算的本质：深入剖析程序和计算机全新，正版，批量上书，详情和价格不符可咨询客服

九五品

曼灵书店

北京市丰台区

平均发货23小时成功完成率37.5%

￥198.40

券

100减20

立即购买加入购物车
6

计算的本质：深入剖析程序和计算机e14 内容无划线字迹瑕疵如图品相请自鉴如描述有误以图片为准水印

八品

One Piece书屋

河北省保定市

平均发货5小时成功完成率92.55%

￥75.00

券

100减20

立即购买加入购物车
7

计算的本质：深入剖析程序和计算机【正版】【未翻阅】【实拍图发货】

2014-11 印刷
印次: 1

九五品

天天开心的书屋

平均发货20小时成功完成率100%

￥120.00

券

100减20

立即购买加入购物车
2

计算的本质：深入剖析程序和计算机c3 内容无划线字迹瑕疵如图品相请自鉴如描述有误以图片为准

九品

One Piece书屋

河北省保定市

平均发货5小时成功完成率92.55%

￥99.00

券

100减20

立即购买加入购物车
2

计算的本质：深入剖析程序和计算机内容干净无划线字迹a23

九五品

One Piece书屋

河北省保定市

平均发货5小时成功完成率92.55%

￥209.00

券

100减20

立即购买加入购物车

计算的本质：深入剖析程序和计算机

内容简介:

作者简介:

目录: