逻辑的引擎
￥ 16.25 3.3折 ￥ 49 九五品
仅1件
作者(美)马丁·戴维斯(Martin Davis)著
出版社湖南科学技术出版社
ISBN9787535794420
出版时间2018-02
版次1
装帧平装
开本16开
纸张胶版纸
页数310页
字数99999千字
定价49元
上书时间2024-12-30
商品详情
- 品相描述：九五品
- 商品描述
-
基本信息
书名:逻辑的引擎
定价：49元
作者:(美)马丁·戴维斯(Martin Davis)著
出版社：湖南科学技术出版社
出版日期：2018-02-01
ISBN：9787535794420
字数：206000
页码：310
版次：1
装帧：平装
开本：32开
商品重量：
编辑推荐
内容提要
本书讲述了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。 n
目录
n引言 章 莱布尼茨之梦 第二章 布尔把逻辑变成代数 第三章 弗雷格：从突破到绝望 第四章 康托尔：在无限中摸索 第五章 希尔伯特的营救 第六章 哥德尔使计划落空 第七章 图灵构想通用计算机 第八章 研制批通用计算机 第九章 莱布尼茨之梦 尾声 注释 参考书目 索引 译后记 n
作者介绍
n作者简介： n马丁 戴维斯（MartiDavis），计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一，他是纽约大学库朗数学科学研究所的荣誉教授，之后在加州大学伯克利分校做访问学者。 n n译者介绍： n张卜天，1979年9月生，师从吴国盛。热爱哲学和科学史方面的翻译，研究方向为西方中世纪和近代早期科学思想史，研究领域主要集中在近代科学的起源和科学革命。 n
序言
-
【封面】
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价