当前位置:逻辑的引擎pdf电子书下载 > 历史地理

- 作 者:(美)马丁·戴维斯(Martin Davis)著;张卜天译
- 出 版 社:长沙:湖南科学技术出版社
- 出版年份:2005
- ISBN:7535742394
- 标注页数:293 页
- PDF页数:304 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式,该格式图书只能阅读和打印,不能再次编辑。
2、除分上下册或者多册的情况下,一般PDF页数一定要大于标注页数才建议下单购买。【本资源304 ≥293页】
图书下载及付费说明
1、所有的电子图书为PDF格式,支持电脑、手机、平板等各类电子设备阅读;可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
目录前言 1
引言 1
第一章 莱布尼茨之梦 1
第二章 布尔把逻辑变成代数 21
第三章 弗雷格:从突破到绝望 45
第四章 康托尔:在无限中摸索 66
第五章 希尔伯特的营救 92
第六章 哥德尔使计划落空 118
第七章 图灵构想通用计算机 156
第八章 研制第一批通用计算机 197
第九章 超越莱布尼茨之梦 221
尾声 232
注释 234
参考书目 264
索引 274
译后记 291