大拱桥--暨南大学学生门户 » 图书馆 » 递归论(递归函数,能行性理论) » 可计算性理论
名称 可计算性理论
索引号 O141.3/20001
分类号 O141.3
O141.3(递归论(递归函数,能行性理论))
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 杨东屛、李昂生、
出版社 北京 : 科学出版社, 1999
ISBN 7-03-006378-3
页数 369页 ; 20cm
价格 精装
标签 数理逻辑、computability、可计算性、数学、模拟仿真、计算机、软件-理论、
简介
注解 中国科学院科学出版基金资助出版
书籍简介

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

书籍目录

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