书籍详情
《计算进化史吉尔·多维克;劳佳译书籍》[50M]百度网盘|亲测有效|pdf下载
  • 计算进化史吉尔·多维克;劳佳译书籍

  • 出版社:文轩网精品图书专营店
  • 出版时间: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
部分目录
内容简介
由法国吉尔·多维所著、劳佳翻译的《计算进化史(改变数学的命运)》一书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
作者简介
(法)吉尔·多维克(Gilles Dowek) 著;劳佳 译
吉尔·多维,法国数学家、逻辑学家和计算机科学家,法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家,美国国家航空研究院顾问。多维撰写过多部数学和计算机科学科普作品,曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。
劳佳,硕士毕业于上海交通大学,现在SAP美国任不错软件支持顾问。业余爱好语言、数学、设计,近年翻译出版了《咨询的奥秘》《很好程序员密码》《周末读完英国史》等翻译著作。