可计算性理论产生于对算法概念的数学研究，主要研究目标是可计算性对象的计算复杂性和不可计算对象的数学结构。本文研究了计算可枚......

本文研究计算可枚举图灵度的结构，提出并完成了一个加杯层谱的证明。 计算可枚举度（computably enumerable，c．e．degree）a被称作加杯的......