计算理论导论

塞普斯

出版时间

2002-08-01

ISBN

9787111108405

评分

★★★★★
书籍介绍
This book——by a noted authority and educator in the field——presents computer science theory from a uniquely intuitive,“big picture”perspective.The author grounds his clear and interesting study on broad mathematical princi-ples,not low-level technical details:proofs are presented with a “proof idea”component that re- veals the concetp underlying the mathematical formalism.Similarly,algorithms are pr-esented using prose rather than pseudocode to focus attention on the algorithms the- mselves,rather than on specific models.Formerly published in a Preliminary Edition, this First Edition features additional chapters on space complexity (Chapter 8),pro-vable intractability (Chapter 9)and advanced topics in computability theory(Chapter 10).For further information,see the World Wide Web site for the book at: math.mit.edu/sipser/book.html
精彩摘录
  • "Ignoring the trees to see the forest doesn't mean that one is more important than the other--it just gives a different perspective."
  • "We have come to a turning point in the study of the theory of computation. We continue to speak of Turing machines, but our real focus from now on is on algorithms. That is, the Turing machine merely serves as a precise model for the definition of algorithm. We skip over the extensive theory of Turi"
下载
收藏