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

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

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

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

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

下载链接在页面底部

点击这里下载

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

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-05-18

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

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

逻辑的引擎电子书读后感

评分☆☆☆☆☆

如今计算机已成为人类社会生活必不可少的一部分，潜入了人类社会生活的方方面面，计算机技术不仅促进了现代社会，而且也是现代社会的一个特征。在人们的观念中，计算机技术发展不过一个世纪，但其突飞猛进的发展速度已经超过了其他任何技术的发展；特别是近30年来，材料、工程...

评分☆☆☆☆☆

1. 感觉这才是真正的计算机导论。同时发现19世纪到20世纪初的大牛几乎都是早慧的天才，最重要的贡献在30出头那会几乎都已完成。估计跟那个时候没有很强的专业壁垒，而且都是通识教育，可以更早的不受限的进行自由的探索有关。 2. 像某人说的，现在我们看似直接的定义和理论，...

评分☆☆☆☆☆

俺最喜欢结尾的这句话： 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...

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

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

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

出品人:

页数:0

译者:张卜天

出版时间:2018-1

价格:49.00

装帧:平装

isbn号码:9787535794420

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

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

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

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

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

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

看了一半，未看完！

评分☆☆☆☆☆

了解真实的历史

评分☆☆☆☆☆

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