Introduction to the Theory of Computation 在線電子書 圖書標籤: 計算理論 計算機科學 計算機 學術 computation
發表於2024-11-05
Introduction to the Theory of Computation 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
酷刑啊。。。讀瞭四章
評分酷刑啊。。。讀瞭四章
評分讀過目錄
評分讀過目錄
評分http://www.yinwang.org/blog-cn/2019/07/21/pnp2
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.
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讀者評價
RT,英语真心一般啊,想看看有木有翻译版本的,Introduction to the Theory of Computation,第二版,请各位大神指导一下,请告知翻译版本的书名,出版社等信息 RT,英语真心一般啊,想看看有木有翻译版本的,Introduction to the Theory of Computation,第二版,请各位大神指...
評分我觉得作者很可爱,他同很多人一样很喜欢把一个复杂的问题说的很简单很通俗。 对于这本书来说,看了第一章,就应当一成的收获。计算机中重要的数学概念被解构的如此清楚,非常的难得。 另外,要说一下,翻译的问题。翻译的很不错(话说本来英文版就很上口),但是却是看原版会...
評分 評分事知其然而后知其所以然。 现代计算机体系的构建,图灵机的数学模型的实现,正是指出了这道创世纪的光。 现在书里面的内容已经忘记的差不多了,只是记得不断的证明,一步步的证明,充满了智慧的光芒。 总之,是一本好的数学书。
評分Introduction to the Theory of Computation 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024