|
题名:
|
计算复杂性 ji suan fu za xing / (美)克里斯特斯 H. 帕帕季米特里乌(Christos H. Papadimitriou)著 , 朱洪, 彭超, 卜天明等译 |
|
ISBN:
|
978-7-111-51735-1 价格： CNY119.00 |
|
语种:
|
chi |
|
载体形态:
|
329页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2016 |
|
内容提要:
|
本书主要包含算法图灵机、可计算性等有关计算复杂理论的基本概念；布尔逻辑、一阶逻辑、逻辑中的不可判定性等复杂性理论的基础知识等介绍。 |
|
主题词:
|
计算复杂性 研究 |
|
中图分类法:
|
TP301.5 版次： 5 |
|
主要责任者:
|
帕帕季米特里乌 pa pa ji mi te li wu 著 |
|
次要责任者:
|
朱洪 zhu hong 译 |
|
次要责任者:
|
彭超 peng chao 译 |
|
次要责任者:
|
卜天明 bu tian ming 译 |
|
责任者附注:
|
克里斯特斯 H. 帕帕季米特里乌，当今计算机科学界最活跃和有影响力的科学家之一。拥有普林斯顿大学博士学位，现为加州大学伯克利分校计算机科学系教授。 |
|
索书号:
|
TP301.5/4020 |