逻辑的引擎 2025 pdf epub mobi 电子书

☆☆☆☆☆
简体网页||繁体网页

逻辑的引擎 2025 pdf epub mobi 电子书著者简介

马丁•戴维斯（Martin Davis），计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一，他是纽约大学库朗数学科学研究所的荣誉教授，之后在加州大学伯克利分校做访问学者。

逻辑的引擎电子书图书目录

下载链接在页面底部

下载链接1
下载链接2
下载链接3

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2025-03-03

逻辑的引擎 2025 pdf epub mobi 电子书

喜欢逻辑的引擎电子书的读者还喜欢

逻辑的引擎电子书读后感

评分☆☆☆☆☆

（一）有一阵，我突然非常爱看教育频道。那里正在热播迪斯尼的金牌节目：《艺术创想》。这个节目里有很多出乎你意料的东西：废旧的报纸经过主持人的手能变成精美的画框，普通的布条亦能魔幻般变成绿荫场上一个个神采奕奕的足球名将。有一回，主持人跑到某个学校的厨房...

评分☆☆☆☆☆

* 计算通过在一条被划分成方格的纸带上写下符号来进行。 * 执行计算的人在每一步都只注意其中一个方格中的符号。 * 她的下一步将仅仅取决于这个符号和她当前的心灵状态。 * 她的下一步是这样的：她在当前注意的方格里写下一个符号，然后把注意力转向它左边或右边的相邻方格。 ...

评分☆☆☆☆☆

推荐程度：最好的科普之一，考虑到CS的学生对计算理论的数学根基掌握不是很好，本书很有帮助。主题：这本书介绍的是自动计算思想发展的历史。内容：不仅仅是科学家佚事的八卦，还把基本（数学）问题的思想史讲得很清楚。原作者：大牛境界，从本质层次深入浅出的讲到了计...

评分☆☆☆☆☆

是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书，希望能给我一本。不盛感谢。

评分☆☆☆☆☆

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

出版者:湖南科学技术出版社

作者:[美] 马丁•戴维斯

出品人:

页数:0

译者:张卜天

出版时间:2018-1

价格:49.00

装帧:平装

isbn号码:9787535794420

丛书系列:第一推动丛书：综合系列

图书标签: 计算机逻辑学科普数学逻辑第一推动丛书计算机科学科学

逻辑的引擎 2025 pdf epub mobi 电子书图书描述

本书讲述了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。

逻辑的引擎 2025 pdf epub mobi 电子书

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

逻辑的引擎 2025 pdf epub mobi 用户评价

评分☆☆☆☆☆

康托尔连续统假设、哥德尔不完备性定理、逻辑与机器的关系没有明白

评分☆☆☆☆☆

讲弗雷格、希尔伯特与哥德尔三人的部分个人最感兴趣。早先阅读过弗雷格的某部著作，但当时吸收不深。按照哥德尔的思路，似乎可以将某个公理体系作为一个整体，对公理体系的“序列”也可以不断逼近极限。“无限”究竟是否能够达到一个“完成”的状态而能够拿来直接使用？事实上，分析领域的许多内容正是围绕“极限”作文章。逻辑、符号演算、语言哲学这些内容是个人之前（刻意）较少接触的，其实也很难在一部小书中充分领略。后半部分叙述图灵、冯诺依曼、通用计算机等内容，个人就没那么感兴趣，而关于计算机历史以及代表人物，有很多更好的科普书籍。谈到冯诺依曼“虚荣”的性格，似乎也并不那么令人惊讶。另外，我觉得此系列新版的包装并不如原来的好。

评分☆☆☆☆☆

从某种程度上而言，计算机是数学思维的产物

评分☆☆☆☆☆

现代计算机的大厦是用许多不起眼却重要的砖块建起来的，数学逻辑是其中重要的一部分。本书以数学史上重要的科学家为主线，将数学逻辑符号化可运算的发展历史娓娓道来.

评分☆☆☆☆☆

数理逻辑推荐的科普读物，作为数理逻辑科普的话只看图灵之前就可以了，但如果这样，这本书写的过于“普”了；我更推荐《哥德尔证明》。/ 图灵之后对于计算机的介绍更适合我们这些哲学系学生，但是过于技术的内容不太感兴趣所以只是草草翻过。/ 另外作者把人物轶事和理论混在一起的写法实在不好，而且人物轶事过丰富了… / 但还是补了很多课，最重要的是布尔和康托尔，这两个人并没有在《哥德尔证明》那本书中单独出现。

逻辑的引擎 2025 pdf epub mobi 电子书