大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 逻辑的引擎
名称 逻辑的引擎
索引号 620083
分类号
(| 08 环境公报)
作者 戴维斯、 M.、张卜天、
出版社 长沙 : 湖南科学技术出版社, 2005
ISBN 7-5357-4239-4
页数 293页 : 图, 肖像 ; 21cm
价格 CNY20.00
标签 科普、逻辑、计算机、数学、计算机科学、哲学、计算机史、逻辑的引擎、
简介
注解 本书根据W. W. Norton公司2000年版本译出 本书中文简体版由英国牛津大学出版社授权 英文并列题名取自版权页 有书目和索引 本书讲述的是我们的现代计算机背后的那些基本概念和发展出这些概念的人・包括莱布尼茨之梦、布尔把逻辑变成代数、研制第一批通用计算机等共九章内容・
书籍简介

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

书籍目录

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