Engines of Logic 在线电子书 图书标签: 逻辑  计算机科学  数学  科普  计算机  logic  mathematics  经典   

喜欢 Engines of Logic 在线电子书 的读者还喜欢

• 
  The Emperor's New Mind 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  A Mind at Play 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Operating Systems 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Logicomix 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Mathematics 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  The Little Schemer - 4th Edition 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Structure and Interpretation of Computer Programs - 2nd Edition (MIT) 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Computer Systems 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Computability, Complexity, and Languages, Second Edition 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  How to Design Programs 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载

作者所讲述的历程大多耳熟能详，唯一不太熟悉的是布尔代数。除了介绍历史普及知识，作者还顺便讲了不少八卦，颇有趣味。文末说，除了图灵之外其他人都未曾预见自己的工作会得到如此应用，无心插柳柳成行，科学的前进总是出乎意料，故而切莫短视，对科学家感到不耐烦，那一丁点牢骚，的确真实。

英文原书不好读，充斥了大量的长难句和历史背景。但书的内容没得说，可以作为逻辑与计算的学习主线

莱布尼茨－布尔－弗雷格－康托尔－罗素－希尔伯特－哥德尔－图灵－冯诺依曼。不过it's still not clear how Godel incompleteness theorem is related to Turing's universal machine.

everything we have today comes from the very first idea of a mathematician: why not abstract everything?

宋老师推荐的科普书，写的非常漂亮，不过还是有不少地方没看懂

前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为，卡斯帕罗夫被深蓝击败是个阴谋，其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉，也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气，我只说刘老的观点：...

前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为，卡斯帕罗夫被深蓝击败是个阴谋，其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉，也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气，我只说刘老的观点：...

“我们常常从工程的角度去理解计算机，却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼，几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动，平实。很多数学原理讲解地非常浅显易懂。 2. 不...  

推荐程度：最好的科普之一，考虑到CS的学生对计算理论的数学根基掌握不是很好，本书很有帮助。 主题：这本书介绍的是自动计算思想发展的历史。 内容：不仅仅是科学家佚事的八卦，还把基本（数学）问题的思想史讲得很清楚。 原作者：大牛境界，从本质层次深入浅出的讲到了计...