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

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

[美] 马丁·戴维斯

湖南科学技术出版社

张卜天

2005-5

293

20.00元

平装

第一推动丛书

9787535742391

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

喜欢逻辑的引擎的读者还喜欢

下载链接在页面底部

点击这里下载

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

想要找书就要到小哈图书下载中心

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-05-18

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

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

图书描述

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

逻辑的引擎下载 mobi epub pdf txt 电子书

著者简介

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

图书目录

逻辑的引擎 pdf epub mobi txt 电子书下载

想要找书就要到小哈图书下载中心

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

用户评价

评分☆☆☆☆☆

虽然本书讲的是逻辑数学的发展但我觉得作者有些许语无伦次的倾向你得费劲力气才能在各个数学家的个人简史中过滤出跟逻辑数学有关的部分然而随后发现你根本无法在作者的引导下理清各个数学家的成就之间的循序渐进的逻辑关系今晚硬着头皮看完了前三章明天直接跳过四五六从七八章开始看算了

评分☆☆☆☆☆

尼玛原来哥德尔有个机油也叫Karl Menger....

评分☆☆☆☆☆

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

评分☆☆☆☆☆

学校买了本旧书

评分☆☆☆☆☆

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

读后感

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

“我们常常从工程的角度去理解计算机，却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼，几代人对计算、对逻辑苦苦的追寻和贡献。这本书有几个没想到: 1. 生动，平实。很多数学原理讲解地非常浅显易懂。 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...

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

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