计算理论导论(英文版)
分类: 图书,计算机/网络,计算机理论,
作者: 美.塞普斯著
出 版 社: 机械工业出版社
出版时间: 2002-8-1字数:版次: 1页数: 396印刷时间: 2002/08/01开本:印次:纸张: 胶版纸I S B N : 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:http://www-
math.mit.edu/sipser/book.html
作者简介
目录
1 Automata and Languages
2 Computability Theory
3 Complexity Theory
媒体评论