您好,欢迎光临有路网!
可计算性理论
QQ咨询:
有路璐璐:

可计算性理论

  • 作者:杨东屏 李昂生
  • 出版社:科学出版社
  • ISBN:9787030063786
  • 出版日期:1999年06月01日
  • 页数:369
  • 定价:¥28.00
  • 分享领佣金
    手机购买
    城市
    店铺名称
    店主联系方式
    店铺售价
    库存
    店铺得分/总交易量
    发布时间
    操作

    新书比价

    网站名称
    书名
    售价
    优惠
    操作

    图书详情

    内容提要
    本书全面系统地介绍了50年代至今在可计算性理论方面的主要方法与成果.主要内容包括:可计算性理论基础知识,可计算枚举集,有穷和无穷延伸方法,有穷损害优先方法,无穷损害优先方法,计算复杂性理论,及时单纯集和间段、余间段方法,n一可计算枚举集和可计算逼近函数的图灵度,树构造和O”方法,围界极小度定理.
    本书可供大学数学系和计算机科学系的教师和研究生、科研人员阅读.
    目录
    前言
    **章 可计算性理论基础知识
    1 关于可计算性的基本概念
    2 算法可计算函数的定义:无穷存储机器
    3 递归函数的可计算性
    4 对程序配数, Smn定理, 通用函数定理
    5 对角线方法
    6 递归定理
    第二章 可计算枚举集
    1 可计算枚举集的基本性质
    2 不可解问题
    3 创造集, Post问题
    4 单纯集
    5 超单纯集
    6 对局方法, 极大集, e-状态方法
    7 用改进的Post思想对Post问题的解
    8...... 更多

    与描述相符

    100

    北京 天津 河北 山西 内蒙古 辽宁 吉林 黑龙江 上海 江苏 浙江 安徽 福建 江西 山东 河南 湖北 湖南 广东 广西 海南 重庆 四川 贵州 云南 西藏 陕西 甘肃 青海 宁夏 新疆 台湾 香港 澳门 海外