图书标签: 计算机  逻辑学  科普  数学  逻辑  第一推动丛书  计算机科学  科学   

喜欢 逻辑的引擎 的读者还喜欢

• 
  皇帝新脑 pdf epub mobi txt 电子书 下载
• 
  时间、空间和万物 pdf epub mobi txt 电子书 下载
• 
  大宇之形 pdf epub mobi txt 电子书 下载
• 
  四维旅行 pdf epub mobi txt 电子书 下载
• 
  寻找希格斯粒子 pdf epub mobi txt 电子书 下载
• 
  复杂的引擎 pdf epub mobi txt 电子书 下载
• 
  计算进化史 pdf epub mobi txt 电子书 下载
• 
  人工智能的进化 pdf epub mobi txt 电子书 下载
• 
  深入理解程序设计 pdf epub mobi txt 电子书 下载
• 
  物理天文学前沿 pdf epub mobi txt 电子书 下载

作者对推动计算机发展的逻辑发展史给出了一个十分全面的描绘，书中各种观念和概念的解释也跟到位，信息量很大，但也有很多地方解释的不够透彻，可以以这本书为框架再分别对里面的概念进行研究。 此外，该书的排版实在有点随便了。 ps:话说推理和演算的关系到底该如何理解？

现代计算机的大厦是用许多不起眼却重要的砖块建起来的，数学逻辑是其中重要的一部分。本书以数学史上重要的科学家为主线，将数学逻辑符号化可运算的发展历史娓娓道来.

关于希尔伯特和哥德尔的部分没太读懂，但是对于图灵机的引入和介绍都十分优秀。

一般

关于希尔伯特和哥德尔的部分没太读懂，但是对于图灵机的引入和介绍都十分优秀。

如今计算机已成为人类社会生活必不可少的一部分，潜入了人类社会生活的方方面面，计算机技术不仅促进了现代社会，而且也是现代社会的一个特征。在人们的观念中，计算机技术发展不过一个世纪，但其突飞猛进的发展速度已经超过了其他任何技术的发展；特别是近30年来，材料、工程...  

俺最喜欢结尾的这句话： The Dukes of Hanover thought they knew what Leibniz should be doing with his time: working on their family history. Too often today, those who provide scientists with the resources for their lives and work try to steer them in direc...  

// 计算机科学是伪科学吗？ 这个问题曾经一度让我焦虑过好多天，作为一个理想成为科学家的人，这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学（computer science）后，内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...  

俺最喜欢结尾的这句话： The Dukes of Hanover thought they knew what Leibniz should be doing with his time: working on their family history. Too often today, those who provide scientists with the resources for their lives and work try to steer them in direc...