O000411　可计算性理论导引

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第12册数理科学和化学、生物科学》第43页（210字）

李祥着。

贵州人民出版社1986年10月版。10．6万字。内容包括：递归函数，图灵可计算函数，计算模型与Church论题，递归论的基本定理，算术谱系，递归可枚举集，图灵归约与跃变算子，有穷延伸与有穷损害优先方法，计算复杂性等。计算的数学理论是计算机科学的一个重要内容，可计算性与能行计算复杂性理论又是一个重要的分支。

这门学科在60年代建立，现已成为计算机学科的重要理论。