Engines of Logic 在线电子书 图书标签: 逻辑 计算机科学 数学 科普 计算机 logic mathematics 经典
发表于2024-06-18
Engines of Logic 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
From Math to Computer Science
评分感觉就是介绍每个人物的生平然后再简略介绍下工作。。。
评分英文原书不好读,充斥了大量的长难句和历史背景。但书的内容没得说,可以作为逻辑与计算的学习主线
评分宋老师推荐的科普书,写的非常漂亮,不过还是有不少地方没看懂
评分who knows all the great mathmaticians all struggled with god's existence ...
马丁·戴维斯是计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授,目前在加州大学伯克利分校做访问学者。
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. 不...
评分前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为,卡斯帕罗夫被深蓝击败是个阴谋,其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉,也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气,我只说刘老的观点:...
评分用图灵在一次演讲的话可以贯穿本书的核心内容: ”我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。“ 图灵通过细致的观察基本的数学运算,并将数学运算符号化为五元运...
评分Engines of Logic 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024