计算的本质:深入剖析程序和计算机 - (EPUB全文下载)
文件大小:2.49 mb。
文件格式:epub 格式。
书籍内容:
版权信息
书名:计算的本质
作者:Tom Stuart
译者:张伟
ISBN:978-7-115-36154-7
本书由北京图灵文化发展有限公司发行数字版。版权所有,侵权必究。
您购买的图灵电子书仅供您个人使用,未经授权,不得以任何方式复制和传播本书内容。
我们愿意相信读者具有这样的良知和觉悟,与我们共同保护知识产权。
如果购买者有侵权行为,我们可能对该用户实施包括但不限于关闭该帐号等维权措施,并可能追究法律责任。
图灵社区会员 ptpress(libowen@ptpress.com.cn) 专享 尊重版权
版权声明
O'Reilly Media, Inc.介绍
业界评论
封面介绍
前言
读者对象
排版约定
使用代码
Safari® Books Online
联系我们
致谢
第 1 章 刚好够用的Ruby基础
1.1 交互式Ruby Shell
1.2 值
1.2.1 基本数据
1.2.2 数据结构
1.2.3 proc
1.3 控制流
1.4 对象和方法
1.5 类和模块
1.6 其他特性
1.6.1 局部变量和赋值
1.6.2 字符串插值
1.6.3 检查对象
1.6.4 打印字符串
1.6.5 可变参数方法(variadic method)
1.6.6 代码块
1.6.7 枚举类型
1.6.8 结构体
1.6.9 给内置对象扩展方法(Monkey Patching)
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 自由移动(free move)
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 数字
第 7 章 通用性无处不在
7.1 lambda演算
7.2 部分递归函数
7.3 SKI组合子演算
7.4 约塔(Iota)
7.5 标签系统
7.6 循环标签系统
7.7 Conway的生命游戏
7.8 rule 110
7.9 Wolfram的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 应用
后记
版权声明
©2013 by O'Reilly Media, Inc.
Simplified Chinese Edition, jointly published by O'Reilly Media, Inc. and Posts & Telecom Press, 2014. Authorized translation of the English edition, 2014 O'Reilly Media, Inc., the owner of all rights to publish and sell the same.
All rights reserved including the rights of reproduction in whole or in part in any form.
英文原版由O'Reilly Media, Inc.出版,2013。
简体中文版由人民邮电出版社出版,2014。英文原版的翻译得到O'Reilly Media, Inc.的授权。此简体中文版的出版和销售得到出版权和销售权的所有者——O'Reilly Media, Inc.的许可。
版权所有,未得书面许可,本书的任何部分和全部内容不得以任何形式重制。
O'Reilly Media, Inc.介绍
O'Reilly Media通过图书、杂志、在线服务、调查研究和会议等方式传播创新知识。自1978年开始,O'Reilly一直都是前沿发展的见证者和推动者。超级极客们正在开创着未来,而我们关注真正重要的技术趋势——通过放大那些“细微的信号”来刺激社会对新科技的应用。作为技术社区中活跃的参与者,O'Reilly的发展充满了对创新的倡导、创造和发扬光大。
O'Rei ............
书籍插图:
以上为书籍内容预览,如需阅读全文内容请下载EPUB源文件,祝您阅读愉快。
书云 Open E-Library » 计算的本质:深入剖析程序和计算机 - (EPUB全文下载)