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