首页 > 计算机 > 逻辑的引擎

逻辑的引擎

作者:[美] 马丁·戴维斯
出版社:湖南科学技术出版社
格式：PDF
本电子书只供学习参考，请更多地支持正版图书。

开始阅读

购买全新书

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

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

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

支持 Web、iPhone、iPad、Android 阅读器

文档下载或充值问题请联系：QQ 3560203073

个人权益问题请联系：QQ 3560203073

合作咨询：QQ 3560203073