＞数理逻辑与数学基础＞递归论＞释义 computably enumerable set 可计算枚举集 computably enumerable set 可计算可枚举集
理论计算机科学 可计算性与计算复杂性 释文 recursively enumerable set 递归可枚举集合
- arithmetic base
- arithmetic base management system
- arithmetic calculus
- arithmetic check
- arithmetic Chow group
- arithmetic class
- arithmetic code
- arithmetic coding
- arithmetic comprehension axiom
- arithmetic continuum
- arithmetic crystal class
- arithmetic degree
- arithmetic difference
- arithmetic distribution
- arithmetic division
- arithmetic enumeration theorem
- arithmetic error
- arithmetic error code
- arithmetic error-correcting code
- arithmetic expression
- arithmetic form
- arithmetic formula
- arithmetic fraction
- arithmetic function
- arithmetic fundamental group