大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 计算技术、计算机技术 » 逻辑的引擎
名称 逻辑的引擎
索引号 TP3-49/7
分类号 TP3-49
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 戴维斯、张卜天、
出版社 长沙：湖南科学技术出版社，2005
ISBN 7-5357-4239-4
页数 293页
价格 CNY20.00
标签 电子计算机、普及读物、科普、逻辑、计算机、数学、计算机科学、哲学、计算机史、逻辑的引擎、
简介 第一推动丛书
注解 本书讲述的是我们的现代计算机背后的那些基本概念和发展出这些概念的人。包括莱布尼茨之梦、布尔把逻辑变成代数、研制第一批通用计算机等共九章内容。
书籍简介

本书介绍了现代计算机背后的那些基本概念和发展这些概念的人，描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。

书籍目录

引言
第一章莱布尼茨之梦
第二章布尔把逻辑变成代数
第三章弗雷格：从突破到绝望
第四章康托尔：在无限中摸索
第五章希尔伯特的营救
第六章哥德尔使计划落空
第七章图灵构想通用计算机
第八章研制第一批通用计算机
第九章超越莱布尼茨之梦
尾声
注释
参考书目
索引
译后记