Ge n e r a l In f o r m a t i o n 书名=1986 可计算性理论导引作者=李祥编著页数=156SS号=11022952出版日期=1986年10月第1版前言目录目录 第一章 函数、集合、关系与运算 第二章 递归函数类 第三章 图灵可计算函数类 第四章 等价定理 第五章 计算模型与Ch u r c h 论题 第六章 递归论的基本定理 第七章 算术谱系 第八章 递归可枚举集 第九章 图灵归约与跃变算子 第十章 有穷延伸与有穷损害的优先方法 第十一章 计算复杂性 第十二章 递归数学 主要参考文献