O000411　可计算性理论导引

---

李祥著。

贵州人民出版社1986年10月版。10．6万字。

内容包括：递归函数，图灵可计算函数，计算模型与Church论题，递归论的基本定理，算术谱系，递归可枚举集，图灵归约与跃变算子，有穷延伸与有穷损害优先方法，计算复杂性等。计算的数学理论是计算机科学的一个重要内容，可计算性与能行计算复杂性理论又是一个重要的分支。这门学科在60年代建立，现已成为计算机学科的重要理论。