逻辑的引擎 mobi 下载 网盘 caj lrf pdf txt 阿里云

本书讲述了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。

引言

第一章 莱布尼茨之梦

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

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

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

第五章 希尔伯特的营救

第六章 哥德尔使计划落空

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

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

第九章 超越莱布尼茨之梦

尾声

注释

参考书目

索引

译后记

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

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：逻辑的引擎在线阅读

在线听书地址：逻辑的引擎在线收听

在线购买地址：逻辑的引擎在线购买

暂无原文赏析，正在全力查找中！

书籍介绍

本书讲述了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。