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