计算可枚举度的并定理
(计算机科学技术)
计算可枚举度的并定理(join theorem for the computably enumerable Turing degrees),计算机科学技术名词,对任意的非零计算可枚举图灵度 x ,存在计算可枚举图灵度 a 使得 a ″=( a ∨ x )′=0″,这里 y′ 是 y 的图灵跃变。
知识树
时光轴
论点集
总题库
阅读模式
知识树 创建页面
知识树 创建说明
领域
提 交
计算机
科技
农学
技术
科学
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》
加载更多
加载更多
加载更多
加载更多