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.
作者简介
马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。
目录信息
读后感
去图书馆翻了一本中意的书出来，叫逻辑的引擎。还没有细细地看，只是粗翻了一下，大概就是一个对计算机逻辑模型有巨大贡献的科学家的一个小小的传记。当然，它更像是一部计算机发展（逻辑上，而非工程上）简史。 说它是传记，甚至说是历史，但是它不是那么地容易读的，读者需要...
评分前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为，卡斯帕罗夫被深蓝击败是个阴谋，其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉，也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气，我只说刘老的观点：...
评分// 计算机科学是伪科学吗？ 这个问题曾经一度让我焦虑过好多天，作为一个理想成为科学家的人，这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学（computer science）后，内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...
用户评价
感觉就是介绍每个人物的生平然后再简略介绍下工作。。。
评分终于乘下雪的夜晚读完了计算机史，简直就是一部曲折蔓延伟大的数学史啊！从莱布尼茨开创微积分，乔治布尔用0/1将逻辑化为代数（哲学）到 弗雷格发明逻辑学的基本形式符号，康托尔的离散数学（实数和自然数的连续性以及对角线证明）。希尔伯特那段元数学把我吓得不轻，差点忽略了重要的希尔伯特23问和判定性问题。哥德堡近乎是全书里立大功的人，除开哥德堡不完备定律（第三次数学危机啊），他所建立在逻辑公式下的符号语言太惊艳了，就是最最最基础的Coding编程，程序语言啊。图灵果然也是真爱，图灵机判断奇偶和无法解决的判断问题那两段证明太帅了，到这时才算真正的Compuation概念应用。至于诺依曼以计算机之父出场制造EDVAC时，上追罗素、泛及康德和维特根斯坦的（数学、哲学、逻辑、语言学）计算机史将更加辉煌 M.
评分感觉就是介绍每个人物的生平然后再简略介绍下工作。。。
评分宋老师推荐的科普书，写的非常漂亮，不过还是有不少地方没看懂
评分From Math to Computer Science
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有