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

简体网页||繁体网页

☆☆☆☆☆

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

出版者:W. W. Norton & Company

作者:Martin Davis

出品人:

页数:272

译者:

出版时间:2001-09

价格:USD 19.95

装帧:Paperback

isbn号码:9780393322293

丛书系列:

图书标签:

逻辑
计算机科学
数学
科普
计算机
logic
mathematics
经典

下载链接在页面底部

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

想要找书就要到小美书屋

book.quotespace.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

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.

具体描述

读后感

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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