书籍详情
![《计算进化史吉尔·多维克；劳佳译书籍》[50M]百度网盘|亲测有效|pdf下载](/uploads/s0309/2eda39f54910ff23.jpg)
计算进化史吉尔·多维克；劳佳译书籍
- 出版社:文轩网精品图书专营店
- 出版时间:2017-02
- 热度:9098
- 上架时间:2024-06-30 09:08:33
- 价格:0.0
书籍下载
书籍预览
免责声明
本站支持尊重有效期内的版权/著作权,所有的资源均来自于互联网网友分享或网盘资源，一旦发现资源涉及侵权，将立即删除。希望所有用户一同监督并反馈问题，如有侵权请联系站长或发送邮件到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美国任不错软件支持顾问。业余爱好语言、数学、设计，近年翻译出版了《咨询的奥秘》《很好程序员密码》《周末读完英国史》等翻译著作。
