逻辑的引擎 在线电子书 图书标签: 计算机 逻辑学 科普 数学 逻辑 第一推动丛书 计算机科学 科学
发表于2024-06-06
逻辑的引擎 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
「除了圖靈,他們之中沒有一個人意識到自己的工作可以被如此應用。」
评分关于希尔伯特和哥德尔的部分没太读懂,但是对于图灵机的引入和介绍都十分优秀。
评分一部逻辑学在计算机方面的发展史,可以看到巨星闪耀
评分作者对推动计算机发展的逻辑发展史给出了一个十分全面的描绘,书中各种观念和概念的解释也跟到位,信息量很大,但也有很多地方解释的不够透彻,可以以这本书为框架再分别对里面的概念进行研究。 此外,该书的排版实在有点随便了。 ps:话说推理和演算的关系到底该如何理解?
评分关于希尔伯特和哥德尔的部分没太读懂,但是对于图灵机的引入和介绍都十分优秀。
马丁•戴维斯(Martin Davis),计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一,他是纽约大学库朗数学科学研究所的荣誉教授,之后在加州大学伯克利分校做访问学者。
本书讲述了计算机思想层面的历史,通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。
很美很感人的科普著作,对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的,“真正的智慧,从觉醒之日起,就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...
评分计算机作为人类历史上最伟大的发明之一,我们一直称之为科技的进步,但是这本书告诉我们,这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管,更重要的是二极管和三极管怎么能构成这么一个神奇的东西,谁说可以有这样一个神奇的东...
评分推荐程度:最好的科普之一,考虑到CS的学生对计算理论的数学根基掌握不是很好,本书很有帮助。 主题:这本书介绍的是自动计算思想发展的历史。 内容:不仅仅是科学家佚事的八卦,还把基本(数学)问题的思想史讲得很清楚。 原作者:大牛境界,从本质层次深入浅出的讲到了计...
评分* 计算通过在一条被划分成方格的纸带上写下符号来进行。 * 执行计算的人在每一步都只注意其中一个方格中的符号。 * 她的下一步将仅仅取决于这个符号和她当前的心灵状态。 * 她的下一步是这样的:她在当前注意的方格里写下一个符号,然后把注意力转向它左边或右边的相邻方格。 ...
评分(一) 有一阵,我突然非常爱看教育频道。那里正在热播迪斯尼的金牌节目:《艺术创想》。 这个节目里有很多出乎你意料的东西:废旧的报纸经过主持人的手能变成精美的画框,普通的布条亦能魔幻般变成绿荫场上一个个神采奕奕的足球名将。 有一回,主持人跑到某个学校的厨房...
逻辑的引擎 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024