The Universal Computer pdf epub mobi txt 电子书 下载 2025
马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。
- 计算机
- 科学
- 数学
- 逻辑
- 计算机科学
- 学术
- 历史
- The
How do today's computers perform such a wide variety of tasks? Davis illustrates how the answer lies in the fact that computers are essentially engines of logic. Their hardware and software embodies concepts developed by logicians sugh as Gottfried Leibniz, Kurt Godel and Alan Turing.
具体描述
读后感
// 计算机科学是伪科学吗？ 这个问题曾经一度让我焦虑过好多天，作为一个理想成为科学家的人，这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学（computer science）后，内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...
评分（一） 有一阵，我突然非常爱看教育频道。那里正在热播迪斯尼的金牌节目：《艺术创想》。 这个节目里有很多出乎你意料的东西：废旧的报纸经过主持人的手能变成精美的画框，普通的布条亦能魔幻般变成绿荫场上一个个神采奕奕的足球名将。 有一回，主持人跑到某个学校的厨房...
评分 评分推荐程度：最好的科普之一，考虑到CS的学生对计算理论的数学根基掌握不是很好，本书很有帮助。 主题：这本书介绍的是自动计算思想发展的历史。 内容：不仅仅是科学家佚事的八卦，还把基本（数学）问题的思想史讲得很清楚。 原作者：大牛境界，从本质层次深入浅出的讲到了计...
评分* 计算通过在一条被划分成方格的纸带上写下符号来进行。 * 执行计算的人在每一步都只注意其中一个方格中的符号。 * 她的下一步将仅仅取决于这个符号和她当前的心灵状态。 * 她的下一步是这样的：她在当前注意的方格里写下一个符号，然后把注意力转向它左边或右边的相邻方格。 ...
用户评价
中文版叫“逻辑的引擎”
评分中文版叫“逻辑的引擎”
评分中文版叫“逻辑的引擎”
评分中文版叫“逻辑的引擎”
评分因为对太多的理论只能浅尝轭止，所以不喜欢读通论读物。最喜欢书里关于George Boole和Alan Turing的两章。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有