并定理是2018年全国科学技术名词审定委员会公布的计算机科学技术名词。
并定理定义
计算可枚举集合在集合并与交运算下是一致能行封闭的，即存在可计算函数 f,g 使得。这里是编码为 z 的图灵机计算的函数的定义域。
并定理公布时间
2018年，经全国科学技术名词审定委员会审定发布。
并定理出处
《计算机科学技术名词 》 (第三版)。
并定理是2018年全国科学技术名词审定委员会公布的计算机科学技术名词。
计算可枚举集合在集合并与交运算下是一致能行封闭的，即存在可计算函数 f,g 使得。这里是编码为 z 的图灵机计算的函数的定义域。
2018年，经全国科学技术名词审定委员会审定发布。
《计算机科学技术名词 》 (第三版)。
