返回首页 联系帮助
(美)马丁·戴维斯(Martin Davis)著
购买点数
11 点
出版社
长沙:湖南科学技术出版社
出版时间
2018
ISBN
9787535794420
标注页数
291 页
PDF页数
311 页
标签
逻辑 引擎
查看更多关于=$ecms_gr[title]?>的内容
第1章 莱布尼茨之梦 1
第2章 布尔把逻辑变成代数 21
第3章 弗雷格:从突破到绝望 44
第4章 康托尔:在无限中摸索 65
第5章 希尔伯特的营救 90
第6章 哥德尔使计划落空 115
第7章 图灵构想通用计算机 151
第8章 研制第一批通用计算机 190
第9章 超越莱布尼茨之梦 213
尾声 224
注释 225
参考书目 258
索引 264
译后记 289