This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.
本书的作者是著名的计算理论方面专家,麻省理工学院应用数学系主任 M. Sipser。全书分为11章,并附有部分习题解答。全书思路清晰,由浅入深,内容详细,是一本零起点学习计算理论的理想教材。我是出于研究需要阅读此书的。其中第零章简要介绍了所需要的基本数学知识。第一到三...
评分我觉得作者很可爱,他同很多人一样很喜欢把一个复杂的问题说的很简单很通俗。 对于这本书来说,看了第一章,就应当一成的收获。计算机中重要的数学概念被解构的如此清楚,非常的难得。 另外,要说一下,翻译的问题。翻译的很不错(话说本来英文版就很上口),但是却是看原版会...
评分本书的作者是著名的计算理论方面专家,麻省理工学院应用数学系主任 M. Sipser。全书分为11章,并附有部分习题解答。全书思路清晰,由浅入深,内容详细,是一本零起点学习计算理论的理想教材。我是出于研究需要阅读此书的。其中第零章简要介绍了所需要的基本数学知识。第一到三...
评分我觉得作者很可爱,他同很多人一样很喜欢把一个复杂的问题说的很简单很通俗。 对于这本书来说,看了第一章,就应当一成的收获。计算机中重要的数学概念被解构的如此清楚,非常的难得。 另外,要说一下,翻译的问题。翻译的很不错(话说本来英文版就很上口),但是却是看原版会...
评分绝世好书, 科学写作的好作品~
评分這本書的每一個字我都沒放過,所以我想評價它我是很有發言權的。這本書可能是我讀過最好的計算機類書,因為它踏實地用學過高中數學的人就能聽得懂的數學語言,把計算機科學中最基本的問題描述清楚﹣﹣任何問題只要看書,無需再上Google, Wikipedia就能明白(事實上Wiki很多概念的介紹引用該書)。書中的證明高度可讀,思路也異常清????。如果說遺憾的話,是有幾個證明過複雜了: (DFA至正則可用R_ij^k證明, SAT是NP完全應把第九章的電路證明移到第七章, Clique可以reduce到vertex cover來證明,IP in PSPACE 廢話稍多)。但總而言之,大愛此書,對訓練抽象思維大有助益。
评分数学很美妙
评分入门书~利用window的证明好萌啊
评分比较简单
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有