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

《计算的本质：深入剖析程序和计算机》借助Ruby全面介绍计算理论和编程语言的设计。作者注重实用性，不仅尽量抛开复杂难懂的数学符号，而且特别选用简单快捷的编程语言Ruby，在读者熟知的背景知识下，以明晰的可工作代码阐明形式语义、自动机理论，以及通过lambda演算进行函数式编程等计算机科学知识，并为让其自行探索做足准备。

本书适合计算机科学系学生，以及熟知现代编程语言，想要系统地学习计算机科学知识的程序员、软件工程师阅读参考。

文档内容节选

图 灵 程 序 设 计 丛 书 计算的本质 深入剖析程序和计算机 Understanding Computation From Simple Machines to Impossible Programs 英Tom Stuart 著 张伟 译 Beijing Cambridge Farnham Kln Sebastopol Tokyo OReilly Media Inc授权人民邮电出版社出版 人 民 邮 电 出 版 社 北　　京 内 容 提 要 本书借助简单的 Ruby 代码示例，全面深入地介绍计算理论和编程语言设计作者注重 实用性，在读者熟知的背景知识下，以明晰的可工作代码阐释了形式语义自动机理论，以及 通过 lambda 演算进行函数式编程等计算问题，并为读者自行探索打下了良好基础 本书面向熟悉某种现代编程语言却非科班出身的程序员，是一本帮你真正理解计算机科学 和计算原理的优秀参考书 著　　　　英 Tom Stuart 译　　　　张　伟 责任编辑　李松峰　毛倩倩 执行编辑　程　芃 责任印制　焦志炜 人民邮电出版社出版发行　　北京市丰台区成寿寺路11号 邮编　1001......