可计算性理论
2025-02-17 10:54:25
文学小说
10
内容简介:
本书全面系统地介绍了50年代至今在可计算性理论方面的主要方法与成果.主要内容包括:可计算性理论基础知识,可计算枚举集,有穷和无穷延伸方法,有穷损害优先方法,无穷损害优先方法,计算复杂性理论,及时单纯集和间段、余间段方法,n一可计算枚举集和可计算逼近函数的图灵度,树构造和O”方法,围界极小度定理. 本书可供大学数学系和计算机科学系的教师和研究生、科研人员阅读.
目录:
前言 第一章 可计算性理论基础知识 1 关于可计算性的基本概念 2 算法可计算函数的定义:无穷存储机器 3 递归函数的可计算性 4 对程序配数, Smn定理, 通用函数定理
评论