逻辑的引擎的书评 (39)

铂程斋@喷嚏网 2009-06-10 11:50:35 湖南科学技术出版社2005版

幸运的水母

(一) 有一阵,我突然非常爱看教育频道。那里正在热播迪斯尼的金牌节目:《艺术创想》。 这个节目里有很多出乎你意料的东西:废旧的报纸经过主持人的手能变成精美的画框,普通的布条亦能魔幻般变成绿荫场上一个个神采奕奕的足球名将。 有一回,主持人跑到某个学校的厨房...  (展开)
矩阵 2011-04-26 14:41:26 湖南科学技术出版社2005版

理一下各位大仙们贡献

每一章内各小节的组织比较乱,八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。 1.莱布尼兹大神最早提出一个想法,我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴,即布尔代数。 3.弗雷格发行了形式句法,使后人可...  (展开)
fats 2006-08-23 17:05:40 湖南科学技术出版社2005版

自动计算机器的逻辑本质

推荐程度:最好的科普之一,考虑到CS的学生对计算理论的数学根基掌握不是很好,本书很有帮助。 主题:这本书介绍的是自动计算思想发展的历史。 内容:不仅仅是科学家佚事的八卦,还把基本(数学)问题的思想史讲得很清楚。 原作者:大牛境界,从本质层次深入浅出的讲到了计...  (展开)
劈马喂柴 2009-06-01 15:34:03 湖南科学技术出版社2005版

什么样的书是好书 —— 关于《逻辑的引擎》

这篇书评可能有关键情节透露

这是一本适合数学系或计算机系本科生阅读的书,它会让你在乏味的学习之余体会到很多乐趣。对于我而言更是有“相逢恨晚”的感觉。它讲出了一些我所知道的东西,所以能看懂,也讲出了一些我不知道的东西,所以很有趣;但最重要的是,它引导我思考,让我明白了程序员“是谁,从哪...  (展开)
百毒 2007-11-10 12:02:19 湖南科学技术出版社2005版

我想看更多……

这篇书评可能有关键情节透露

首先这书题目真不错,《逻辑的引擎》,嗯,用来描述计算机确实再合适不过了。 前些日子重新读了数字电路的书,感觉这一条线几乎一路上都是由各种天才推动的。每一个天才都以他们独特的智慧,提出了各种构想。在有了构想之后把想法变成一种基于这种想法的硬件实现,相对就是一...  (展开)
Ginko-X 2018-05-30 22:56:25 湖南科学技术出版社2005版

计算机科学是伪科学吗?

// 计算机科学是伪科学吗? 这个问题曾经一度让我焦虑过好多天,作为一个理想成为科学家的人,这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学(computer science)后,内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...  (展开)
水龙吟 2010-11-22 18:18:37 湖南科学技术出版社2005版

一本真诚感人深刻的书

很美很感人的科普著作,对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的,“真正的智慧,从觉醒之日起,就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...  (展开)
Marine 2023-01-28 23:05:14

纪念 Martin Davis

这篇书评可能有关键情节透露

原文链接: https://mp.weixin.qq.com/s/iY0Un2EO5j0t7hPNzwEBoQ 剧透注意:我隐约感觉《三体》的写作受本书影响。下文会解释几处可能的关联,可能会透露某些《三体》第一、二部的情节。 马丁·戴维斯(Martin Davis),20 世纪著名的数学家、计算机科学家,于 2023 年 1 月 1 ...  (展开)
山口帝国作用子 2021-09-12 03:25:19

计算机哲学作为一场梦

本来是对人工智能哲学感兴趣才去翻了翻,想知道计算机发展的主要历史,以及图灵机的相关内容。不过到头来除了对超穷数有了更多理解,对图灵机地运行规则有了些许理解,其他都关注在各位人类学者的人格魅力上了。这本书讲的是计算机发明所需要的逻辑知识的发展历史,而发明者终...  (展开)
太阳是黑色的 2007-06-02 10:29:26 湖南科学技术出版社2005版

希望了解计算机的人必读

“我们常常从工程的角度去理解计算机,却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼,几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动,平实。很多数学原理讲解地非常浅显易懂。 2. 不...  (展开)
陈炬 2006-08-22 00:04:43 湖南科学技术出版社2005版

还要有题目-_-

去图书馆翻了一本中意的书出来,叫逻辑的引擎。还没有细细地看,只是粗翻了一下,大概就是一个对计算机逻辑模型有巨大贡献的科学家的一个小小的传记。当然,它更像是一部计算机发展(逻辑上,而非工程上)简史。 说它是传记,甚至说是历史,但是它不是那么地容易读的,读者需要...  (展开)
新农人小川川 2018-11-12 21:19:26 湖南科学技术出版社2005版

《逻辑的引擎》阅后一结

这篇书评可能有关键情节透露

逻辑的引擎 ---马丁·戴维斯 作者还有一本书《可计算性与不可解性》。 ---正文 -- 粗略地说,计算机技术可以分为两大部分,其一是工程实现方面,另一则是它的思想或逻辑层面。作者认为,计算机实际上是逻辑机器,它的电路体现了几个世纪以来一大批逻辑学家所提出的观点之精华,...  (展开)
安德鲁 2009-09-27 18:01:41 湖南科学技术出版社2005版

摘录

* 计算通过在一条被划分成方格的纸带上写下符号来进行。 * 执行计算的人在每一步都只注意其中一个方格中的符号。 * 她的下一步将仅仅取决于这个符号和她当前的心灵状态。 * 她的下一步是这样的:她在当前注意的方格里写下一个符号,然后把注意力转向它左边或右边的相邻方格。 ...  (展开)
marego 2008-07-21 15:57:59 湖南科学技术出版社2005版

值得阅读和深思的著作

俺最喜欢结尾的这句话: The Dukes of Hanover thought they knew what Leibniz should be doing with his time: working on their family history. Too often today, those who provide scientists with the resources for their lives and work try to steer them in direc...  (展开)
冰男 2020-03-20 00:50:05 湖南科学技术出版社2005版

理论与实践

如今计算机已成为人类社会生活必不可少的一部分,潜入了人类社会生活的方方面面,计算机技术不仅促进了现代社会,而且也是现代社会的一个特征。在人们的观念中,计算机技术发展不过一个世纪,但其突飞猛进的发展速度已经超过了其他任何技术的发展;特别是近30年来,材料、工程...  (展开)
arber 2011-11-18 21:40:48 湖南科学技术出版社2005版

观念的力量

1. 感觉这才是真正的计算机导论。同时发现19世纪到20世纪初的大牛几乎都是早慧的天才,最重要的贡献在30出头那会几乎都已完成。估计跟那个时候没有很强的专业壁垒,而且都是通识教育,可以更早的不受限的进行自由的探索有关。 2. 像某人说的,现在我们看似直接的定义和理论,...  (展开)
阿江 2011-06-01 22:08:52 湖南科学技术出版社2005版

计算机的数理逻辑基础

这本书的主要内容就是介绍数学中的一些最基本的思想是如何一步步发展成为计算机的理论基础的。 作者本人是学数学出身的,后来从计算机诞生之时起就从事相关工作,作为一个专业人员来解释相关的内容,确实是游刃有余。 作者从数学专业本身出发解释一些用于计算机的数理逻辑的问...  (展开)
wellwolf 2010-04-21 21:54:33 湖南科学技术出版社2005版

计算机------数学大道上顺便摘得的果实

计算机作为人类历史上最伟大的发明之一,我们一直称之为科技的进步,但是这本书告诉我们,这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管,更重要的是二极管和三极管怎么能构成这么一个神奇的东西,谁说可以有这样一个神奇的东...  (展开)
llq 2007-11-25 21:01:07 W. W. Norton & Company2001版

是本好书

是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书,希望能给我一本。不盛感谢。  (展开)
iscream208 2023-10-17 13:26:55

逻辑的引擎

计算机是逻辑机器。逻辑学家的贡献。 一、莱布尼茨 莱布尼茨,对符号编码系统的着迷。将推理和数学用一套语言来包括,因此只用这种语言就能进行推理验算。只要看一下句子就知道命题间的逻辑关系。而这种语言能表述出来的都是合乎逻辑不是荒诞不经的话 莱布尼茨认为代数的一个核...  (展开)
<前页 1 2 后页> (共39条)

订阅逻辑的引擎的书评