计算进化史软硬件技术 (法)吉尔·多维克(gilles dowek)

计算进化史：改变数学的命运（计算改变科学与哲学的力量）

25.65 6.6折 39 全新

库存12件

北京丰台

认证卖家担保交易快速发货售后保障

作者(法)吉尔·多维克(gilles dowek)

出版社人民邮电出版社

ISBN9787115447579

出版时间2017-02

版次1

装帧平装

开本32

页数216页

字数110千字

定价39元

货号xhwx_1201471280

上书时间2024-11-26

已实名已认证进店收藏店铺

商品描述: 目录：

篇古老的起源
章从史前数学到希腊数学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
索引212

内容简介：

由法国吉尔多维所著、劳佳翻译的计算进化史（改变数学的命运）一书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革，展现了计算为数学研究发展带来的全新前景，展望了这场数学在自然科学、信息科学与哲学领域引发的重大变革。

作者简介：

吉尔多维，法国数学家、逻辑学家和计算机科学家，法国计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家，美国航空研究院顾问。多维撰写过多部数学和计算机科学科普作品，曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。劳佳，硕士于上海交通大学，现在ap美国任不错软件支持顾问。业余爱好语言、数学、设计，翻译出版了咨询的奥秘很好程序员密码读完英国史等翻译著作。