借阅：0人
收藏：0人
逻辑的引擎
- 查看机读格式
/(美) 马丁·戴维斯著 = Engines of logic /Martin Davis ;张卜天译
ISBN/ISSN：978-7-5357-9442-0
价格：CNY49.00
出版：长沙 :湖南科学技术出版社 ,2018
载体形态：17, 291页 :图 ;21cm
丛编：第一推动丛书 ;03
简介：本书讲述了位于计算机背后的思想层面的历史。通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作, 讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。
统一题名：Engines of logic
中图分类号：TP302.2
责任者：戴维斯 ((Davis, Martin)) 著 张卜天, (1979-) 译
-
评分：
-
加入暂存架
豆瓣内容简介：
本书讲述了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。
豆瓣作者简介：
马丁•戴维斯（Martin Davis），计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一，他是纽约大学库朗数学科学研究所的荣誉教授，之后在加州大学伯克利分校做访问学者。
目录：
引言
第一章 莱布尼茨之梦
第二章 布尔把逻辑变成代数
第三章 弗雷格：从突破到绝望
第四章 康托尔：在无限中摸索
第五章 希尔伯特的营救
第六章 哥德尔使计划落空
第七章 图灵构想通用计算机
第八章 研制第一批通用计算机
第九章 超越莱布尼茨之梦
尾声
注释
参考书目
索引
译后记
| 分馆名 | 馆藏部门 | 图书条码 | 索书号 | 登录号 | 架位导航 | 卷期 | 状态 |
| A | 昌平馆科技图书区（三层） | C1285817 | TP302.2/36 | C1285817 | 架位导航 | 在架可借 | |
| A | 昌平馆科技图书区（三层） | C1289617 | TP302.2/36 | C1289617 | 架位导航 | 在架可借 | |
| A | 东区馆中文图书阅览区（二层） | C1260064 | TP302.2/36 | C1260064 | 架位导航 | 在架可借 | |
| A | 东区馆中文图书阅览区（二层） | C1260063 | TP302.2/36 | C1260063 | 架位导航 | 在架可借 | |
| A | 东区馆中文图书阅览区（二层） | C1257561 | TP302.2/36 | C1257561 | 架位导航 | 在架可借 |
| 序号 | 图书条码 | 索书号 | 登录号 | 藏书部门 | 流通状态 | 年卷期 | 装订册 | 装订方式 | 装订颜色 |
| 类型 | 说明 | URL |
| 评 论 |
