具体描述
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.
作者简介
马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。
目录信息
读后感
“我们常常从工程的角度去理解计算机，却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼，几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动，平实。很多数学原理讲解地非常浅显易懂。 2. 不...
评分 评分是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书，希望能给我一本。不盛感谢。
评分如今计算机已成为人类社会生活必不可少的一部分，潜入了人类社会生活的方方面面，计算机技术不仅促进了现代社会，而且也是现代社会的一个特征。在人们的观念中，计算机技术发展不过一个世纪，但其突飞猛进的发展速度已经超过了其他任何技术的发展；特别是近30年来，材料、工程...
评分去图书馆翻了一本中意的书出来，叫逻辑的引擎。还没有细细地看，只是粗翻了一下，大概就是一个对计算机逻辑模型有巨大贡献的科学家的一个小小的传记。当然，它更像是一部计算机发展（逻辑上，而非工程上）简史。 说它是传记，甚至说是历史，但是它不是那么地容易读的，读者需要...
用户评价
因为对太多的理论只能浅尝轭止，所以不喜欢读通论读物。最喜欢书里关于George Boole和Alan Turing的两章。
评分中文版叫“逻辑的引擎”
评分因为对太多的理论只能浅尝轭止，所以不喜欢读通论读物。最喜欢书里关于George Boole和Alan Turing的两章。
评分中文版叫“逻辑的引擎”
评分中文版叫“逻辑的引擎”
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有