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

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

[美] 马丁•戴维斯作者

湖南科学技术出版社

张卜天译者

2018-1 出版日期

0 页数

49.00 价格

平装

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

9787535794420 图书编码

逻辑的引擎在线电子书图书标签: 计算机逻辑学科普数学逻辑第一推动丛书计算机科学科学

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

下载链接在页面底部

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

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2025-02-16

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

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

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

逻辑的引擎在线电子书用户评价

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

有些地方的翻译-1星有些看不懂 momo送的

评分☆☆☆☆☆

一般

逻辑的引擎在线电子书著者简介

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

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

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

逻辑的引擎在线电子书图书描述

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

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

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

逻辑的引擎在线电子书读后感

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为，卡斯帕罗夫被深蓝击败是个阴谋，其实他是收了IBM的钱故意放水的。且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉，也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气，我只说刘老的观点：...

评分☆☆☆☆☆

俺最喜欢结尾的这句话： 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 下载 txt下载 epub 下载 mobi 下载 2025