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