a遞歸集(a-recursive set)特徵函式為a遞歸函式的集合一集合CCa為a遞歸的，是指C與a-C均為a-r。集.換句話說，C二a為a遞歸，若且唯若C是L。上的。:集，這一點與經典遞歸論中的性質相似.
a遞歸集(a-recursive set)特徵函式為a遞歸函式的集合一集合CCa為a遞歸的,是指C與a-C均為a-r。集.換句話說,C二a為a遞歸,若且唯若C是L。上的。:集,這...
a遞歸可枚舉集(a-recursively enumerable set)亦稱a-re集.a遞歸函式的定義域.集合C互a稱為a遞歸可枚舉(簡稱a-re ),是指C為一個部分a遞歸函式的定義域.換句...
a遞歸論(a-recursion theory)一種遞歸理論.是經典遞歸論(研究。上函式與集合的能行性問題)將論域擴展到可允許序數上以後所形成的一種理論. 將經典遞歸論推廣到...
a遞歸函式(a-recursive function) a遞歸論中能行性概念的表述.對可允許序數a,一個函式f;a->a稱為部分a遞歸函式,是指其圖象在L。上y可定義.作為a遞歸論中...
遞歸論(Recursion theory)是數理邏輯的重要分支之一,研究解決問題的可行的計算方法和計算的複雜程度的一門學科,尤其是研究遞歸函式及其推廣。遞歸論研究的函式主要包括...
相對a遞歸性(relative a-recursiveness ) a遞歸性的推廣.設A,Bca. B稱為相對A是a遞歸,是指存在a-r。集We,使得對一切Y: 直觀上說,B相對A a遞歸,是指對...
a有窮集(a-finite set)有窮集概念在a遞歸論中的推廣.1.。中的元素稱為a有窮集.作為對普通遞歸論的推廣,a遞歸論所考慮的“計算步數”及“讀寫的信息數量...