计算
正版保障 假一赔十 电子发票
￥ 82.98 6.5折 ￥ 128 全新
库存183件
四川成都
认证卖家担保交易快速发货售后保障
作者吴翰清
出版社电子工业出版社
ISBN9787121464997
出版时间2023-11
装帧精装
开本16开
定价128元
货号1203114775
上书时间2024-11-09
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
"吴翰清，毕业于西安交通大学少年班。全国青联委员，浙江省青联常委。清华大学创新领军工程博士（人工智能方向，在读）。
2005年加入阿里，创建了阿里巴巴、淘宝、支付宝的安全体系，也是阿里云初创团队成员，是阿里安全从无到有、从有到强的亲历者。
2017年开始致力于城市大脑的研究与建设，专注于构建机器智能系统。
2017年入选 MIT 全球青年科技创新人才榜，是中国互联网安全领域入选 TR35 的第一人。
2019年入选「大数据文摘」评选的「30位新生代数字经济人才」。
2019年当选中国青年科技工作者协会第六届理事。
公益项目“计算图书馆”发起人。
目前正致力于人工智能的研究和创业。"
目录
导论1
第一部分 计算的诞生
第1章 毕达哥拉斯的困惑24
数的计算24
从数觉到计数24
文明古国的计算28
毕达哥拉斯学派30
柏拉图的理想世界40
第一次数学危机44
无理数的发现44
芝诺悖论：无穷之辩46
演绎推理：逻辑学和几何学51
亚里士多德的逻辑学51
欧几里得的《几何原本》55
悖论：推理的暗面59
第2章 计算之术62
代数：字符的计算62
符号与代数63
零的诞生63
言辞代数65
未知量的表示68
还原与对消70
代数符号73
求解多项式方程77
从数值解到代数解77
三次方程的求根公式81
不可约：复数的发现84
数系的扩张89
代数基本定理92
代数的结构94
求解一元五次方程94
方程根的结构95
伽罗瓦的遗珠101
计算工具108
人类计算员109
面向机器的计算思维111
第3章 莱布尼茨的计算之梦116
数理逻辑的创立117
人类思想字母表120
思想的大衍术121
计算之梦125
思维规律的研究127
19世纪数理逻辑的复兴127
布尔的逻辑代数129
第二部分 计算的数学基础
第4章 数学的基础136
第二次数学危机136
微积分的发明136
消失的鬼魂：贝克莱悖论139
分析的严格化140
集合论的诞生142
无穷大有多大142
对角线方法146
康托尔的超穷数148
超穷基数与超穷序数148
连续统假设152
算术的逻辑化156
弗雷格的“概念文字”156
自然数的定义159
第5章 第三次数学危机163
危机：罗素悖论163
集合论悖论163
自我指涉165
悖论的解决方法168
逻辑主义进路169
直觉主义进路173
公理集合论进路176
ZFC公理集合论177
选择公理180
NBG公理集合论182
第三部分 计算理论的形成
第6章 计算理论的奠基：希尔伯特进路186
数学的无冕之王186
希尔伯特问题188
数学的世纪之问188
希尔伯特的第10个问题189
几何的算术基础192
欧几里得的第五公设192
模型化方法194
桌子、椅子和啤酒杯：形式系统思想195
“形式主义”之父196
有穷主义证明论198
希尔伯特纲领201
可判定性问题201
王者的落幕202
第7章 计算不能做什么：终结者哥德尔204
昨日的世界204
我们必须知道，我们必将知道204
伟大的友谊205
哥德尔的发现207
编码思想：哥德尔数209
哥德尔证明213
不完备性定理213
塔斯基定理215
希尔伯特计划的破灭216
哥德尔纲领217
自亚里士多德以来218
第8章 计算理论的诞生：图灵的可计算数221
图灵的学业221
图灵机223
模拟人类计算员223
图灵机模型224
可计算数226
丘奇-图灵论题229
判定性问题的证明231
图灵的证明231
停机问题234
忙碌的海狸235
快速增长函数235
不可计算的函数238
图灵的命运239
第四部分 计算的极限
第9章 计算复杂性242
难解的计算问题243
旅行商问题243
多项式时间与指数时间245
P/NP问题249
NP问题249
NP接近问题251
柯尔莫哥洛夫复杂度254
库克-莱文定理255
计算的局部性原理257
P=NP吗257
P=NP的世界258
认知的边界259
P≠NP的若干推论260
站在两个世界之间266
未分类的问题266
因数分解问题267
图同构问题268
近似计算268
丹齐格的线性规划270
挑战旅行商问题272
PCP定理与不可近似性281
并行计算284
计算的时空平衡性284
并行计算的极限285
挑战极限287
第10章 量子计算293
计算是数学的，更是物理的293
量子计算的启蒙293
量子的特性295
计算的最小能量296
量子比特298
从经典比特到量子比特298
量子优势300
量子门与量子线路300
量子算法303
从BPP到BQP303
Shor算法305
量子霸权307
量子计算机的实现307
展望量子霸权308
第11章 复杂性计算310
什么是复杂310
反馈与控制312
现代复杂性研究思潮318
复杂性的简单算法318
生命游戏321
涌现323
耗散结构324
网络科学326
进化计算330
生物系统的信息处理330
逻辑深度334
企业的进化计算335
第12章 机器能思考吗338
模拟大脑的结构338
机器智能大论战340
模仿游戏与中文屋340
符号主义与连接主义344
AlphaGo与李世石350
ChatGPT与乌鸦355
人工智能的圣杯355
ChatGPT的原理356
350多年的等待362
聪明的乌鸦365
未来的方向366
机器的意识374
第13章 自然哲学的计算原理379
计算的边界379
时空的桎梏379
宇宙是一台计算机吗380
图灵极限384
边界之外386
无穷时间的计算386
无穷空间的计算387
一种计算主义的世界观392
后记397
附录A 科研范式进化史纲要399
附录B 提问与求解的艺术404
附录C 世界需要什么样的智能系统416
附录D 机器智能宣言423
参考文献425
内容摘要
摩尔定律快要走到尽头，但计算革命不会终止。更好的软件编程、3D芯片和量子计算等方法应运而生，其中云计算将成为业界应对摩尔定律消亡的很好手段，物联网（IoT）的兴起将让我们逼近一个“消失点”，此前计算机的形体从大到小，此后计算机将变得“无形”，使计算无处不在，智能融入日常生活。本书由计算专业领域的专家学者知名吴翰清执笔，代表他及背后的阿里公司，对计算这个科技终极命题的感悟、展望和深刻洞察。本书为三卷书中的第一卷，着眼于对计算非常重要的数学，覆盖了量重要的数学家、数学成就及相关史实及其关联。
主编推荐
"1.“计算”是科技的引擎和所有科技热点的中心，全球首度以此为线索的硬核科普读物。
2.本书作者是阿里云之一，是阿里巴巴杰出青年科学家中的翘楚，在书中的观点新锐又深邃，博古通今又主线鲜明，史实珍稀又富含洞察。
3.科技与互联网公司一众与计算生态息息相关的业者，可以通过这本书及这个系列，理解计算的深邃内涵与历史沿革，以及关键命脉与终极归宿。"
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价