当前位置:逻辑的引擎pdf电子书下载 > 工业技术

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