α遞歸性(α-recursion)是1993年公布的數學名詞。
基本介紹
- 中文名:α遞歸性
- 外文名:α-recursion
- 所屬學科:數學
- 公布時間:1993年
公布時間,出處,

α遞歸性(α-recursion)是1993年公布的數學名詞。
α遞歸性(α-recursion)是1993年公布的數學名詞。公布時間1993年,經全國科學技術名詞審定委員會審定發布。出處《數學名詞》第一版。1...
相對a遞歸性(relative a-recursiveness ) a遞歸性的推廣.設A,Bca. B稱為相對A是a遞歸,是指存在a-r。集We,使得對一切Y:直觀上說,B相對A a遞歸,是指對任何一個a有窮集,可以通過A“能行”地判定它是否包含在B中,或者包含...
α遞歸性 α遞歸性(α-recursion)是1993年公布的數學名詞。公布時間 1993年,經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。
