MARC状态：审校 文献类型：中文图书 浏览次数：12
- 题名/责任者:
- 逻辑的引擎/(美)马丁·戴维斯(Martin Davis)著 张卜天译
- 版本说明:
- 2版
- 出版发行项:
- 长沙:湖南科学技术出版社,2007
- ISBN及定价:
- 978-7-5357-4239-1/CNY22.00
- 载体形态项:
- 293页;22cm
- 并列正题名:
- Engines of logic
- 丛编项:
- 第一推动.综合系列
- 个人责任者:
- (美) 戴维斯 M. 著
- 个人责任者:
- (美) Davis Martin 著
- 个人次要责任者:
- 张卜天 译
- 学科主题:
- 科学家-生平事迹-世界
- 中图法分类号:
- K816.1
- 提要文摘附注:
- 本书介绍了现代计算机背后的那些基本概念和发展这些概念的人，描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。
全部MARC细节信息>>