登入帳戶  | 訂單查詢  | 購物車/收銀台(0) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入   新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

新書上架簡體書 繁體書
暢銷書架簡體書 繁體書
好書推介簡體書 繁體書

11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書

『簡體書』第一推动丛书 综合系列:第一推动丛书 综合系列:逻辑的引擎

書城自編碼: 3136871
分類:簡體書→大陸圖書→科普讀物宇宙知识
作者: [美] 马丁?戴维斯
國際書號(ISBN): 9787535794420
出版社: 湖南科技出版社
出版日期: 2018-01-01
版次: 1

書度/開本: 32开 釘裝: 平装

售價:HK$ 69.6

我要買

share:

** 我創建的書架 **
未登入.


新書推薦:
《诗经》十五讲 十五堂《诗经》历史文化与文学课  丹曾人文通识丛书
《 《诗经》十五讲 十五堂《诗经》历史文化与文学课 丹曾人文通识丛书 》

售價:HK$ 86.9
述异记汇笺及情节单元分类研究(上下册)
《 述异记汇笺及情节单元分类研究(上下册) 》

售價:HK$ 104.5
环境、社会、治理(ESG)信息披露操作手册
《 环境、社会、治理(ESG)信息披露操作手册 》

售價:HK$ 261.8
桑德拉销售原则   伍杰 [美]大卫·马特森
《 桑德拉销售原则 伍杰 [美]大卫·马特森 》

售價:HK$ 96.8
理论的意义
《 理论的意义 》

售價:HK$ 74.8
悬壶杂记:医林旧事
《 悬壶杂记:医林旧事 》

售價:HK$ 52.8
谁之罪?(汉译世界文学5)
《 谁之罪?(汉译世界文学5) 》

售價:HK$ 52.8
民国词社沤社研究
《 民国词社沤社研究 》

售價:HK$ 140.8

 

建議一齊購買:

+

HK$ 83.8
《第一推动丛书 综合系列:第一推动丛书 综合系列:复杂的引擎》
+

HK$ 55.4
《第一推动丛书 综合系列:第一推动丛书 综合系列:数学的意义》
+

HK$ 98.0
《第一推动丛书 综合系列:第一推动丛书 综合系列:复杂》
+

HK$ 73.5
《奇妙数学史 从早期的数字概念到混沌理论》
+

HK$ 102.0
《数学巨匠——从欧拉到冯·诺依曼》
編輯推薦:
本书被誉为从逻辑角度讲述计算机发展的很好通俗读本之一。
读完该书你将对西方文化的核心逻辑有更深的理解,有助于形成一种敏锐的眼光和问题意识,可认识到复杂的东西是如何由简单的东西根据一定的规则组合而成。
2018年新版的《*推动丛书》全新设计了版式和封面,简约个性,提升了阅读体验,让科普给你更多想象。
随书附赠价值39.6元由汪洁、吴京平掰开揉碎,带你懂科学好书的《经典科普解读课》6折券。
內容簡介:
本书讲述了计算机思想层面的历史,通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。
關於作者:
作者简介:
马丁戴维斯(Martin Davis),计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一,他是纽约大学库朗数学科学研究所的荣誉教授,之后在加州大学伯克利分校做访问学者。

译者介绍:
张卜天,1979年9月生,师从吴国盛。热爱哲学和科学史方面的翻译,研究方向为西方中世纪和近代早期科学思想史,研究领域主要集中在近代科学的起源和科学革命。
目錄
目录:

引言
第一章 莱布尼茨之梦
第二章 布尔把逻辑变成代数
第三章 弗雷格:从突破到绝望
第四章 康托尔:在无限中摸索
第五章 希尔伯特的营救
第六章 哥德尔使计划落空
第七章 图灵构想通用计算机
第八章 研制第一批通用计算机
第九章 超越莱布尼茨之梦
尾声
注释
参考书目
索引
译后记
內容試閱
前言

本书讲述的是我们的现代计算机背后的那些基本概念和发展出这些概念的人。1951年春,当我在阿兰图灵(Alan
Turing)本人曾于10年前工作过的普林斯顿大学获得了数理逻辑博士学位之后不久,我便在伊利诺伊大学讲授一门以他的思想为基础的课程。有一位一直在听我的讲座的年轻的数学家使我注意到教室的街对面正在建造的两台机器,他认为它们就是图灵观念的物理体现。不久,我就在为这些早期的计算机编写软件了。我持续了半个多世纪的职业生涯便是围绕着现代计算机背后的抽象逻辑概念与它们的物理实现之间的关系而展开的。
计算机从20世纪50年代的塞满整个房间的庞然大物,逐渐演变成今天轻巧而强大的能够完成各种任务的机器,在这整个过程中,其背后的逻辑始终保持如一。这些逻辑概念是几个世纪以来数位天才思想家一步步发展出来的。在本书中,我将讲述这些人的生活故事,并解释他们的部分思想。这些故事本身是引人入胜的,我希望读者们不仅能够喜欢它们,而且在读完之后能够更加了解计算机内部的秘密,同时对抽象思想的价值多一份敬意。
在本书写作过程中,我曾得益于各种各样的帮助。约翰西蒙古根海姆纪念基金会在研究的早期阶段提供了热情的经济资助,正是当时所做的那些研究才使本书得以问世。 Patricia Bl an-chette, Michael Friedman,
Andrew Hodges, Lothar Kreiser和Benson Mates慷慨地与我分享他们那些专业知识。Tony
Sale友好地充当了我游览布莱奇利庄园的导游,图灵曾于二战期间在那里对破译德军的秘密通讯起了关键性的作用。Eloise
Segal是一位忠实而热心的读者,他帮助我避免了解释方面的缺陷,可惜,他在这本书写成之前就离开了这个世界。我的妻子弗吉尼亚竭力使我避免行文含糊不清。Sher
man Ste in极为认真地读了原稿,提出了许多改进意见,而且纠正了我的几处错误。我还得益于Eg
on Bor ger, William Craig, Michael Richter, Alexis Manaster Ramer, Wilfried
Sieg和Fra nsco is Treves等人的翻译。提出有益建议的其他读者还有:Harold
Davis, Nathan Davis, Jack Feldman, Meyer Garber, Dick and Peggy K uhns和Alberto
Policriti。我在WW诺顿公司的编辑Ed
Barber用他那关于英语散文的学识慷慨地对本书加以润色,多处改进都直接得益于此。H
arol d R abin owi tz向我引见了我的代理商Alex Hoyt,后者自始至终都在帮助我。当然,这一长串名字只是要表达我的感激之情,而不是要使我摆脱本书不足之处的责任。有关评论或修正,读者可发邮件至davis@eipye.com,我将心怀感激。
马丁戴维斯
伯克利,2000年1月2日

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 海外用户
megBook.com.hk
Copyright © 2013 - 2024 (香港)大書城有限公司  All Rights Reserved.