当前位置：首页 > 历史地理

逻辑的引擎

逻辑的引擎

逻辑的引擎PDF电子书下载

电子书积分：11 积分如何计算积分？
作者：（美）马丁·戴维斯著；张卜天译
出版社：长沙：湖南科学技术出版社
出版年份：2012
ISBN：7535771827
页数：293 页

图书介绍：

查看图书目录点击购买PDF全本电子书

上一篇：史考帝·皮朋：空中飞人的独家拍档下一篇：殷商贞卜文字考

《逻辑的引擎》目录

标签：逻辑引擎

第一章莱布尼茨之梦 1

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

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

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

第五章希尔伯特的营救 92

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

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

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

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

尾声 232

注释 234

参考书目 264

索引 274

译后记 291

相关图书

作者其它书籍

出版社其它书籍

本类热门