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

推动丛书综合系列:逻辑的引擎 下载 mobi epub pdf 电子书 2024


简体网页||繁体网页
[美] 马丁戴维斯 著

下载链接在页面底部
点击这里下载
    


想要找书就要到 新城书站
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-12-02

图书介绍


店铺: 墨林阁图书专营店
出版社: 湖南科技出版社
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 电子书 格式

推动丛书综合系列:逻辑的引擎 mobi 下载 pdf 下载 pub 下载 txt 电子书 下载 2024

推动丛书综合系列:逻辑的引擎 下载 mobi pdf epub txt 电子书 格式 2024

推动丛书综合系列:逻辑的引擎 下载 mobi epub pdf 电子书
想要找书就要到 新城书站
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

用户评价

评分

评分

评分

评分

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价

推动丛书综合系列:逻辑的引擎 mobi epub pdf txt 电子书 格式下载 2024


分享链接




相关图书


本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 book.cndgn.com All Rights Reserved. 新城书站 版权所有