¥ 39.99 购买电子书
推送到 Kindle 的服务已停止,如需 mobi 版,请看 最新帮助

图灵程序设计丛书

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

~ Tom Stuart (作者)   张伟 (译者)
版权声明 阅读
O'Reilly Media, Inc.介绍 阅读
封面介绍 阅读
前言 阅读
第 1 章 刚好够用的Ruby基础
第一部分 程序和机器
第 2 章 程序的含义 阅读
第 3 章 最简单的计算机
第 4 章 增加计算能力
第 5 章 终极机器
第二部分 计算与可计算性
第 6 章 从零开始编程
第 7 章 通用性无处不在 阅读
第 8 章 不可能的程序
第 9 章 在“玩偶国”中编程
后记
系列书名 图灵程序设计丛书
书  号 978-7-115-36154-7
出版日期 2014-11
页  数 300
定  价 69.00 元
印刷方式 黑白
类  别

“Tom讲解关键概念的方式出人意料,详略得当,一语中的。当年我上大学时经常纠结于这些概念……当初若有这本书,该有多好啊!”

“虽然本书讲述了深刻的计算理论,但我却觉得这是一次愉悦的阅读之旅。书中短小精悍的Ruby示例让我惊喜连连。本书确实技术性很强,但恰到好处的示例让我们很容易理解各种概念,其系统的梳理和讲解绝对会让你不虚此行。”

“我刚刚读完前三章的内容,就已了解如何用一种编程语言实现另一种编程语言了!当然,我还学到了一些Ruby知识。本书内容详略得当、易于理解。Tom把原本枯燥的主题讲解得妙趣横生,同时又极具启发性。”

我知道你是一位编程高手,写代码对你而言是手到擒来的事。但是,你确定自己多年练就的编程技能不是建立在某种想当然的假设基础上?确定自己不是每天都在“稀里糊涂”地写代码?确定真正理解自己的代码是如何运行的吗?

如果你想像“大牛”级的程序员一样做开发,或者想摆脱自己半路出家的知识“囧”境,本书能够为你真正讲明白计算理论和编程语言的工作原理与真切含义。本书使用简单的Ruby代码做示例,没有枯燥难记的数学符号。作者极力推崇循序渐进和从实践中学习,他从机器、语言讲到程序,又一路从最简单的机器(有限自动机)过渡到复杂的机器(图灵机),从设计实现简单的编程语言到极简的机器,而后又推理所谓“不可能”解决的问题,为读者完美打造了轻松有趣的阅读体验。

计算的基本概念,如语言中的图灵完备性
程序如何使用动态语义与机器交流思想
有限自动机的功能
通用图灵机如何催生了今天的通用计算机
使用简单语言和细胞自动机执行复杂计算
哪些语言特性对计算而言是必不可少的
停机和自引用为何会让计算问题无解
用抽象解释和类型系统分析程序

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

Tom Stuart 伦敦数字产品咨询公司Codon的创始人、计算机科学家、程序员,擅长Ruby、Rails、Web应用、用户体验、面向对象设计和行为驱动开发。另外,作为顾问、导师和培训师,他经常通过网络帮助各家公司高质高效地创建软件产品。他还曾在剑桥大学做编译器优化方面的演讲,与人联合组织过Ruby大会(Ruby Manor),而且是伦敦Ruby用户组的成员。

原书书名 Understanding Computation: Impossible Code and the Meaning of Programs
原书书号 9781449329273
原书国家 美国
原书出版社 O'Reilly
原书页数 275

本书标签

× 2409
× 271
× 236
× 137

相关标签

× 2