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.
马丁·戴维斯是计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授,目前在加州大学伯克利分校做访问学者。
这本书的主要内容就是介绍数学中的一些最基本的思想是如何一步步发展成为计算机的理论基础的。 作者本人是学数学出身的,后来从计算机诞生之时起就从事相关工作,作为一个专业人员来解释相关的内容,确实是游刃有余。 作者从数学专业本身出发解释一些用于计算机的数理逻辑的问...
评分* 计算通过在一条被划分成方格的纸带上写下符号来进行。 * 执行计算的人在每一步都只注意其中一个方格中的符号。 * 她的下一步将仅仅取决于这个符号和她当前的心灵状态。 * 她的下一步是这样的:她在当前注意的方格里写下一个符号,然后把注意力转向它左边或右边的相邻方格。 ...
评分// 计算机科学是伪科学吗? 这个问题曾经一度让我焦虑过好多天,作为一个理想成为科学家的人,这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学(computer science)后,内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...
评分计算机作为人类历史上最伟大的发明之一,我们一直称之为科技的进步,但是这本书告诉我们,这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管,更重要的是二极管和三极管怎么能构成这么一个神奇的东西,谁说可以有这样一个神奇的东...
评分感觉就是介绍每个人物的生平然后再简略介绍下工作。。。
评分who knows all the great mathmaticians all struggled with god's existence ...
评分From Math to Computer Science
评分宋老师推荐的科普书,写的非常漂亮,不过还是有不少地方没看懂
评分莱布尼茨-布尔-弗雷格-康托尔-罗素-希尔伯特-哥德尔-图灵-冯诺依曼。不过it's still not clear how Godel incompleteness theorem is related to Turing's universal machine.
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有