![《计算进化史吉尔·多维克；劳佳译书籍》[88M]百度网盘|pdf下载|亲测有效](/365baixing/uploads/s0309/2eda39f54910ff23.jpg "计算进化史吉尔·多维克；劳佳译书籍")
计算进化史吉尔·多维克；劳佳译书籍 pdf下载
8.99￥
10.99￥
内容简介
本篇主要提供计算进化史吉尔·多维克；劳佳译书籍电子书的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美国任不错软件支持顾问。业余爱好语言、数学、设计，近年翻译出版了《咨询的奥秘》《很好程序员密码》《周末读完英国史》等翻译著作。
![《深度学习之图像识别：核心技术与案例实战》[81M]百度网盘|pdf下载|亲测有效](/365baixing/uploads/s0309/05c5aff38be3563d.jpg)
![《全国信息化计算机应用技术资格认证指定教材：网络技术基础教程》[47M]百度网盘|pdf下载|亲测有效](/365baixing/uploads/s0309/a45c34e6-7a43-4d40-a9e3-afc9f0af7902.jpg)
![《Linux内核设计与实现华章专业开发者书库》[47M]百度网盘|pdf下载|亲测有效](/365baixing/uploads/s0309/9be1d5419956a2ad.jpg)
![《OptiStruct结构分析与工程应用CAE入门到精通稀缺经典教程再版》[94M]百度网盘|pdf下载|亲测有效](/365baixing/uploads/s0309/f76df38f60a93aaa.jpg)