科技 类型
8.8 豆瓣评分
可以朗读 语音朗读
284千字 字数
2014-11-01 发行日期
展开全部

主编推荐语

本书借助简单的Ruby代码示例，全面、深入地介绍计算理论和编程语言设计。

内容简介

《计算的本质：深入剖析程序和计算机》面向熟悉某种现代编程语言却非科班出身的程序员，是一本帮你真正理解计算机科学和计算原理的优秀参考书。

《计算的本质：深入剖析程序和计算机》借助简单的Ruby代码示例，全面、深入地介绍计算理论和编程语言设计。作者注重实用性，在读者熟知的背景知识下，以明晰的可工作代码阐释了形式语义、自动机理论，以及通过lambda演算进行函数式编程等计算问题，并为读者自行探索打下了良好基础。

《计算的本质：深入剖析程序和计算机》面向熟悉某种现代编程语言却非科班出身的程序员，是一本帮你真正理解计算机科学和计算原理的优秀参考书。

目录

  • 版权信息
  • 封面介绍
  • 作者简介
  • 前言
  • 第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 代码块（block）
  • 1.6.7 枚举类型
  • 1.6.8 结构体（Struct）
  • 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 数字
  • 6.1.4 布尔值
  • 6.1.5 谓词
  • 6.1.6 有序对（pair）
  • 6.1.7 数值运算
  • 6.1.8 列表（list）
  • 6.1.9 字符串
  • 6.1.10 解决方案
  • 6.1.11 高级编程技术
  • 6.2 实现lambda演算
  • 6.2.1 语法
  • 6.2.2 语义
  • 6.2.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 应用
  • 后记
  • 看完了
展开全部

评分及书评

尚无评分
目前还没人评分

出版方

人民邮电出版社·图灵出品

图灵社区成立于2005年6月，由人民邮电出版社投资控股，以策划出版高质量的科技书籍为核心业务，主要出版领域包括计算机、电子电气、数学统计、科普等，通过引进国际高水平的教材、专著，以及发掘国内优秀原创作品等途径，为目标读者提供一流的内容。