Michael Fredric Sipser (born September 17, 1954) is a theoretical computer scientist who has made early contributions to computational complexity theory. He is a professor of Applied Mathematics and Dean of Science at the Massachusetts Institute of Technology.
发表于2025-03-14
Introduction to the Theory of Computation 2025 pdf epub mobi 电子书
我觉得作者很可爱,他同很多人一样很喜欢把一个复杂的问题说的很简单很通俗。 对于这本书来说,看了第一章,就应当一成的收获。计算机中重要的数学概念被解构的如此清楚,非常的难得。 另外,要说一下,翻译的问题。翻译的很不错(话说本来英文版就很上口),但是却是看原版会...
评分RT,英语真心一般啊,想看看有木有翻译版本的,Introduction to the Theory of Computation,第二版,请各位大神指导一下,请告知翻译版本的书名,出版社等信息 RT,英语真心一般啊,想看看有木有翻译版本的,Introduction to the Theory of Computation,第二版,请各位大神指...
评分在所有我看过的计算理论、可计算性、计算复杂度的教材中,Sipser的这本Introduction to the Theory of Computation是最适合入门的。把计算理论这么个艰深的学问讲解得清晰简洁,直观易懂。而且涵盖了计算理论的各个经典内容。作为一本introduction,真是再好不过了。 计算理论...
评分在所有我看过的计算理论、可计算性、计算复杂度的教材中,Sipser的这本Introduction to the Theory of Computation是最适合入门的。把计算理论这么个艰深的学问讲解得清晰简洁,直观易懂。而且涵盖了计算理论的各个经典内容。作为一本introduction,真是再好不过了。 计算理论...
评分本书的作者是著名的计算理论方面专家,麻省理工学院应用数学系主任 M. Sipser。全书分为11章,并附有部分习题解答。全书思路清晰,由浅入深,内容详细,是一本零起点学习计算理论的理想教材。我是出于研究需要阅读此书的。其中第零章简要介绍了所需要的基本数学知识。第一到三...
图书标签: 计算理论 计算机科学 计算机 学术 computation
This book is aimed as an introductory text book on computer science theory. The book is suited for both undergraduate and graduate studies. The first three chapters of the book, regular expressions, context free languages and the Church-Turing thesis are apt for an introductory class for the undergraduate level. The remaining 7 chapters provide more than enough content for advanced undergraduate or graduate studies.
This is the first book on computer science theory that I have seen, which is actually written in understandable English. As compared to the previous introductory texts by Hopcroft or Papadimitriou, Sipser shuns writting the entire book using just symbols of formal mathematics. This is not to say that there is no formalism in the book. There is adequate use of formal mathematics in the proofs of the book, but not so much as to scare even in most intrepid readers like in previous books on this subject.The fact I liked most about this book is that every proof in the book is accompanied by a "Proof Idea" which explains using diagrams and plain english how exactly the proof works. This followed by the formal proof. The problems at the end of each chapter are fairly interesting, and some of the * marked problems can be fairly challenging for a first time student.
Another amazing thing about this book is the amount of content it covers. I would have never expected a book of only 400 pages to cover computer science theory all the way from introductory undergraduate to advanced graduate levels. This is because, the author focuses only on core concepts and strives to make them as clear as possible. For example, this book has only one chapter on regular expressions, while every other book that I have seen has at least 3-4 chapters full of gory details. This is because Sipser does not go into the gory mechanical details of converting DFAs to NFAs, or writing Turing machines and so on, but instead explains just the important concepts and gives a few examples. Also a wealth of information is to be found in the problems at the end of the chapter. Many of these problems like the Myhill-Nerode theorem are of the kind you will find actually proved in other texts, but left as an exersice here. This is because they are relatively simple to prove once all the concepts are understood. Moreover an educator has the option of which of these problems they want to delve deeper into.
Any student who studies or wishes to study computer science theory should definitely get their hands on this book, irrespective of whether they have already used a different book.
本篇介绍来自amazon.com读者评价
读过目录
评分酷刑啊。。。读了四章
评分酷刑啊。。。读了四章
评分http://www.yinwang.org/blog-cn/2019/07/21/pnp2
评分http://www.yinwang.org/blog-cn/2019/07/21/pnp2
Introduction to the Theory of Computation 2025 pdf epub mobi 电子书