图书标签: 计算理论  计算机科学  计算机  CS  Computer.Theory  computation  经典  theory   

喜欢 Introduction to the Theory of Computation 的读者还喜欢

• 
  Structure and Interpretation of Computer Programs - 2nd Edition (MIT) pdf epub mobi txt 电子书 下载
• 
  Probability and Computing pdf epub mobi txt 电子书 下载
• 
  The Reasoned Schemer pdf epub mobi txt 电子书 下载
• 
  Compilers pdf epub mobi txt 电子书 下载
• 
  CJKV Information Processing pdf epub mobi txt 电子书 下载
• 
  Types and Programming Languages pdf epub mobi txt 电子书 下载
• 
  Logic in Computer Science pdf epub mobi txt 电子书 下载
• 
  Learn You a Haskell for Great Good! pdf epub mobi txt 电子书 下载
• 
  Concrete Mathematics pdf epub mobi txt 电子书 下载
• 
  Programming Language Pragmatics, Third Edition pdf epub mobi txt 电子书 下载

通俗易懂而且有趣

這本書的每一個字我都沒放過，所以我想評價它我是很有發言權的。這本書可能是我讀過最好的計算機類書，因為它踏實地用學過高中數學的人就能聽得懂的數學語言，把計算機科學中最基本的問題描述清楚﹣﹣任何問題只要看書，無需再上Google, Wikipedia就能明白（事實上Wiki很多概念的介紹引用該書）。書中的證明高度可讀，思路也異常清????。如果說遺憾的話，是有幾個證明過複雜了： （DFA至正則可用R_ij^k證明， SAT是NP完全應把第九章的電路證明移到第七章， Clique可以reduce到vertex cover來證明，IP in PSPACE 廢話稍多）。但總而言之，大愛此書，對訓練抽象思維大有助益。

這本書的每一個字我都沒放過，所以我想評價它我是很有發言權的。這本書可能是我讀過最好的計算機類書，因為它踏實地用學過高中數學的人就能聽得懂的數學語言，把計算機科學中最基本的問題描述清楚﹣﹣任何問題只要看書，無需再上Google, Wikipedia就能明白（事實上Wiki很多概念的介紹引用該書）。書中的證明高度可讀，思路也異常清????。如果說遺憾的話，是有幾個證明過複雜了： （DFA至正則可用R_ij^k證明， SAT是NP完全應把第九章的電路證明移到第七章， Clique可以reduce到vertex cover來證明，IP in PSPACE 廢話稍多）。但總而言之，大愛此書，對訓練抽象思維大有助益。

通俗易懂而且有趣

入门书~利用window的证明好萌啊

让人了解计算机的本质，它的能力与它的局限性。 计算理论课的教材，上课上的很累，但很有收获。我觉得没读过这本书的不好意思说自己是Computer Science专业毕业的。  

让人了解计算机的本质，它的能力与它的局限性。 计算理论课的教材，上课上的很累，但很有收获。我觉得没读过这本书的不好意思说自己是Computer Science专业毕业的。  

RT，英语真心一般啊，想看看有木有翻译版本的，Introduction to the Theory of Computation，第二版，请各位大神指导一下，请告知翻译版本的书名，出版社等信息 RT，英语真心一般啊，想看看有木有翻译版本的，Introduction to the Theory of Computation，第二版，请各位大神指...  

事知其然而后知其所以然。 现代计算机体系的构建，图灵机的数学模型的实现，正是指出了这道创世纪的光。 现在书里面的内容已经忘记的差不多了，只是记得不断的证明，一步步的证明，充满了智慧的光芒。 总之，是一本好的数学书。  

我觉得作者很可爱，他同很多人一样很喜欢把一个复杂的问题说的很简单很通俗。 对于这本书来说，看了第一章，就应当一成的收获。计算机中重要的数学概念被解构的如此清楚，非常的难得。 另外，要说一下，翻译的问题。翻译的很不错（话说本来英文版就很上口），但是却是看原版会...