图书标签: 逻辑 计算机科学 数学 科普 计算机 logic mathematics 经典
发表于2025-02-16
Engines of Logic pdf epub mobi txt 电子书 下载 2025
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.
马丁·戴维斯是计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授,目前在加州大学伯克利分校做访问学者。
终于乘下雪的夜晚读完了计算机史,简直就是一部曲折蔓延伟大的数学史啊!从莱布尼茨开创微积分,乔治布尔用0/1将逻辑化为代数(哲学)到 弗雷格发明逻辑学的基本形式符号,康托尔的离散数学(实数和自然数的连续性以及对角线证明)。希尔伯特那段元数学把我吓得不轻,差点忽略了重要的希尔伯特23问和判定性问题。哥德堡近乎是全书里立大功的人,除开哥德堡不完备定律(第三次数学危机啊),他所建立在逻辑公式下的符号语言太惊艳了,就是最最最基础的Coding编程,程序语言啊。图灵果然也是真爱,图灵机判断奇偶和无法解决的判断问题那两段证明太帅了,到这时才算真正的Compuation概念应用。至于诺依曼以计算机之父出场制造EDVAC时,上追罗素、泛及康德和维特根斯坦的(数学、哲学、逻辑、语言学)计算机史将更加辉煌 M.
评分宋老师推荐的科普书,写的非常漂亮,不过还是有不少地方没看懂
评分感觉就是介绍每个人物的生平然后再简略介绍下工作。。。
评分终于乘下雪的夜晚读完了计算机史,简直就是一部曲折蔓延伟大的数学史啊!从莱布尼茨开创微积分,乔治布尔用0/1将逻辑化为代数(哲学)到 弗雷格发明逻辑学的基本形式符号,康托尔的离散数学(实数和自然数的连续性以及对角线证明)。希尔伯特那段元数学把我吓得不轻,差点忽略了重要的希尔伯特23问和判定性问题。哥德堡近乎是全书里立大功的人,除开哥德堡不完备定律(第三次数学危机啊),他所建立在逻辑公式下的符号语言太惊艳了,就是最最最基础的Coding编程,程序语言啊。图灵果然也是真爱,图灵机判断奇偶和无法解决的判断问题那两段证明太帅了,到这时才算真正的Compuation概念应用。至于诺依曼以计算机之父出场制造EDVAC时,上追罗素、泛及康德和维特根斯坦的(数学、哲学、逻辑、语言学)计算机史将更加辉煌 M.
评分英文原书不好读,充斥了大量的长难句和历史背景。但书的内容没得说,可以作为逻辑与计算的学习主线
“我们常常从工程的角度去理解计算机,却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼,几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动,平实。很多数学原理讲解地非常浅显易懂。 2. 不...
评分 评分是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书,希望能给我一本。不盛感谢。
评分推荐程度:最好的科普之一,考虑到CS的学生对计算理论的数学根基掌握不是很好,本书很有帮助。 主题:这本书介绍的是自动计算思想发展的历史。 内容:不仅仅是科学家佚事的八卦,还把基本(数学)问题的思想史讲得很清楚。 原作者:大牛境界,从本质层次深入浅出的讲到了计...
评分如今计算机已成为人类社会生活必不可少的一部分,潜入了人类社会生活的方方面面,计算机技术不仅促进了现代社会,而且也是现代社会的一个特征。在人们的观念中,计算机技术发展不过一个世纪,但其突飞猛进的发展速度已经超过了其他任何技术的发展;特别是近30年来,材料、工程...
Engines of Logic pdf epub mobi txt 电子书 下载 2025