可计算性理论

图书标准信息

• 作者 杨东屏；李昂生
• 出版社 科学出版社
• 出版时间 1999-04
• ISBN 9787030063786
• 定价 28.00元
• 装帧 其他
• 开本 其他
• 纸张 其他

【内容简介】

本书全面系统地介绍了50年代至今在可计算性理论方面的主要方法与成果．主要内容包括：可计算性理论基础知识，可计算枚举集，有穷和无穷延伸方法，有穷损害优先方法，无穷损害优先方法，计算复杂性理论，及时单纯集和间段、余间段方法，n一可计算枚举集和可计算逼近函数的图灵度，树构造和O”方法，围界极小度定理．
    本书可供大学数学系和计算机科学系的教师和研究生、科研人员阅读．

【目录】

前言
第一章  可计算性理论基础知识
1  关于可计算性的基本概念
2  算法可计算函数的定义：无穷存储机器
3  递归函数的可计算性
4  对程序配数, Smn定理, 通用函数定理