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.
具體描述
讀後感
// 计算机科学是伪科学吗？ 这个问题曾经一度让我焦虑过好多天，作为一个理想成为科学家的人，这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学（computer science）后，内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...
評分（一） 有一阵，我突然非常爱看教育频道。那里正在热播迪斯尼的金牌节目：《艺术创想》。 这个节目里有很多出乎你意料的东西：废旧的报纸经过主持人的手能变成精美的画框，普通的布条亦能魔幻般变成绿荫场上一个个神采奕奕的足球名将。 有一回，主持人跑到某个学校的厨房...
評分 評分推荐程度：最好的科普之一，考虑到CS的学生对计算理论的数学根基掌握不是很好，本书很有帮助。 主题：这本书介绍的是自动计算思想发展的历史。 内容：不仅仅是科学家佚事的八卦，还把基本（数学）问题的思想史讲得很清楚。 原作者：大牛境界，从本质层次深入浅出的讲到了计...
評分用戶評價
英文原書不好讀，充斥瞭大量的長難句和曆史背景。但書的內容沒得說，可以作為邏輯與計算的學習主綫
评分感覺就是介紹每個人物的生平然後再簡略介紹下工作。。。
评分作者所講述的曆程大多耳熟能詳，唯一不太熟悉的是布爾代數。除瞭介紹曆史普及知識，作者還順便講瞭不少八卦，頗有趣味。文末說，除瞭圖靈之外其他人都未曾預見自己的工作會得到如此應用，無心插柳柳成行，科學的前進總是齣乎意料，故而切莫短視，對科學傢感到不耐煩，那一丁點牢騷，的確真實。
评分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 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有