T007501　可计算性理论导引

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第16册工业技术(下)》第792页（196字）

李祥编着。贵州人民出版社1986年10月版。10．6万字。数理逻辑递归理论的导引，主要阐述可计算性理论的最基本知识。分12章，内容包括：递归函数，图灵可计算函数，等价定理，计算模型与church论题，递归论的基本定理，算术谱系，递归可枚举集，图灵归约与跃变算子，有穷延伸与有穷损害的优先方法，计算复杂性，递归数学。为“计算机科学丛书”之一。