书籍 Introduction to the Theory of Computation的封面

Introduction to the Theory of Computation

Michael Sipser

出版时间

2012-06-27

ISBN

9781133187790

评分

★★★★★

标签

编程

书籍介绍

Gain a clear understanding of even the most complex, highly theoretical computational theory topics in the approachable presentation found only in the market-leading INTRODUCTION TO THE THEORY OF COMPUTATION, 3E. The number one choice for today's computational theory course, this revision continues the book's well-know, approachable style with timely revisions, additional practice, and more memorable examples in key areas. A new first-of-its-kind theoretical treatment of deterministic context-free languages is ideal for a better understanding of parsing and LR(k) grammars. You gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with a blend of practical and philosophical coverage and mathematical treatments, including advanced theorems and proofs. INTRODUCTION TO THE THEORY OF COMPUTATION, 3E's comprehensive coverage makes this a valuable reference for your continued studies in theoretical computing.

用户评论
看了前9章,讲得真的很详细,很易懂,用词等也很规范,可以让人初步养成良好的思维模式,是一本非常好的入门书籍。
formal language三本参考教材之一。主要读了计算理论的部分。这本书写法精简,不适合自学,作为复习材料尚可。内容集中在讲解理论,应用涉及的少。
或许是最好的计算理论教材,从最基础的有穷自动机讲起,直至将Kolmogorov complexity和交互式证明系统这样的概念以自然的方式呈现在读者眼前。Sipser属于那种教学经验丰富、深谙把复杂证明讲得深入浅出之道的作者。这一版还增加了对确定型下推自动机以及LR(k)文法的讨论,对于关心自动机应用的读者来说,几乎可以和编译龙书无缝衔接。
很好的计算理论教材(自动机图灵机复杂度)。 阅读感受贼好,先why/example后definition,先intuition/special case后formal proof。 而且还很薄,读起来压力小。。
在 details 和 big picture 之间做的平衡非常好。
入门的,太入门的
非常基础的教科书,课件参考书。
花了一个学期四个学分学了这么一个“没用”的课,对找工作没用,对找(非复杂度理论)research没用。就像吴荻老师在美术鉴赏课第一节课说的,我这个课就是没用,然后他讲了庄子那个故事。谢谢Sinclair教授用他纯正的英音带我们在zoom上探索(引用长评第一)计算的模型,计算的限制,计算的代价。这课就像吴荻老师的课一样,给你最大的“用处”是让你切实地感受到美。讲到图灵机为何可以model目前一切计算;讲到为何一切NP都可以归约到3SAT;讲到山外有山,从NL到PSPACE;就像吴老师讲富春山居图,八大山人,北京的胡同:可能没什么用,但你闭上眼,回味无穷,从心底赞叹一声,真美啊,就足够了。
时常希望所有科目都像这样只有一本逻辑清楚知道自己要说什么的公认教科书 可惜这样的事很少发生 @2018-04-04 13:14:17