读过"逻辑的引擎"的豆瓣成员

1231人参与评价  · · · · · ·

8.5

力荐
39.1%
推荐
46.8%
还行
12.0%
较差
1.7%
很差
0.4%

每周参与评价的人数(最近3个月内)

1508人读过 364人在读 4997人想读
钱呐

2019-05-12

CrazyCat

2019-05-12

A Guinea Pig

2019-05-10

队长别开枪

2019-05-07

Sun.

2019-04-22      tags: 逻辑 计算机

喜马拉雅猫

2019-04-15

谁拿了我的冰盒

2019-04-14

计算机背后思想发展的历史,看各路神仙打架,精彩的不行。

不得了啦

2019-04-14

佚名

2019-04-11

所有的逻辑科普都有布尔代数,罗素悖论,康托儿对角线。看一两本就算了。

huyan00

2019-04-11

辰丁

2019-02-26

书不厚,正文部分也就230多页,但涉及到了计算机逻辑产生的历史的重要人物和节点。之前读过图灵传,可是还是没有很好的理解通用计算机模型,但在这里,虽然图灵的部分只有几十页,依然可以清晰的理解他的模型,因为作者把图灵理论的起因交代清楚了,而通用机只是图灵证明判定问题的工具。之前也看过哥德尔证明,大概能理解,此书也是在极小的篇幅内给出了解释,也是因为讲清楚了起因而更容易理解。另外,莱布尼茨、布尔、弗雷格、康托尔、希尔伯特也都是重要节点。这是我看到讲计算机逻辑思想的最好的书。

西布

2019-02-25

2019-02-25:计算机科学的入门参考书,介绍300年来逻辑学家与计算机起源的故事。计算机实质是逻辑机器,逻辑引擎源自亚里斯多德、莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵、冯诺伊曼…。最后一章探讨逻辑和计算/心灵和机器,哥德尔-塞尔-彭罗斯论证,依然没有明确结论。/译文流畅,明显好于“皇帝新脑”。

KennyJHY

2019-02-22

Beatrice

2019-02-25

believedxh

2019-02-16

公羊说

2019-02-09

发条

2019-02-09      tags: 逻辑 数学 计算机史

逻辑思维的参考书目

风之旅人xy

2019-02-08      tags: 计算机史 科普

讲了两个东西:图灵,图灵机。其他叙述历史

dongxu.h

2019-02-06

很好的一本数理逻辑的入门书

Haffner

2019-01-31

弘大 通透

逻辑的引擎
译者: 张卜天
作者: [美] 马丁·戴维斯
原作名: Engines of logic
isbn: 9787535742391
书名: 逻辑的引擎
页数: 293
定价: 20.00元
出版社: 湖南科学技术出版社
装帧: 平装
出版年: 2005-5

去"逻辑的引擎"的页面