• 
  可计算性理论
  ￥21.00元
• 
  非经典数理逻辑与...
  ￥101.12元
• 
  生态信息科学研究...
  ￥45.82元
• 
  面向计算机科学的...
  ￥22.91元
• 
  MATLAB与数...
  ￥42.00元
• 
  数学与猜想 数学...
  ￥37.92元
• 
  面向计算机科学的...
  ￥29.25元
• 
  非经典数理逻辑与...
  ￥24.49元
• 
  错误系统
  ￥45.82元
• 
  集合论初步
  ￥0.79元
• 
  多值逻辑的理论和...
  ￥25.28元
• 
  数理逻辑引论与归...
  ￥96.00元
• 
  数的家园
  ￥77.42元
• 
  数学逻辑与推理
  ￥0.29元
• 
  数学建模
  ￥29.85元
• 
  数学建模及其实验
  ￥29.25元
• 
  塔斯基定理与真理...
  ￥48.75元
• 
  数理逻辑通俗讲话
  ￥1.16元
• 
  数型
  ￥0.15元
• 
  数学建模案例精选
  ￥18.17元
• 
  MATLAB程序...
  ￥29.25元
• 
  ROUGH集及R...
  ￥15.80元
• 
  集合论浅说
  ￥0.94元
• 
  公理集合论导引
  ￥45.82元
• 
  数理逻辑：基本原...
  ￥96.00元
• 
  数理逻辑基础　上...
  ￥0.86元
• 
  数学建模基础（第...
  ￥156.42元
• 
  数学建模能力培养...
  ￥26.86元
• 
  数理逻辑与机器证...
  ￥0.86元
• 
  数学建模与实验
  ￥33.75元
• 
  模型论基础
  ￥93.22元
• 
  数学无穷与中介的...
  ￥77.42元
• 
  数学机械化(英文...
  ￥142.20元
• 
  粗糙集对分析理论...
  ￥33.75元
• 
  多值逻辑函数结构...
  ￥43.45元
• 
  公理集合论导引
  ￥124.82元
• 
  数理逻辑引论与归...
  ￥77.42元
• 
  计算机、逻辑和集...
  ￥9.00元
• 
  集论与逻辑-面向...
  ￥14.22元
• 
  多值逻辑的理论及...
  ￥14.33元
• 
  数学建模与数学实...
  ￥73.50元
• 
  代数模型论引论
  ￥51.00元
• 
  错误逻辑
  ￥69.52元
• 
  数学基础 递归论
  ￥109.02元
• 
  非标准分析
  ￥1.24元
• 
  数学建模理论方法...
  ￥51.75元
• 
  可计算性理论
  ￥2.29元
• 
  集合与逻辑代数
  ￥0.86元
• 
  研究生数学建模精...
  ￥51.75元
• 
  数学与猜想 数学...
  ￥51.00元

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

• 暂时还没有任何用户评论

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

• 暂时还没有任何用户咨询内容

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

用户名：	匿名用户
E-mail：
咨询内容：

• 前言
  第一章可计算性理论基础知识
  1关于可计算性的基本概念
  2算法可计算函数的定义：无穷存储机器
  3递归函数的可计算性
  4对程序配数，Smn定理，通用函数定理
  对角线方法
  递归定理
  第二章可计算枚举集
  1可计算枚举集的基本性质
  不可解问题
  创造集，Post问题
  单纯集
  超单纯集
  对局方法，极大集，e?状态方法
  用改进的Post思想对Post问题的解
  能行禁集和可构造禁集
  模引理和极限引理
  第三章有穷和无穷延伸方法
  1有穷延伸方法介绍
  2力迫法介绍
  3Kucera解决Post问题的方法
  余无穷的无穷延伸方法
  极小度
  第四章有穷损害优先方法
  1引言
  2有穷损害优先方法介绍
  第五章无穷损害优先方法
  1真步方法
  2树构造方法
  3弹球机方法
  第六章有穷损害优先方法补充
  1非钻石格的嵌入与分杈度
  2同时区间允许
  第七章计算复杂性理论
  1抽象计算复杂性
  2多项式计算复杂性
  第八章及时单纯集和间段、余间段方法
  第九章n?可计算枚举集和可计算逼近函数的图灵度
  1可计算覆盖举差集(d.c.e.)
  2n?可计算枚举集的定义和基本性质
  3n?可计算枚举度(n≥1)的结构研究
  4Dn(n≥1)中的可杯性定理
  第十章树构造和O??方法
  1树构造的基本思路
  2定理和需求：Lachlan非囿界定理
  3基本模块
  4构造
  5验证
  6相关结果和问题
  第十一章囿界极小度定理
  1介绍
  2需求和基本模块
  3多个需求相结合时的基本模块
  4策略和优先树
  5构造
  6验证
  参考文献