书籍简介:

本书作者美国著名数理逻辑学家，是计算机科学发展史上的先驱人物，曾对希尔伯特第十问题有过深入的研究。读者将对西方文化的核心之一——逻辑或数学有更深的理解，并且造就一种敏锐的眼光和问题意识，认识到再复杂的东西其实也是由简单的东西根据一定的规则组合而成的。在普遍崇拜技术外表而忽视其深层本质的今天，这样的书显得尤为难得和重要。

作者介绍:

马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。

书籍目录:

引言

第一章莱布尼茨之梦

第二章布尔把逻辑变成代数

第三章弗雷格：从突破到绝望

第四章康托尔：在无限中摸索

第五章希尔伯特的营救

第六章哥德尔使计划落空

第七章图灵构想通用计算机

第八章研制第一批通用计算机

第九章超越莱布尼茨之梦

尾声

注释

参考书目

索引

译后记

内容摘要:

《第一推动综合系列：逻辑的引擎》作者马丁·戴维斯是计算机科学发展史上的先区人物，曾对希尔伯特第十问题有过深入的研究。《第一推动综合系列：逻辑的引擎》被誉从逻辑角度讲述计算机发展的最好的通俗读本。读者将对西方文化的核心之一——逻辑或数学有更深的理解，并且造就一种敏锐的眼光和问题意识，认识到再复杂的东西其实也是由简单的东西根据一定的规则组合而成的。在普遍崇拜技术外表而忽视其深层本质的今天，本书显得尤为难得和重要。本书讲述了位于计算机背后的思想层面的历史。它通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。

书籍规格:

书籍详细信息
书名	逻辑的引擎站内查询相似图书
丛书名	第一推动丛书
	9787535742391 《逻辑的引擎》pdf扫描版电子书已有网友提供资源下载链接,请点击下方按钮查看
出版地	长沙	出版单位	湖南科学技术出版社
版次	2版	印次	3
定价(元)	20.0	语种	简体中文
尺寸	20	装帧	平装
页数	306	印数	5000

全网搜索试读资源

书籍信息归属:

逻辑的引擎是湖南科学技术出版社于2007.04出版的中图分类号为 K816.1 的主题关于科学家－生平事迹－世界的书籍。