MARC状态：审校 文献类型：中文图书 浏览次数：28
- 题名/责任者:
- 逻辑的引擎/(美)马丁·戴维斯(Martin Davis)著 张卜天译
- 出版发行项:
- 长沙:湖南科学技术出版社,2018
- ISBN及定价:
- 978-7-5357-9442-0/CNY49.00
- 载体形态项:
- 17,291页:图;21cm
- 并列正题名:
- Engines of logic
- 丛编项:
- 第一推动丛书.综合系列;03
- 个人责任者:
- (美) 戴维斯 (Davis, Martin) 著
- 个人次要责任者:
- 张卜天 译
- 学科主题:
- 计算机-逻辑设计-普及读物
- 中图法分类号:
- TP302
- 版本附注:
- 通过中国台湾博达著作权代理有限公司获得版权
- 出版发行附注:
- 本书限中国大陆发行
- 提要文摘附注:
- 本书剖析了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述数学家们如何在成果付诸应用之前就已经提出了其背后的思想。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP302/46 | B01233317 | 2018 |  金融分馆
|
可借 | 金融分馆 |
| TP302/46 | B01233372 | 2018 | 自然科学图书借阅室
|
可借 | 还书处 |
显示全部馆藏信息