T007501 可计算性理论导引

书籍:中国图书大辞典:1949-1992第16册工业技术(下) 更新时间:2018-09-19 11:04:06

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

李祥编着。

贵州人民出版社1986年10月版。10.6万字。数理逻辑递归理论的导引,主要阐述可计算性理论的最基本知识。分12章,内容包括:递归函数,图灵可计算函数,等价定理,计算模型与church论题,递归论的基本定理,算术谱系,递归可枚举集,图灵归约与跃变算子,有穷延伸与有穷损害的优先方法,计算复杂性,递归数学。

为“计算机科学丛书”之一。

分享到: