逻辑的引擎

作者：（美）马丁·戴维斯著；张卜天译
出版社：长沙：湖南科学技术出版社
出版年份：2012
ISBN：7535771827
注意：在使用云解压之前，请认真核对实际PDF页数与内容!

在线云解压
价格(点数)
购买连接
说明

转为PDF格式
10
立即购买
（在线云解压服务）

云解压服务说明

1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。

云解压下载及付费说明

1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

第一章莱布尼茨之梦 1

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

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

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

第五章希尔伯特的营救 92

第六章哥德尔使计划落空 118

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

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

第九章超越莱布尼茨之梦 221

尾声 232

注释 234

参考书目 264

索引 274

译后记 291