ISBN/价格: | 978-7-111-51735-1:CNY119.00 |
---|---|
作品语种: | chi eng |
出版国别: | CN 110000 |
题名责任者项: | 计算复杂性/.(美)克里斯特斯 H. 帕帕季米特里乌(Christos H. Papadimitriou)著/.朱洪,彭超,卜天明等译 |
出版发行项: | 北京:,机械工业出版社:,2016 |
载体形态项: | 10,329页:;+26cm |
丛编项: | 计算机科学丛书 |
一般附注: | 华章教育 |
提要文摘: | 本书主要包含算法图灵机、可计算性等有关计算复杂理论的基本概念;布尔逻辑、一阶逻辑、逻辑中的不可判定性等复杂性理论的基础知识等介绍。 |
并列题名: | Computational complexity eng |
题名主题: | 计算复杂性 |
中图分类: | TP301.5 |
个人名称等同: | 帕帕季米特里乌 (美) 著 |
个人名称次要: | 朱洪 译 |
个人名称次要: | 彭超 译 |
个人名称次要: | 卜天明 译 |
记录来源: | CN HYX 20160613 |