MARC状态：审校 文献类型：中文图书 浏览次数：28
- 题名/责任者:
- 计算进化史:改变数学的命运/(法) 吉尔·多维克著 劳佳译
- 出版发行项:
- 北京:人民邮电出版社,2017.2
- ISBN及定价:
- 978-7-115-44757-9/CNY39.00
- 载体形态项:
- 12, 216页:图;19cm
- 统一题名:
- Métamorphoses du calcul
- 其它题名:
- 改变数学的命运
- 丛编项:
- 图灵新知
- 个人责任者:
- 多维克 (Dowek, Gilles) 著
- 个人次要责任者:
- 劳佳 译
- 学科主题:
- 计算机科学-技术史-研究
- 中图法分类号:
- TP3-09
- 中图法分类号:
- TP3
- 出版发行附注:
- 本书中文简体字版由Editions Le Pommier授权人民邮电出版社独家出版
- 责任者附注:
- 吉尔·多维克 (Gilles Dowek), 法国数学家、逻辑学家和计算机科学家, 法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家, 美国国家航空研究院顾问。劳佳, 上海交通大学硕士, 现任SAP (美国) 高级软件支持顾问。
- 书目附注:
- 有书目 (第208-211页) 和索引
- 提要文摘附注:
- 本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革, 展现了计算为数学研究发展带来的全新前景, 展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
- 使用对象附注:
- 数学、计算机科学和哲学领域的相关研究人员
全部MARC细节信息>>