邏輯的引擎 在線電子書 圖書標籤: 邏輯  科普  計算機  數學  計算機科學  計算機史  哲學  邏輯的引擎   

喜歡 邏輯的引擎 在線電子書 的讀者還喜歡

• 
  通靈芯片 在線電子書 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瞭。

我相信強人工智能會實現的，這本書裏寫的隻是一個開頭。

從數學與邏輯的角度講述計算機的發展史。 我們隻知道電子管、晶體管、集成電路，卻不知道計算機背後的思想。萊布尼茨、布爾、希爾伯特、哥德爾、圖靈、馮諾依曼。。。那些偉大的名字不應該被忘記。

我相信強人工智能會實現的，這本書裏寫的隻是一個開頭。

尼瑪原來哥德爾有個機油也叫Karl Menger....

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

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

每一章内各小节的组织比较乱，八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。 1.莱布尼兹大神最早提出一个想法，我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴，即布尔代数。 3.弗雷格发行了形式句法，使后人可...  

每一章内各小节的组织比较乱，八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。 1.莱布尼兹大神最早提出一个想法，我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴，即布尔代数。 3.弗雷格发行了形式句法，使后人可...