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

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

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

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

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

下载链接在页面底部

点击这里下载

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

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-11-02

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

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

逻辑的引擎电子书读后感

评分☆☆☆☆☆

用图灵在一次演讲的话可以贯穿本书的核心内容： ”我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。“ 图灵通过细致的观察基本的数学运算，并将数学运算符号化为五元运...

评分☆☆☆☆☆

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

评分☆☆☆☆☆

去图书馆翻了一本中意的书出来，叫逻辑的引擎。还没有细细地看，只是粗翻了一下，大概就是一个对计算机逻辑模型有巨大贡献的科学家的一个小小的传记。当然，它更像是一部计算机发展（逻辑上，而非工程上）简史。说它是传记，甚至说是历史，但是它不是那么地容易读的，读者需要...

评分☆☆☆☆☆

// 计算机科学是伪科学吗？这个问题曾经一度让我焦虑过好多天，作为一个理想成为科学家的人，这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学（computer science）后，内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激但其...

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

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

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

出品人:

页数:293

译者:张卜天

出版时间:2005-5

价格:20.00元

装帧:平装

isbn号码:9787535742391

丛书系列:第一推动丛书

图书标签: 逻辑科普计算机数学计算机科学计算机史哲学逻辑的引擎

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

本书介绍了现代计算机背后的那些基本概念和发展这些概念的人，描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。

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

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

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

评分☆☆☆☆☆

通用计算机威武

评分☆☆☆☆☆

莱布尼兹、布尔、弗雷格、康托尔、希伯特、哥德尔、图灵。逻辑数学，形式逻辑，并通过工程学转换为当代机器和人工智能

评分☆☆☆☆☆

读过后第一次把多年攒下的碎片连缀在一起，此刻回头去看，才明白当初以为正确的方向即使不算是偏离，也是在绕远。许多线索明明已在手边，却由于缺乏更宏观的视野，越不过那最后一层薄薄的阻碍，曾经最看重的观念带来激励的同时，也造成了最大的局限。其实关于身心问题的答案并不在哲学之中，更不在心理学之中，维也纳小组之后如果能明白哥德尔的真正意义，也许也就能明白逻辑学如何与工程结合，不至在概念的海洋里迷失。现在再读到，是否算是一切平息后对孤独的报偿？可是还是晚了。

评分☆☆☆☆☆

发现每本数理逻辑的科普几乎都在说相同的东西

评分☆☆☆☆☆

牛虻的作者是布尔的闺女

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