杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

逻辑的引擎:珍藏本/(美)马丁·戴维斯著 张卜天译

出版发行项:

长沙:湖南科学技术出版社,2012

ISBN及定价:

978-7-5357-7182-7/CNY360.00(全10册)

载体形态项:

293页:图，照片;21cm

并列正题名:

Engines of logic

丛编项:

第一推动丛书.综合系列;04

个人责任者:

(美) 戴维斯 (Davis, Martin) 著

个人次要责任者:

张卜天 (1979~) 译

学科主题:

科学家-生平事迹-世界

中图法分类号:

K816.1

版本附注:

博达著作权代理有限公司授权出版 据美国W. W. Norton公司2000年版本译出

提要文摘附注:

本书介绍了现代计算机背后的那些基本概念和发展这些概念的人，描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。

豆瓣简介：