点击选择搜索分类
首页 - 政治/军事- 正文
☆☆☆☆☆
||
[美] 马丁戴维斯 著
店铺: 墨林阁图书专营店 出版社: 湖南科技出版社 ISBN:9787535794420 商品编码:29427585671 包装:平装-胶订 出版时间:2018-01-01
推动丛书综合系列:逻辑的引擎 电子书 下载 mobi epub pdf txt
推动丛书综合系列:逻辑的引擎-so88
推动丛书综合系列:逻辑的引擎 pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
[美] 马丁戴维斯 著
店铺: 墨林阁图书专营店 出版社: 湖南科技出版社 ISBN:9787535794420 商品编码:29427585671 包装:平装-胶订 出版时间:2018-01-01
基本信息
书名:推动丛书综合系列:逻辑的引擎
定价:49.00元
作者: 马丁戴维斯
出版社:湖南科技出版社
出版日期:2018-01-01
ISBN:9787535794420
字数:
页码:
版次:1
装帧:平装-胶订
开本:32开
商品重量:0.4kg
编辑推荐
本书被誉为从逻辑角度讲述计算机发展的很好通俗读本之一。读完该书你将对西方文化的核心逻辑有更深的理解,有助于形成一种敏锐的眼光和问题意识,可认识到复杂的东西是如何由简单的东西根据的规则组合而成。2018年新版的《*推动丛书》全新设计了版式和封面,简约个性,提升了阅读体验,让科普给你更多想象。随书附赠价值39.6元由汪洁、吴京平掰开揉碎,带你懂科学好书的《经典科普解读课》6折券。
内容提要
本书讲述了计算机思想层面的历史,通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。
目录
目录:
引言
章 莱布尼茨之梦
第二章 布尔把逻辑变成代数
第三章 弗雷格:从突破到绝望
第四章 康托尔:在无限中摸索
第五章 希尔伯特的营救
第六章 哥德尔使计划落空
第七章 图灵构想通用计算机
第八章 研制批通用计算机
第九章 莱布尼茨之梦
尾声
注释
参考书目
索引
译后记
作者介绍
作者简介:
马丁·戴维斯(Martin Davis),计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一,他是纽约大学库朗数学科学研究所的荣誉教授,之后在加州大学伯克利分校做访问学者。
译者介绍:
张卜天,1979年9月生,师从吴国盛。热爱哲学和科学史方面的翻译,研究方向为西方中世纪和近代早期科学思想史,研究领域主要集中在近代科学的起源和科学革命。
文摘
序言
推动丛书综合系列:逻辑的引擎 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- 宇宙之眼 哈勃空间望远镜全揭秘(第3版)
- 明亮的对话:公共说理十八讲
- 麦田怪圈:大自然的绝密符号 9787519501488
- 三级口译全国翻译资格水平考试 英语口译实务3级 教材+配套训练+常用词语词汇+综合能力全套6册
- 天气与我们的生活
- 循环流化床锅炉机组控制系统调试及运行技术
- 正版 小博物家的大百科 一问一答翻翻书 恐龙大发现 科普百科 百科问答翻翻书 3-6岁翻
- 航天器相对运动轨道动力学与控制
- 等待探索的神秘悬疑
- 万万没想到:西游记 可以这样读(套装上下册)
- 海南 白沙黎族自治县概况——中国少数民族自治地方概况丛书 9787105086764
- 电机与拖动基础(第4版)学习指导
- 中国海洋学会学术期刊论文精品集
- 希腊的遗产
- 淌过博物馆(XX版) 梁进