计算理论导引(英文版·第3版)

迈克尔·西普塞（Michael Sipser） 美国麻省理工学院数学系教授，计算机科学和人工智能实验室（CSAIL）成员。2004~2014年任数学系主任，2014年起任理学院院长。他痴迷于复杂性理论，目前从事理论计算机科学与其他数学课程的教学工作已超过30年。

出版者:机械工业出版社

作者:[美] 迈克尔·西普塞 (Michael Sipser)

页数:476

出版时间:2018-7-1

价格:89.00元

装帧:平装

isbn号码:9787111602057

丛书系列:经典原版书库

图书标签:计算理论计算机科学计算机算法知识-专业大学计算机TCS

本书由计算理论领域的知名权威Michael Sipser所撰写。他以独特的视角，系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。绝大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容进行了重点介绍。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。同样，对于算法描述，均以直观的文字而非伪代码给出，从而将注意力集中于算法本身，而不是某些模型。新版根据多年来使用本书的教师和学生的建议进行了改进，并用一节的篇幅对确定型上下文无关语言进行了直观而不失严谨的介绍。此外，对练习和问题进行了全面更新，每章末均有习题选答。

读后感

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

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

在所有我看过的计算理论、可计算性、计算复杂度的教材中，Sipser的这本Introduction to the Theory of Computation是最适合入门的。把计算理论这么个艰深的学问讲解得清晰简洁，直观易懂。而且涵盖了计算理论的各个经典内容。作为一本introduction，真是再好不过了。 计算理论...  

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

用户评价

译者和原作表达上没有很大的区别，都很抽象。

没有想象中的好，挺啰嗦的，而且有些地方讲得不清不楚，不过图灵机的概念和P和NP问题懂了些，不过似懂非懂，觉得讲得不是很清楚。本来以为能好好讲讲计算复杂度，没想到都只是讲了些概念。如果想找大O的内容，不妨看看孙智伟翻译的silverman的数论概论的第40章，讲得比较简单清楚。

没有想象中的好，挺啰嗦的，而且有些地方讲得不清不楚，不过图灵机的概念和P和NP问题懂了些，不过似懂非懂，觉得讲得不是很清楚。本来以为能好好讲讲计算复杂度，没想到都只是讲了些概念。如果想找大O的内容，不妨看看孙智伟翻译的silverman的数论概论的第40章，讲得比较简单清楚。

译者和原作表达上没有很大的区别，都很抽象。

没有想象中的好，挺啰嗦的，而且有些地方讲得不清不楚，不过图灵机的概念和P和NP问题懂了些，不过似懂非懂，觉得讲得不是很清楚。本来以为能好好讲讲计算复杂度，没想到都只是讲了些概念。如果想找大O的内容，不妨看看孙智伟翻译的silverman的数论概论的第40章，讲得比较简单清楚。