计算复杂性
Saved in:
Main Authors: | ; |
---|---|
Published: |
清华大学出版社
|
Publisher Address: | 北京 |
Publication Dates: | 2004 |
Literature type: | Book |
Language: | English |
Edition: | 影印版 |
Series: |
大学计算机教育国外著名教材系列 : 影印版 |
Subjects: | |
Carrier Form: | 15,523页: ; 23cm |
ISBN: | 7-302-08955-8 |
Index Number: | TP301 |
CLC: | TP301.5 |
Call Number: | TP301.5/4242 |
Contents: |
正文为英文 本书全面阐述计算复杂性理论及其近年来进展,主要包括算法图灵机、可计算性等有关计算复杂性等理论的基本概念;布尔逻辑、逻辑中的不可判定性等复杂性理论的基础知识等。 |