图灵程序设计丛书·计算的本质:深入剖析程序和计算机
  • 图灵程序设计丛书·计算的本质:深入剖析程序和计算机
  • 图灵程序设计丛书·计算的本质:深入剖析程序和计算机

图灵程序设计丛书·计算的本质:深入剖析程序和计算机

by 京东图书  |  由 京东图书  亚米商城卖家

积分原则不参加任何折扣活动以及亚米会员积分制度。

正品保障所售商品均从正规销售资格认证的供应商,品牌分支机构,驻美国分公司等正规渠道采购,并签订正品保证协议。

  销售和配送
$20.90 送积分 : 0
已售完
 收藏商品

送至: 91789 暂时缺货

提醒我

想要第一时间知道到货?

品牌 : 京东图书

品牌属地 : 中国

我要搜:

可送加拿大 

第三方商家

京东图书进入店铺

配送信息

USPS International $11.99(订单满$49包邮)
USPS Canada $11.99(订单满$49包邮)
1. $49以上的订单,提供美国本土平寄免邮费的服务。(只限美国本土48州,不包含夏威夷、阿拉斯加、关岛、波多黎各等地区)。 2. $49以下美国本土USPS平寄, 我们将收取$11.99运费。 3. 通过中国EMS直邮转USPS,配送时间预计为6-13天。

退换政策

因商品破损或者质量问题可申请无条件退款,请在收到包裹3个工作日内联系客服。若因个人原因申请退款,请在3个工作日内联系客服,邮费需顾客承担。图书类商品不支持换货,请见谅!

你可能感兴趣的商品

商品详情

品牌 : 京东图书 出版时间 : 2014-10-01 品牌属地 : 中国 出版社 : 人民邮电出版社 语言 : 中文 ISBN : 9787115361547 译者 : 张伟 版次 : 1 页数 : 286 包装 : 平装 著者 : [英]Tom Stuart 用纸 : 胶版纸
编辑推荐

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

内容简介

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

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

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

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

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

封面介绍
前言
第1章 刚好够用的Ruby基础
1.1 交互式RubyShell
1.2 值
1.2.1 基本数据
1.2.2 数据结构
1.2.3 proc
1.3 控制流
1.4 对象和方法
1.5 类和模块
1.6 其他特性
1.6.1 局部变量和赋值
1.6.2 字符串插值
1.6.3 检查对象
1.6.4 打印字符串
1.6.5 可变参数方法(variadic method)
1.6.6 代码块
1.6.7 枚举类型
1.6.8 结构体
1.6.9 给内置对象扩展方法(Monkey Patching)
1.6.1 0定义常量
1.6.1 1删除常量
第一部分程序和机器

第2章 程序的含义
2.1 “含义”的含义
2.2 语法
2.3 操作语义
2.3.1 小步语义
2.3.2 大步语义
2.4 指称语义
2.4.1 表达式
2.4.2 语句
2.4.3 应用
2.5 形式化语义实践
2.5.1 形式化
2.5.2 找到含义
2.5.3 备选方案
2.6 实现语法解析器

第3章 最简单的计算机
3.1 确定性有限自动机
3.1.1 状态、规则和输入
3.1.2 输出
3.1.3 确定性
3.1.4 模拟
3.2 非确定性有限自动机
3.2.1 非确定性
3.2.2 自由移动(freemove)
3.3 正则表达式
3.3.1 语法
3.3.2 语义
3.3.3 解析
3.4 等价性

第4章 增加计算能力
4.1 确定性下推自动机
4.1.1 存储
4.1.2 规则
4.1.3 确定性
4.1.4 模拟
4.2 非确定性下推自动机
4.2.1 模拟
4.2.2 不等价
4.3 使用下推自动机进行分析
4.3.1 词法分析
4.3.2 语法分析
4.3.3 实践性
4.4 有多少能力

第5章 终极机器
5.1 确定型图灵机
5.1.1 存储
5.1.2 规则
5.1.3 确定性
5.1.4 模拟
5.2 非确定型图灵机
5.3 最大能力
5.3.1 内部存储
5.3.2 子例程
5.3.3 多纸带
5.3.4 多维纸带
5.4 通用机器
5.4.1 编码
5.4.2 模拟
第二部分计算与可计算性

第6章 从零开始编程
6.1 模拟lambda演算
6.1.1 使用proc工作
6.1.2 问题
6.1.3 数字
6.1.4 布尔值
6.1.5 谓词
6.1.6 有序对
6.1.7 数值运算
6.1.8 列表
6.1.9 字符串
6.1.10 解决方案
6.1.11 高级编程技术
6.2 实现lambda演算
6.2.1 语法
6.2.2 语义
6.2.3 语法分析

第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.1.1 能执行算法的通用系统
8.1.2 能够替代图灵机的程序
8.1.3 代码即数据
8.1.4 可以永远循环的通用系统
8.1.5 能引用自身的程序
8.2 可判定性
8.3 停机问题
8.3.1 构建停机检查器
8.3.2 永远不会有结果
8.4 其他不可判定的问题
8.5 令人沮丧的暗示
8.6 发生上述情况的原因
8.7 处理不可计算性

第9章 在“玩偶国”中编程
9.1 抽象解释
9.1.1 路线规划
9.1.2 抽象:乘法的符号
9.1.3 安全和近似:增加符号
9.2 静态语义
9.2.1 实现
9.2.2 好处和限制
9.3 应用
后记
前言/序言

本书写给那些对编程语言和计算理论充满好奇的程序员,特别是没有正规学习过数学或者计算机科学的朋友。
如果你对涉及程序、语言以及机器,且能开阔思维的计算机科学知识感兴趣,却被常常用于阐明它们的数学语言打击的话,那么本书恰恰是你需要的。我们抛开复杂的数学符号,用可工作的代码来描述理论性概念,并为大家自行探索做足准备。
本书读者至少要了解一种现代编程语言,如Ruby、Python、JavaScript、Java 或者C#。书中所有示例程序都采用Ruby 语言编写而成,但了解其他语言的读者亦能看懂。
注意,本书目标并不是展示Ruby 或面向对象设计的最佳实践。本书代码意在简明清晰,但并不一定都容易维护,因为我们的目标是使用Ruby 阐明计算机科学,而不是用计算机科学讲解Ruby。本书亦非教材或者百科全书,所以并没有给出形式论证或者严密的证明,它试图让你能接近一些有趣的思想,启发你更深入地了解它们。

产品价格、包装、规格等信息如有调整,恕不另行通知。我们尽量做到及时更新产品信息,但请以收到实物为准。使用产品前,请始终阅读产品随附的标签、警告及说明。详细条款请参阅我们的Terms of Use.

商品评价

图灵程序设计丛书·计算的本质:深入剖析程序和计算机 还没有人发表评论,快来抢占沙发了! 写评论

浏览过的商品

联系我们

联系方式

周一至周日,美西时间: 7AM-12:30AM

美东时间: 10AM-3:30AM

help@yamibuy.com

1(800)407-9710