圖書標籤: 圖靈  計算機  計算機科學  數學  人工智能  傳記  計算理論  思維   

喜歡 圖靈的秘密 的讀者還喜歡

• 
  計算的本質 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 電子書 下載

我就剩最後的謂詞邏輯部分瞭。我當時看得時候，豆瓣閱讀還沒有公式支持，腦補Latex的好嘛！現在都要上瞭……最近頭疼，謂詞部分算是看不完瞭。但是現在依然權當作看過吧。非常棒的書！很多細節我都略過瞭，但是我已經完完全全知道瞭「圖靈完備」的思想和證明思路。不過我這麼多年的學習經驗告訴我，略懂，絕對不是懂。但是我隻能到這一步瞭。

靠被騙瞭……這是數學啊啊啊

學《可計算性與計算復雜性》的時候讀過這本書的英文版，故事精彩，講解清晰。

果然看不懂。。

分刷這麼高也太假瞭

Charles Petzold确实是一位大牛，作为windows程序员来说，《Windows程序设计》是一本经典之中的经典。不过对于我来说，熟悉大牛的深入浅出式的说明还是在《编码的奥秘》这本书（原句叫 coding，现在再版，书名叫《编码》），在那本书里面，指引着我们寻找计算机制造的基本原理...  

终于将这本书翻完了，如释重负。 之所以这么说，因为这本书至少有70%的内容是在将图灵的思想和论文，此外还有大量文字讲解数学知识，初看还能接受，但后面竟有多个章节都是讲述这些理论，实在有些专业与乏味。 这本书严格意义上不能算是图灵的传记，少的是图灵的故事，多的是...

《图灵的秘密》是关于图灵1936年那篇开创性论文的解读，内容很多很难，需要的背景知识包括数理逻辑，lambda演算，以及一些基本的数论。读完的笔记也许都会比原书多，这里想简洁或者宏观性地谈谈几个主角之间的“故事”。 实际上说争论更准确。 初（我目前所知道的），大神莱...  

在这之前因为简单看过一些哲学普及书，一直纠结于唯物论->因果论->机械论和自由意志之间的矛盾。我是相信唯物论的，但是又觉得自由意志这个东西并不能由简单的因果关系决定，直到看到了这本书。 这本书详细分析了图灵机的不可判定性问题和哥德尔的不确定性原理，在我看起来，虽...  

今年是图灵诞辰100周年，全世界都在发起纪念图灵的活动，接连不断的纪念活动把这位孤僻、低调而伟大的天才置于聚光灯下，而近日霍金、马丁里斯等11位著名科学家致函英国首相卡梅伦，再次要求为图灵1954年的同性恋罪行平反。图灵的一生如此短暂，为什么却迸发出了这么耀眼的光芒...