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

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

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

* 计算通过在一条被划分成方格的纸带上写下符号来进行。 * 执行计算的人在每一步都只注意其中一个方格中的符号。 * 她的下一步将仅仅取决于这个符号和她当前的心灵状态。 * 她的下一步是这样的：她在当前注意的方格里写下一个符号，然后把注意力转向它左边或右边的相邻方格。 ...  

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

这本书的主要内容就是介绍数学中的一些最基本的思想是如何一步步发展成为计算机的理论基础的。 作者本人是学数学出身的，后来从计算机诞生之时起就从事相关工作，作为一个专业人员来解释相关的内容，确实是游刃有余。 作者从数学专业本身出发解释一些用于计算机的数理逻辑的问...  

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

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