Engines of Logic 在線電子書 圖書標籤: 邏輯 計算機科學 數學 科普 計算機 logic mathematics 經典
發表於2025-01-28
Engines of Logic 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025
英文原書不好讀,充斥瞭大量的長難句和曆史背景。但書的內容沒得說,可以作為邏輯與計算的學習主綫
評分who knows all the great mathmaticians all struggled with god's existence ...
評分英文原書不好讀,充斥瞭大量的長難句和曆史背景。但書的內容沒得說,可以作為邏輯與計算的學習主綫
評分everything we have today comes from the very first idea of a mathematician: why not abstract everything?
評分From Math to Computer Science
馬丁·戴維斯是計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一。他是紐約大學庫朗數學科學研究所的榮譽退休教授,目前在加州大學伯剋利分校做訪問學者。
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. 不...
評分推荐程度:最好的科普之一,考虑到CS的学生对计算理论的数学根基掌握不是很好,本书很有帮助。 主题:这本书介绍的是自动计算思想发展的历史。 内容:不仅仅是科学家佚事的八卦,还把基本(数学)问题的思想史讲得很清楚。 原作者:大牛境界,从本质层次深入浅出的讲到了计...
評分前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为,卡斯帕罗夫被深蓝击败是个阴谋,其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉,也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气,我只说刘老的观点:...
評分 評分Engines of Logic 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025