Engines of Logic pdf epub mobi txt 电子书下载 2025

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

Martin Davis

W. W. Norton & Company

2001-09

272

USD 19.95

Paperback

9780393322293

图书标签: 逻辑计算机科学数学科普计算机 logic mathematics 经典

喜欢 Engines of Logic 的读者还喜欢

下载链接在页面底部

点击这里下载

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

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

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2025-01-08

Engines of Logic epub 下载 mobi 下载 pdf 下载 txt 电子书下载 2025

Engines of Logic pdf epub mobi txt 电子书下载 2025

图书描述

Computers are ubiquitous yet to many they remain objects of irreducible mystery. This text looks at the question of how today's computers can perform such a variety of tasks if computing is just glorified arithmetic. The author illustrates how the answer lies in the fact that computers are essentially engines of logic and that their hardware and software embody concepts developed over centuries by logicians. "Engines of Logic" gives the reader a clear explanation of how and why computers work.

Engines of Logic 下载 mobi epub pdf txt 电子书

著者简介

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

图书目录

Engines of Logic pdf epub mobi txt 电子书下载

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

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

用户评价

评分☆☆☆☆☆

everything we have today comes from the very first idea of a mathematician: why not abstract everything?

评分☆☆☆☆☆

莱布尼茨－布尔－弗雷格－康托尔－罗素－希尔伯特－哥德尔－图灵－冯诺依曼。不过it's still not clear how Godel incompleteness theorem is related to Turing's universal machine.

评分☆☆☆☆☆

感觉就是介绍每个人物的生平然后再简略介绍下工作。。。

评分☆☆☆☆☆

英文原书不好读，充斥了大量的长难句和历史背景。但书的内容没得说，可以作为逻辑与计算的学习主线

读后感

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

Engines of Logic pdf epub mobi txt 电子书下载 2025