Engines of Logic pdf epub mobi txt 电子书 下载 2026
- 逻辑
- 计算机科学
- 数学
- 科普
- 计算机
- 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.
作者简介
马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。
目录信息
读后感
推荐程度：最好的科普之一，考虑到CS的学生对计算理论的数学根基掌握不是很好，本书很有帮助。 主题：这本书介绍的是自动计算思想发展的历史。 内容：不仅仅是科学家佚事的八卦，还把基本（数学）问题的思想史讲得很清楚。 原作者：大牛境界，从本质层次深入浅出的讲到了计...
评分（一） 有一阵，我突然非常爱看教育频道。那里正在热播迪斯尼的金牌节目：《艺术创想》。 这个节目里有很多出乎你意料的东西：废旧的报纸经过主持人的手能变成精美的画框，普通的布条亦能魔幻般变成绿荫场上一个个神采奕奕的足球名将。 有一回，主持人跑到某个学校的厨房...
评分是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书，希望能给我一本。不盛感谢。
评分前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为，卡斯帕罗夫被深蓝击败是个阴谋，其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉，也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气，我只说刘老的观点：...
评分用户评价
everything we have today comes from the very first idea of a mathematician: why not abstract everything?
评分everything we have today comes from the very first idea of a mathematician: why not abstract everything?
评分莱布尼茨－布尔－弗雷格－康托尔－罗素－希尔伯特－哥德尔－图灵－冯诺依曼。不过it's still not clear how Godel incompleteness theorem is related to Turing's universal machine.
评分感觉就是介绍每个人物的生平然后再简略介绍下工作。。。
评分作者所讲述的历程大多耳熟能详，唯一不太熟悉的是布尔代数。除了介绍历史普及知识，作者还顺便讲了不少八卦，颇有趣味。文末说，除了图灵之外其他人都未曾预见自己的工作会得到如此应用，无心插柳柳成行，科学的前进总是出乎意料，故而切莫短视，对科学家感到不耐烦，那一丁点牢骚，的确真实。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2026 book.quotespace.org All Rights Reserved. 小美书屋 版权所有