计算理论导论(英文版)

　　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:http://www-
　　math.mit.edu/sipser/book.html

计算理论(9)  Computer.Theory(5)  计算机(4)  理论计算机(3)  计算机科学(2)  complexity(2)  教材(2)  教科书(1)