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