数学极客:探索数字、逻辑、计算之美
出版时间:
2018-08
版次:
1
ISBN:
9787111602590
定价:
45.00
-
数学是美丽的,它既有趣又令人兴奋,同时也很实用。本书探讨了两千多年的数学发展历程中一些伟大的突破和有趣的话题:从埃及分数到图灵机,从数字 的真正意义到证明树、群对称和机械化计算。如果你想知道高中几何课中难以完成的证明背后到底隐藏着什么,或者什么限制了计算机的能力,本书将会带你找到答案。作者从数字的基础开始带你开启美丽的数学之旅,首先通过探讨一些有趣的和奇怪的数字,如整数、自然数、有理数、超越数、零、黄金比例、虚数、罗马数字、埃及分数和连分数,带你领略数字的趣味性、数字之美和数字之用,然后深入研究现代逻辑,包括线性逻辑、Prolog语言等,以及现代集合论和现代机械化计算的进展与悖论,带你感受数学的逻辑性和计算性。 Mark C. Chu-Carroll 拥有Delawre大学博士学位,目前在Spotify担任数据基础架构软件工程师,之前曾在Google、Twitter担任高级软件工程师。他一直从事编程语言和软件开发工具方面的研究工作,有超过20年的从业经验。他感兴趣的领域包括协同软件开发、 编程语言和工具,以及如何改善软件开发者的日常生活。业余时间,他是Scientopia.org的管理者和开发者,并撰写了博客Good Math/Bad Math,你可以通过http://scientopia.org/blogs/goodmath访问他的博客。 目录
序
译者简介
前言
第一部分 数 字
第1章 自然数 /2
1.1 自然数的公理化定义 /3
1.2 使用皮亚诺归纳法 /6
第2章 整数 /8
2.1 什么是整数 /8
2.2 自然地构造整数 /10
第3章 实数 /14
3.1 实数的非正式定义 /14
3.2 实数的公理化定义 /17
3.3 实数的构造性定义 /20
第4章 无理数与超越数 /23
4.1 什么是无理数 /23
4.2 聚焦无理数 /24
4.3 无理数和超越数有什么意义,为什么它们很重要 /26
第二部分 有趣的数字第5章 零 /30
5.1 零的历史 /30
5.2 一个令人生厌的困难数字 /33
第6章 e:不自然的自然数 /36
6.1 无处不在的数字 /36
6.2 e的历史 /38
6.3 e有什么含义 /39
第7章 φ:黄金比例 /41
7.1 什么是黄金比例 /42
7.2 荒唐的传奇 /44
7.3 黄金比例真正存在的地方 /46
第8章 i:虚数 /48
8.1 i的起源 /48
8.2 i是做什么的 /50
8.3 i有什么意义 /51
第三部分 书
写 数 字
第9章 罗马数字 /56
9.1 进位系统 /56
9.2 这场混乱来自哪里 /58
9.3 计算很简单(但是算盘更简单) /59
9.4 传统的过失 /63第10章 埃及分数 /66
10.1 一场4000年前的数学考试 /66
10.2 斐波那契的贪婪算法 /67
10.3 有时美胜过实用 /69第11章 连分数 /70
11.1 连分数简介 /71
11.2 更干净,更清晰,纯粹是为了好玩 /73
11.3 作计算 /75
第四部分 逻 辑
第12章 斯波克先生与不符合逻辑 /80
12.1 什么是真正的逻辑 /82
12.2 一阶谓词逻辑 /83
12.3 展示一些新东西 /88
第13章 证明、真理和树 /93
13.1 用树来建立简单的证明 /94
13.2 零基础的证明 /96
13.3 家族关系的例子 /98
13.4 分支证明 /100
第14章 使用逻辑编程 /103
14.1 计算家族关系 /104
14.2 使用逻辑计算 /109
第15章 时序推理 /118
15.1 随时间变化的命题 /119
15.2 CTL擅长什么 /124
第五部分 集 合
第16章 康托尔对角化:无穷不仅是无穷 /128
16.1 朴素的集合 /128
16.2 康托尔对角化 /132
16.3 不要保持简单和直接 /136
第17章 公理化集合论:取其精华,去其糟粕 /139
17.1 ZFC集合论公理 /140
17.2 疯狂的选择 /147
17.3 为什么 /150
第18章 模型:用集合作为搭建数学世界的积木 /151
18.1 构建自然数 /152
18.2 从模型到模型:从自然数到整数,以及超越 /154
第19章 超限数:无限集的计数和排序 /158
19.1 超限基 /158
19.2 连续统假设 /160
19.3 无限何在 /161
第20章 群论:用集合寻找对称性 /164
20.1 费解的对称性 /164
20.2 不同的对称性 /168
20.3 走入历史 /170
20.4 对称性之源 /172
第六部分 机械化数学
第21章 有限状态机:从简单机器开始 /178
21.1 最简单的机器 /178
21.2 实际使用的有限状态机 /182
21.3 跨越鸿沟:从正则表达式到机器 /185
第22章 图灵机 /192
22.1 添加磁带让一切都变得不同 /193
22.2 变元:模仿机器的机器 /198
第23章 计算的核心与病态 /204
23.1 BF:伟大的、光荣的、完全愚蠢的 /206
23.2 图灵完备还是毫无意义 /209
23.3 从庄严到荒谬 /210
第24章 微积分:不是那个微积分,是λ演算 /213
24.1 写λ演算:几乎就是编程 /214
24.2 求值:运行 /218
24.3 编程语言与λ策略 /221
第25章 数字、布尔运算和递归 /224
25.1 λ演算是图灵完备的吗 /224
25.2 计算自身的数字 /225
25.3 决定?回到Church /228
25.4 递归 /231
第26章 类型,类型,类型:对λ演算建模 /238
26.1 类型简介 /239
26.2 证明 /244
26.3 类型擅长什么 /246
第27章 停机问题 /248
27.1 一个杰出的失败 /249
27.2 是否停机 /251
参考文献 /256
-
内容简介:
数学是美丽的,它既有趣又令人兴奋,同时也很实用。本书探讨了两千多年的数学发展历程中一些伟大的突破和有趣的话题:从埃及分数到图灵机,从数字 的真正意义到证明树、群对称和机械化计算。如果你想知道高中几何课中难以完成的证明背后到底隐藏着什么,或者什么限制了计算机的能力,本书将会带你找到答案。作者从数字的基础开始带你开启美丽的数学之旅,首先通过探讨一些有趣的和奇怪的数字,如整数、自然数、有理数、超越数、零、黄金比例、虚数、罗马数字、埃及分数和连分数,带你领略数字的趣味性、数字之美和数字之用,然后深入研究现代逻辑,包括线性逻辑、Prolog语言等,以及现代集合论和现代机械化计算的进展与悖论,带你感受数学的逻辑性和计算性。
-
作者简介:
Mark C. Chu-Carroll 拥有Delawre大学博士学位,目前在Spotify担任数据基础架构软件工程师,之前曾在Google、Twitter担任高级软件工程师。他一直从事编程语言和软件开发工具方面的研究工作,有超过20年的从业经验。他感兴趣的领域包括协同软件开发、 编程语言和工具,以及如何改善软件开发者的日常生活。业余时间,他是Scientopia.org的管理者和开发者,并撰写了博客Good Math/Bad Math,你可以通过http://scientopia.org/blogs/goodmath访问他的博客。
-
目录:
目录
序
译者简介
前言
第一部分 数 字
第1章 自然数 /2
1.1 自然数的公理化定义 /3
1.2 使用皮亚诺归纳法 /6
第2章 整数 /8
2.1 什么是整数 /8
2.2 自然地构造整数 /10
第3章 实数 /14
3.1 实数的非正式定义 /14
3.2 实数的公理化定义 /17
3.3 实数的构造性定义 /20
第4章 无理数与超越数 /23
4.1 什么是无理数 /23
4.2 聚焦无理数 /24
4.3 无理数和超越数有什么意义,为什么它们很重要 /26
第二部分 有趣的数字第5章 零 /30
5.1 零的历史 /30
5.2 一个令人生厌的困难数字 /33
第6章 e:不自然的自然数 /36
6.1 无处不在的数字 /36
6.2 e的历史 /38
6.3 e有什么含义 /39
第7章 φ:黄金比例 /41
7.1 什么是黄金比例 /42
7.2 荒唐的传奇 /44
7.3 黄金比例真正存在的地方 /46
第8章 i:虚数 /48
8.1 i的起源 /48
8.2 i是做什么的 /50
8.3 i有什么意义 /51
第三部分 书
写 数 字
第9章 罗马数字 /56
9.1 进位系统 /56
9.2 这场混乱来自哪里 /58
9.3 计算很简单(但是算盘更简单) /59
9.4 传统的过失 /63第10章 埃及分数 /66
10.1 一场4000年前的数学考试 /66
10.2 斐波那契的贪婪算法 /67
10.3 有时美胜过实用 /69第11章 连分数 /70
11.1 连分数简介 /71
11.2 更干净,更清晰,纯粹是为了好玩 /73
11.3 作计算 /75
第四部分 逻 辑
第12章 斯波克先生与不符合逻辑 /80
12.1 什么是真正的逻辑 /82
12.2 一阶谓词逻辑 /83
12.3 展示一些新东西 /88
第13章 证明、真理和树 /93
13.1 用树来建立简单的证明 /94
13.2 零基础的证明 /96
13.3 家族关系的例子 /98
13.4 分支证明 /100
第14章 使用逻辑编程 /103
14.1 计算家族关系 /104
14.2 使用逻辑计算 /109
第15章 时序推理 /118
15.1 随时间变化的命题 /119
15.2 CTL擅长什么 /124
第五部分 集 合
第16章 康托尔对角化:无穷不仅是无穷 /128
16.1 朴素的集合 /128
16.2 康托尔对角化 /132
16.3 不要保持简单和直接 /136
第17章 公理化集合论:取其精华,去其糟粕 /139
17.1 ZFC集合论公理 /140
17.2 疯狂的选择 /147
17.3 为什么 /150
第18章 模型:用集合作为搭建数学世界的积木 /151
18.1 构建自然数 /152
18.2 从模型到模型:从自然数到整数,以及超越 /154
第19章 超限数:无限集的计数和排序 /158
19.1 超限基 /158
19.2 连续统假设 /160
19.3 无限何在 /161
第20章 群论:用集合寻找对称性 /164
20.1 费解的对称性 /164
20.2 不同的对称性 /168
20.3 走入历史 /170
20.4 对称性之源 /172
第六部分 机械化数学
第21章 有限状态机:从简单机器开始 /178
21.1 最简单的机器 /178
21.2 实际使用的有限状态机 /182
21.3 跨越鸿沟:从正则表达式到机器 /185
第22章 图灵机 /192
22.1 添加磁带让一切都变得不同 /193
22.2 变元:模仿机器的机器 /198
第23章 计算的核心与病态 /204
23.1 BF:伟大的、光荣的、完全愚蠢的 /206
23.2 图灵完备还是毫无意义 /209
23.3 从庄严到荒谬 /210
第24章 微积分:不是那个微积分,是λ演算 /213
24.1 写λ演算:几乎就是编程 /214
24.2 求值:运行 /218
24.3 编程语言与λ策略 /221
第25章 数字、布尔运算和递归 /224
25.1 λ演算是图灵完备的吗 /224
25.2 计算自身的数字 /225
25.3 决定?回到Church /228
25.4 递归 /231
第26章 类型,类型,类型:对λ演算建模 /238
26.1 类型简介 /239
26.2 证明 /244
26.3 类型擅长什么 /246
第27章 停机问题 /248
27.1 一个杰出的失败 /249
27.2 是否停机 /251
参考文献 /256
查看详情
-
九五品
河北省廊坊市
平均发货12小时
成功完成率96.4%
-
九五品
北京市朝阳区
平均发货14小时
成功完成率95.93%
-
九品
湖南省长沙市
平均发货11小时
成功完成率96.04%
-
九五品
北京市海淀区
平均发货12小时
成功完成率96.42%
-
九品
河北省沧州市
平均发货10小时
成功完成率95.32%
-
九五品
北京市昌平区
平均发货23小时
成功完成率92.86%
-
九品
浙江省台州市
平均发货7小时
成功完成率96.89%
-
九品
上海市浦东新区
平均发货14小时
成功完成率95.24%
-
2018-07 印刷
印次: 1
九品
江苏省南京市
平均发货6小时
成功完成率90.18%
-
九五品
北京市东城区
平均发货7小时
成功完成率95.78%
-
八五品
辽宁省营口市
平均发货13小时
成功完成率96.13%
-
八五品
河北省沧州市
平均发货13小时
成功完成率94.69%
-
九品
北京市大兴区
平均发货10小时
成功完成率98.21%
-
数学极客:探索数字、逻辑、计算之美
正版二手,均有笔记不影响使用,无赠品、光盘、MP12598等。如需购买套装书,请联系客服核实,批量上传数据有误差,套装书售后运费自理,还请见谅!
八五品
山东省枣庄市
平均发货8小时
成功完成率89.43%
-
2018-11 印刷
印次: 2
九五品
-
2020-03 印刷
印次: 4
九五品
江苏省苏州市
平均发货16小时
成功完成率97.73%
-
九五品
江苏省徐州市
平均发货13小时
成功完成率83.33%
-
九五品
四川省成都市
平均发货10小时
成功完成率93.76%
-
九五品
广东省东莞市
平均发货7小时
成功完成率95.36%
-
九五品
广东省东莞市
平均发货7小时
成功完成率96.79%
-
九品
北京市大兴区
平均发货23小时
成功完成率93.75%
-
九品
北京市昌平区
平均发货23小时
成功完成率87.7%
-
九品
北京市海淀区
平均发货24小时
成功完成率87.87%
-
九五品
上海市黄浦区
平均发货28小时
成功完成率85.02%
-
九品
湖北省武汉市
平均发货5小时
成功完成率14.29%