第一推动丛书 综合系列:逻辑的引擎

第一推动丛书 综合系列:逻辑的引擎
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者: ,
2018-02
版次: 1
ISBN: 9787535794420
定价: 49.00
装帧: 平装
开本: 32开
纸张: 胶版纸
页数: 310页
正文语种: 简体中文
分类: 自然科学
128人买过
  • 本书讲述了计算机思想层面的历史,通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。 
        
    作者简介: 
    马丁·戴维斯(),计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一,他是纽约大学库朗数学科学研究所的荣誉教授,之后在加州大学伯克利分校做访问学者。 
      
    译者介绍: 
    张卜天,1979年9月生,师从。热爱哲学和科学史方面的翻译,研究方向为西方中世纪和近代早期科学思想史,研究领域主要集中在近代科学的起源和科学革命。 
        
    引言
     第一章 莱布尼茨之梦
     第二章 布尔把逻辑变成代数
     第三章 弗雷格:从突破到绝望
     第四章 康托尔:在无限中摸索
     第五章 希尔伯特的营救
     第六章 哥德尔使计划落空
     第七章 图灵构想通用计算机
     第八章 研制第一批通用计算机
     第九章 超越莱布尼茨之梦
     尾声
     注释
     参考书目
     索引
     译后记 
     
  • 内容简介:
    本书讲述了计算机思想层面的历史,通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。 
     
  • 作者简介:
      
    作者简介: 
    马丁·戴维斯(),计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一,他是纽约大学库朗数学科学研究所的荣誉教授,之后在加州大学伯克利分校做访问学者。 
      
    译者介绍: 
    张卜天,1979年9月生,师从。热爱哲学和科学史方面的翻译,研究方向为西方中世纪和近代早期科学思想史,研究领域主要集中在近代科学的起源和科学革命。 
     
  • 目录:
      
    引言
     第一章 莱布尼茨之梦
     第二章 布尔把逻辑变成代数
     第三章 弗雷格:从突破到绝望
     第四章 康托尔:在无限中摸索
     第五章 希尔伯特的营救
     第六章 哥德尔使计划落空
     第七章 图灵构想通用计算机
     第八章 研制第一批通用计算机
     第九章 超越莱布尼茨之梦
     尾声
     注释
     参考书目
     索引
     译后记 
     
查看详情
系列丛书 / 更多
第一推动丛书 综合系列:逻辑的引擎
第一推动丛书 综合系列:复杂
[美]梅拉妮·米歇尔 著
第一推动丛书 综合系列:逻辑的引擎
第一推动丛书 综合系列:皇帝新脑
[英]罗杰·彭罗斯 著
第一推动丛书 综合系列:逻辑的引擎
第一推动丛书 综合系列:伽利略的手指
彼得·阿特金斯 著;许耀刚 刘政 陈竹 译
第一推动丛书 综合系列:逻辑的引擎
第一推动丛书 综合系列:复杂的引擎
[美]约翰·梅菲尔德 著;唐璐 译
第一推动丛书 综合系列:逻辑的引擎
第一推动丛书 综合系列:未来50年
[美]约翰·布罗克曼 著;J·布洛克曼 编
第一推动丛书 综合系列:逻辑的引擎
第一推动丛书 综合系列:下一步是什么
马克斯·布罗克曼 编;王文浩 译
第一推动丛书 综合系列:逻辑的引擎
第一推动丛书 综合系列:真理与美
[美]S·钱德拉萨卡 著;杨建邺、王晓明 译