《计算的本质：深入剖析程序和计算机》 - [英]Tom Stuart 著 - 人民邮电出版社 - 香港大書城

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

2023年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

新書上架：簡體書繁體書
暢銷書架：簡體書繁體書
好書推介：簡體書繁體書

『簡體書』计算的本质：深入剖析程序和计算机

書城自編碼： 2483646
分類：簡體書→大陸圖書→計算機/網絡→程序設計
作者： [英]Tom Stuart 著
國際書號(ISBN)： 9787115361547
出版社：人民邮电出版社
出版日期： 2014-11-01
版次： 01 印次： 01
頁數/字數： 286/433
書度/開本： 16开釘裝：平装

售價：HK$ 179.4

我要買件

** 我創建的書架 **
未登入.

新書推薦：

《虚拟资本：金融怎样挪用我们的未来》
售價：HK$ 79.4

《刻意练习不生气》
售價：HK$ 40.3

《大宋理财：青苗法与王安石的金融帝国（全彩插图本）》
售價：HK$ 112.7

《安全感是内心长出的盔甲》
售價：HK$ 68.8

《快人一步：系统性能提高之道》
售價：HK$ 113.9

《我们为什么会做梦：让梦不再神秘的新科学》
售價：HK$ 79.4

《算法图解（第2版）》
售價：HK$ 80.3

《科学的奇幻之旅》
售價：HK$ 79.4

建議一齊購買：

HK$ 183.2
《精通Linux内核网络》

HK$ 90.7
《七周七并发模型》

HK$ 146.2
《算法的乐趣》

HK$ 183.2
《代码本色：用编程模拟自然系统》

編輯推薦：

掌握计算与编程语言的工作原理和真正含义
在熟悉的语言示例中习得更好的工作方式
清晰解读有限自动机和图灵机
我知道你是一位编程高手，写代码对你而言是手到擒来的事。但是，你确定自己多年练就的编程技能不是建立在某种想当然的假设基础上？确定自己不是每天都在“稀里糊涂”地写代码？确定真正理解自己的代码是如何运行的吗？
如果你想像“大牛”级的程序员一样做开发，或者想摆脱自己半路出家的知识“囧”境，本书能够为你真正讲明白计算理论和编程语言的工作原理与真切含义。本书使用简单的Ruby代码做示例，没有枯燥难记的数学符号。作者极力推崇循序渐进和从实践中学习，他从机器、语言讲到程序，又一路从最简单的机器（有限自动机）过渡到复杂的机器（图灵机），从设计实现简单的编程语言到极简的机器，而后又推理所谓“不可能”解决的问题，为读者完美打造了轻松有趣的阅读体验。

內容簡介：

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

關於作者：

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

目　录
封面介绍　X
前言　XI
第1章　刚好够用的Ruby基础　1
1.1　交互式Ruby Shell　1
1.2　值　2
1.2.1　基本数据　2
1.2.2　数据结构　3
1.2.3　proc　4
1.3　控制流　4
1.4　对象和方法　5
1.5　类和模块　6
1.6　其他特性　7
1.6.1　局部变量和赋值　7
1.6.2　字符串插值　8
1.6.3　检查对象　8
1.6.4　打印字符串　8
1.6.5　可变参数方法variadic method　9
1.6.6　代码块　9
1.6.7　枚举类型　10
1.6.8　结构体　11
1.6.9　给内置对象扩展方法Monkey Patching　12
1.6.10　定义常量　13
1.6.11　删除常量　13
第一部分　程序和机器
第2章　程序的含义　17
2.1　“含义”的含义　18
2.2　语法　19
2.3　操作语义　19
2.3.1　小步语义　20
2.3.2　大步语义　40
2.4　指称语义　46
2.4.1　表达式　46
2.4.2　语句　49
2.4.3　应用　51
2.5　形式化语义实践　52
2.5.1　形式化　52
2.5.2　找到含义　53
2.5.3　备选方案　53
2.6　实现语法解析器　54
第3章　最简单的计算机　59
3.1　确定性有限自动机　59
3.1.1　状态、规则和输入　60
3.1.2　输出　60
3.1.3　确定性　61
3.1.4　模拟　62
3.2　非确定性有限自动机　65
3.2.1　非确定性　65
3.2.2　自由移动free move　71
3.3　正则表达式　74
3.3.1　语法　75
3.3.2　语义　78
3.3.3　解析　86
3.4　等价性　88
第4章　增加计算能力　97
4.1　确定性下推自动机　100
4.1.1　存储　100
4.1.2　规则　101
4.1.3　确定性　103
4.1.4　模拟　103
4.2　非确定性下推自动机　110
4.2.1　模拟　113
4.2.2　不等价　115
4.3　使用下推自动机进行分析　116
4.3.1　词法分析　116
4.3.2　语法分析　118
4.3.3　实践性　122
4.4　有多少能力　123
第5章　终极机器　125
5.1　确定型图灵机　125
5.1.1　存储　126
5.1.2　规则　127
5.1.3　确定性　131
5.1.4　模拟　131
5.2　非确定型图灵机　136
5.3　最大能力　137
5.3.1　内部存储　137
5.3.2　子例程　140
5.3.3　多纸带　141
5.3.4　多维纸带　142
5.4　通用机器　142
5.4.1　编码　144
5.4.2　模拟　145
第二部分　计算与可计算性
第6章　从零开始编程　149
6.1　模拟lambda演算　150
6.1.1　使用proc工作　150
6.1.2　问题　152
6.1.3　数字　153
6.1.4　布尔值　156
6.1.5　谓词　160
6.1.6　有序对　161
6.1.7　数值运算　161
6.1.8　列表　168
6.1.9　字符串　172
6.1.10　解决方案　174
6.1.11　高级编程技术　178
6.2　实现lambda演算　184
6.2.1　语法　184
6.2.2　语义　186
6.2.3　语法分析　191
第7章　通用性无处不在　193
7.1　lambda演算　193
7.2　部分递归函数　196
7.3　SKI组合子演算　201
7.4　约塔Iota　210
7.5　标签系统　213
7.6　循环标签系统　220
7.7　Conway的生命游戏　229
7.8　rule 110　231
7.9　Wolfram的2,3图灵机　234
第8章　不可能的程序　235
8.1　基本事实　236
8.1.1　能执行算法的通用系统　236
8.1.2　能够替代图灵机的程序　239
8.1.3　代码即数据　239
8.1.4　可以永远循环的通用系统　241
8.1.5　能引用自身的程序　245
8.2　可判定性　250
8.3　停机问题　251
8.3.1　构建停机检查器　251
8.3.2　永远不会有结果　254
8.4　其他不可判定的问题　258
8.5　令人沮丧的暗示　260
8.6　发生上述情况的原因　261
8.7　处理不可计算性　262
第9章　在“玩偶国”中编程　265
9.1　抽象解释　266
9.1.1　路线规划　266
9.1.2　抽象：乘法的符号　267
9.1.3　安全和近似：增加符号　270
9.2　静态语义　274
9.2.1　实现　275
9.2.2　好处和限制　281
9.3　应用　284
后记　285

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	香港用户　 \|　台灣用户　\|　海外用户

	megBook.com.hk
Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.