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

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

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