计算的本质:深入剖析程序和计算机(中文版) PDF 高清电子书 免费下载 完整版 在线阅读- 高飞网
计算的本质

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

中文版
Tom Stuart
图灵
浏览人数:23
读者:                         ...
  《图灵程序设计丛书·计算的本质:深入剖析程序和计算机》借助简单的Ruby代码示例,全面、深入地介绍计算理论和编程语言设计。作者注重实用性,在读者熟知的背景知识下,以明晰的可工作代码阐释了形式语义、自动机理论,以及通过lambda演算进行函数式编程等计算问题,并为读者自行探索打下了良好基础。
  《图灵程序设计丛书·计算的本质:深入剖析程序和计算机》面向熟悉某种现代编程语言却非科班出身的程序员,是一本帮你真正理解计算机科学和计算原理的优秀参考书。

封面介绍   
前言    1
第1章 刚好够用的Ruby基础   
1.1 交互式RubyShell   
1.2 值   
1.3 控制流   
1.4 对象和方法   
1.5 类和模块   
1.6 其他特性   
第一部分程序和机器   
第2章 程序的含义   
2.1 “含义”的含义   
2.2 语法   
2.3 操作语义   
2.4 指称语义   
2.5 形式化语义实践   
2.6 实现语法解析器   
第3章 最简单的计算机   
3.1 确定性有限自动机   
3.2 非确定性有限自动机   
3.3 正则表达式   
3.4 等价性   
第4章 增加计算能力   
4.1 确定性下推自动机   
4.2 非确定性下推自动机   
4.3 使用下推自动机进行分析   
4.4 有多少能力   
第5章 终极机器   
5.1 确定型图灵机   
5.2 非确定型图灵机   
5.3 最大能力   
5.4 通用机器   
第二部分计算与可计算性   
第6章 从零开始编程   
6.1 模拟lambda演算   
6.2 实现lambda演算   
第7章 通用性处不在   
7.1 lambda演算   
7.2 部分递归函数   
7.3 SKI组合子演算   
7.4 约塔(Iota)   
7.5 标签系统   
7.6 循环标签系统   
7.7 Conway的生命游戏   
7.8 rule110   
7.9 Wolfram的2,3图灵机   
第8章 不可能的程序   
8.1 基本事实   
8.2 可判定性   
8.3 停机问题   
8.4 其他不可判定的问题   
8.5 令人沮丧的暗示   
8.6 发生上述情况的原因   
8.7 处理不可计算性   
第9章 在“玩偶国”中编程   
9.1 抽象解释   
9.2 静态语义   
9.3 应用   
后记   
看过本书的人还看过