![《计算进化史吉尔·多维克；劳佳译书籍》[88M]百度网盘|pdf下载|亲测有效](/365baixing/uploads/s0309/2eda39f54910ff23.jpg "计算进化史吉尔·多维克；劳佳译书籍")
计算进化史吉尔·多维克；劳佳译书籍 pdf下载
限时特惠
00:00:00
活动结束后恢复原价
纸质书参考价
¥23
电子版限时价
¥5.99
省 18 元
选择版本
内容简介
本篇主要提供计算进化史吉尔·多维克；劳佳译书籍电子书的pdf版本下载，本电子书下载方式为百度网盘方式，点击以上按钮下单完成后即会通过邮件和网页的方式发货，有问题请联系邮箱ebook666@outlook.com
作 者:(法)吉尔·多维克(Gilles Dowek) 著；劳佳 译
定 价:39
出 版 社:人民邮电出版社
出版日期:2017年02月01日
页 数:216
装 帧:平装
ISBN:9787115447579
●篇古老的起源
●章从史前数学到希腊数学2
●第2章计算两千年17
●第二篇古典时代
●第3章谓词逻辑36
●第4章判定性问题与丘奇定理56
●第5章丘奇论题73
●第6章为计算树立数学地位的尝试——λ演算94
●第7章构造性100
●第8章构造性证明与算法113
●第三篇公理化危机
●第9章直觉主义类型论122
●0章自动化证明132
●1章证明检验145
●2章学界新进展153
●3章工具172
●4章公理的终结？187
●结语旅程的尾声190
●附录一人物简介193
●附录二参考文献208
●部分目录
●章从史前数学到希腊数学2
●第2章计算两千年17
●第二篇古典时代
●第3章谓词逻辑36
●第4章判定性问题与丘奇定理56
●第5章丘奇论题73
●第6章为计算树立数学地位的尝试——λ演算94
●第7章构造性100
●第8章构造性证明与算法113
●第三篇公理化危机
●第9章直觉主义类型论122
●0章自动化证明132
●1章证明检验145
●2章学界新进展153
●3章工具172
●4章公理的终结？187
●结语旅程的尾声190
●附录一人物简介193
●附录二参考文献208
●部分目录
由法国吉尔·多维所著、劳佳翻译的《计算进化史（改变数学的命运）》一书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革，展现了计算为数学研究发展带来的全新前景，展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
(法)吉尔·多维克(Gilles Dowek) 著；劳佳 译
吉尔·多维，法国数学家、逻辑学家和计算机科学家，法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家，美国国家航空研究院顾问。多维撰写过多部数学和计算机科学科普作品，曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。
劳佳，硕士毕业于上海交通大学，现在SAP美国任不错软件支持顾问。业余爱好语言、数学、设计，近年翻译出版了《咨询的奥秘》《很好程序员密码》《周末读完英国史》等翻译著作。
劳佳，硕士毕业于上海交通大学，现在SAP美国任不错软件支持顾问。业余爱好语言、数学、设计，近年翻译出版了《咨询的奥秘》《很好程序员密码》《周末读完英国史》等翻译著作。
![《 秒懂短视频拍摄》[57M]百度网盘|pdf下载|亲测有效](/365baixing/upload/2025-03-08/29575953-1_w_3.jpg)
![《 失控：全人类的最终命运和结局（修订版）》[41M]百度网盘|pdf下载|亲测有效](/365baixing/upload/2025-03-08/29627339-1_w_1694768042.jpg)
![《 Scratch少儿趣味编程108例（全视频微课版）》[42M]百度网盘|pdf下载|亲测有效](/365baixing/upload/2025-03-08/29752344-1_w_1723604261.jpg)
![《 人机沟通法则：理解数字世界的设计与形成》[90M]百度网盘|pdf下载|亲测有效](/365baixing/upload/2025-03-08/29841229-1_w_1737442515.jpg)