Engines of Logic pdf epub mobi txt 电子书 下载 2025
马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。
- 逻辑
- 计算机科学
- 数学
- 科普
- 计算机
- logic
- mathematics
- 经典
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.
具体描述
读后感
计算机作为人类历史上最伟大的发明之一，我们一直称之为科技的进步，但是这本书告诉我们，这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管，更重要的是二极管和三极管怎么能构成这么一个神奇的东西，谁说可以有这样一个神奇的东...
评分是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书，希望能给我一本。不盛感谢。
评分每一章内各小节的组织比较乱，八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。 1.莱布尼兹大神最早提出一个想法，我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴，即布尔代数。 3.弗雷格发行了形式句法，使后人可...
评分 评分计算机作为人类历史上最伟大的发明之一，我们一直称之为科技的进步，但是这本书告诉我们，这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管，更重要的是二极管和三极管怎么能构成这么一个神奇的东西，谁说可以有这样一个神奇的东...
用户评价
作者所讲述的历程大多耳熟能详，唯一不太熟悉的是布尔代数。除了介绍历史普及知识，作者还顺便讲了不少八卦，颇有趣味。文末说，除了图灵之外其他人都未曾预见自己的工作会得到如此应用，无心插柳柳成行，科学的前进总是出乎意料，故而切莫短视，对科学家感到不耐烦，那一丁点牢骚，的确真实。
评分宋老师推荐的科普书，写的非常漂亮，不过还是有不少地方没看懂
评分宋老师推荐的科普书，写的非常漂亮，不过还是有不少地方没看懂
评分everything we have today comes from the very first idea of a mathematician: why not abstract everything?
评分英文原书不好读，充斥了大量的长难句和历史背景。但书的内容没得说，可以作为逻辑与计算的学习主线
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有