可计算性理论

可计算性理论
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者: ,
出版社: 科学出版社
1999-04
ISBN: 9787030063786
定价: 28.00
装帧: 其他
开本: 其他
纸张: 其他
分类: 工程技术
25人买过
  • 本书全面系统地介绍了50年代至今在可计算性理论方面的主要方法与成果.主要内容包括:可计算性理论基础知识,可计算枚举集,有穷和无穷延伸方法,有穷损害优先方法,无穷损害优先方法,计算复杂性理论,及时单纯集和间段、余间段方法,n一可计算枚举集和可计算逼近函数的图灵度,树构造和O”方法,围界极小度定理.
        本书可供大学数学系和计算机科学系的教师和研究生、科研人员阅读. 前言
    第一章  可计算性理论基础知识
    1  关于可计算性的基本概念
    2  算法可计算函数的定义:无穷存储机器
    3  递归函数的可计算性
    4  对程序配数, Smn定理, 通用函数定理
  • 内容简介:
    本书全面系统地介绍了50年代至今在可计算性理论方面的主要方法与成果.主要内容包括:可计算性理论基础知识,可计算枚举集,有穷和无穷延伸方法,有穷损害优先方法,无穷损害优先方法,计算复杂性理论,及时单纯集和间段、余间段方法,n一可计算枚举集和可计算逼近函数的图灵度,树构造和O”方法,围界极小度定理.
        本书可供大学数学系和计算机科学系的教师和研究生、科研人员阅读.
  • 目录:
    前言
    第一章  可计算性理论基础知识
    1  关于可计算性的基本概念
    2  算法可计算函数的定义:无穷存储机器
    3  递归函数的可计算性
    4  对程序配数, Smn定理, 通用函数定理
查看详情
相关图书 / 更多
可计算性理论
可计算性与数理逻辑
布勒斯
可计算性理论
可计算一般均衡建模初级教程
潘浩然 著
可计算性理论
可计算性和计算复杂性
朱一清 编
可计算性理论
可计算性与计算复杂性导引
张立昂 著
可计算性理论
可计算一般均衡模型的基本原理与编程
张欣 著
可计算性理论
可计算中文映射字典
史颖 编著
可计算性理论
可计算函数
[俄罗斯]沈(A.Shen)、[俄罗斯]韦列夏金(N.K.Vereshchagin) 著;陈光还 译
可计算性理论
可计算一般均衡模型的基本原理与编程(第二版)
张欣(Gene H Chang) 著
可计算性理论
可计算性与计算复杂性导引——普通高等教育“九五”教育部重点教材
张立昂 编
可计算性理论
可计算性与数理逻辑
布勒斯(George S. Boolos)
可计算性理论
可计算一般均衡理论与实务
作者
可计算性理论
可计算性
Douglas S.Bridges