逻辑的引擎 在线电子书 图书标签: 逻辑  科普  计算机  数学  计算机科学  计算机史  哲学  逻辑的引擎   

喜欢 逻辑的引擎 在线电子书 的读者还喜欢

• 
  通灵芯片 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  哥德尔、艾舍尔、巴赫 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  数学：确定性的丧失 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  证明与反驳 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  希尔伯特 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  哥德尔证明 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  编码的奥秘 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  数理逻辑 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  哥德尔 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  研究之美 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载

关于数理逻辑的知识我看起来还是有很大的困难，不过不可否认，这是一本难得的讲述计算本质的好书。看来，是时候深究一下GEB了。

莱布尼兹、布尔、弗雷格、康托尔、希伯特、哥德尔、图灵。逻辑数学，形式逻辑，并通过工程学转换为当代机器和人工智能

这其实是一本八卦书吧。

这其实是一本八卦书吧。

莱布尼兹、布尔、弗雷格、康托尔、希伯特、哥德尔、图灵。逻辑数学，形式逻辑，并通过工程学转换为当代机器和人工智能

是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书，希望能给我一本。不盛感谢。  

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

用图灵在一次演讲的话可以贯穿本书的核心内容： ”我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。“ 图灵通过细致的观察基本的数学运算，并将数学运算符号化为五元运...  

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

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