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