This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.
具体描述
读后感
在所有我看过的计算理论、可计算性、计算复杂度的教材中，Sipser的这本Introduction to the Theory of Computation是最适合入门的。把计算理论这么个艰深的学问讲解得清晰简洁，直观易懂。而且涵盖了计算理论的各个经典内容。作为一本introduction，真是再好不过了。 计算理论...
评分我觉得作者很可爱，他同很多人一样很喜欢把一个复杂的问题说的很简单很通俗。 对于这本书来说，看了第一章，就应当一成的收获。计算机中重要的数学概念被解构的如此清楚，非常的难得。 另外，要说一下，翻译的问题。翻译的很不错（话说本来英文版就很上口），但是却是看原版会...
评分本书的作者是著名的计算理论方面专家，麻省理工学院应用数学系主任 M. Sipser。全书分为11章，并附有部分习题解答。全书思路清晰，由浅入深，内容详细，是一本零起点学习计算理论的理想教材。我是出于研究需要阅读此书的。其中第零章简要介绍了所需要的基本数学知识。第一到三...
评分如果你周围的人在说P， NP之类，而你还不知道这些概念，请捧起这本书！ 之后，如果你还想去解决它们，寻求解决思路可以参考这本Metaheuristics For Hard Optimization
评分事知其然而后知其所以然。 现代计算机体系的构建，图灵机的数学模型的实现，正是指出了这道创世纪的光。 现在书里面的内容已经忘记的差不多了，只是记得不断的证明，一步步的证明，充满了智慧的光芒。 总之，是一本好的数学书。
用户评价
頭髮掉了不少，果然是功力不夠。。。一年後重新看
评分這本書的每一個字我都沒放過，所以我想評價它我是很有發言權的。這本書可能是我讀過最好的計算機類書，因為它踏實地用學過高中數學的人就能聽得懂的數學語言，把計算機科學中最基本的問題描述清楚﹣﹣任何問題只要看書，無需再上Google, Wikipedia就能明白（事實上Wiki很多概念的介紹引用該書）。書中的證明高度可讀，思路也異常清????。如果說遺憾的話，是有幾個證明過複雜了： （DFA至正則可用R_ij^k證明， SAT是NP完全應把第九章的電路證明移到第七章， Clique可以reduce到vertex cover來證明，IP in PSPACE 廢話稍多）。但總而言之，大愛此書，對訓練抽象思維大有助益。
评分很容易读
评分这不是教材，简直是上课的录像，所以非常地通俗。当然最重要的还是做习题，习题里包含了很多insights！
评分这本书相当理论了。从图灵机到语言到time complexity 到space complexity。reduction一路下来。Sipser比较善于画图和写reduction的过程，但是如果要涵盖全面的百科全书的话，还是有几本比它更全面些的。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有