首页
体育
音乐
视频
阅读
游戏
新空
应用中心
企业服务
关于咪咕
客服
账号设置
退出登录
第一推动丛书·综合系列:逻辑的引擎
作者:
[美]马丁·戴维斯
出版社:
湖南科学技术出版社
主播:
暂无
类别:
图书
字数:
13.74万字
更新日期:
2023-12-20
关键字:
第一推动丛书·综合系列:逻辑的引擎;【美】马丁·戴维斯
手机阅读
手机扫描,立即阅读
评论
分享
分享到:
目录 (合计16章)
手机扫描,立即阅读
第一推动丛书·综合系列:逻辑的引擎
总序
前言
引言
第1章 莱布尼茨之梦
第2章 布尔把逻辑变成代数
第3章 弗雷格:从突破到绝望
第4章 康托尔:在无限中摸索
第5章 希尔伯特的营救
第6章 哥德尔使计划落空
第7章 图灵构想通用计算机
第8章 研制第一批通用计算机
第9章 超越莱布尼茨之梦
尾声
参考书目
译后记
展开全部
收起
简介
本书讲述了计算机思想层面的历史,通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。