遞歸論(Recursion theory)是數理邏輯的重要分支之一,研究解決問題的可行的計算方法和計算的複雜程度的一門學科,尤其是研究遞歸函式及其推廣。遞歸論研究的函式主要包括...
高型遞歸論(higher recursion theory)一種遞歸理論.是把自然數上的遞歸論推廣到高型對象上得到的數學理論.事實上,一型的遞歸對象(遞歸函式)與二型遞歸對象(遞歸...
廣義遞歸論(generalized recursion theory ),是指把自然數集上定義的遞歸論推廣到其他數學結構上去而得到的數學理論。常見的有有窮類型對象上的遞歸論和序數上的遞歸...
a遞歸論(a-recursion theory)一種遞歸理論.是經典遞歸論(研究。上函式與集合的能行性問題)將論域擴展到可允許序數上以後所形成的一種理論. 將經典遞歸論推廣到...
遞歸集是遞歸論用語。令A⊆Nn,如果A的特徵函式CA(x1,…,xn)是μ-遞歸函式,則稱A為遞歸集。 遞歸論又稱“遞歸函式論”、“能行性理論”,指主要用數學方法...
遞歸性(recursiveness),也可相近地理解為層次性或有機性。是機體或系統的共性,是系統得以存在,運作和發展的基本手段。遞歸性不僅是轉換生成語法中的一種語法屬性,...
不可判定的遞歸論問題(undecidable problemsin recursion theory)是指已被證明不具有可判定性的一類遞歸論問題。...
程式語言中,函式Func(Type a,……)直接或間接調用函式本身,則該函式稱為遞歸函式。遞歸函式不能定義為內聯函式。在數學上,關於遞歸函式的定義如下:對於某一函式...
遞歸等價(recursive equivalence)遞歸論的基本概念之一指自然數集在遞歸意義下的等價關係.若A,B為自然數集,並且存在一一的部分遞歸函式筍,使得ACdom rp,並且抓A)...
語言遞歸性(recursiveness)也可相近地理解為語言·層次性或有機性是機體或系統的共性,是系統得以存在,運作和發展的基本手段,在語法研究里多用這一概念,為方便理解...
原始遞歸模式(primitive recursion schema )遞歸論術語,指定義函式的一種方法。...... 原始遞歸模式(primitive recursion schema )遞歸論術語,指定義函式的一種方法。...
部分遞歸函式(partial recursive function)是一般遞歸函式概念對部分函式的一種自然推廣,它是具有能行可計算性的一類部分(數論)函式。部分遞歸函式概念最初是由美國...
嵌套遞歸式(nested recursion schema)遞歸論術語.指一種遞歸定義函式的模式.在遞歸定義函式f時,為了確定f在某處的值(如f(u,x+1)),可以利用在它“之前”的...
遞歸可枚舉度(recursive enumerable degree遞歸論的基本概念之一包含遞歸可枚舉集的度稱為遞歸可枚舉度,簡稱r。度.對應不同的化歸,也可以定義不同的re度.通常re...
半遞歸集(semi-recursive set)遞歸集概念的推廣.半遞歸集有兩種不同的涵義,在一般遞歸論中它指遞歸可枚舉集(re集);但在不可解度理論中,它通常指傑克什(...
遞歸可枚舉集合(英語:Recursively enumerable set)是可計算性理論或更狹義的遞歸論中的一個概念。可數集合S被稱為是遞歸可枚舉、計算可枚舉的、半可判定的或可證明...
在邏輯演算、多值邏加、悖論、遞歸論、集合論等方面有所建樹,提出若干新的見解。編著有《數理邏輯導論》、《遞歸數論》、《遞歸論》、《算法論》。...
模型論(Model theory)是數學的一個學科,模型論的一些重要定理,如緊緻性定理,L-S-T 定理,省略型定理, 插值定理等等,不僅對邏輯,集合論,遞歸論的研究有重要作用...
數理邏輯中遞歸論的一部分。它的中心論題是用遞歸論為工具給出數集(問題集)或函式集的複雜性的某種排序。...
樹方法是一種功能很強的遞歸論構造方法.在遞歸論構造中的方法。...... 樹方法是一種功能很強的遞歸論構造方法.在遞歸論構造中的方法。目錄 1 概念 2 計算 ...
不可解度,或圖靈度,是數學邏輯的名詞,尤其套用在可計算性理論中。是從比較計算難易程度出發來研究自然數子集分類的遞歸論分支。在某種標準下計算難度相同的集合...
中國科學院數學研究所和南京大學兩個單位在研究遞歸函式理論,但是他們之間有很好的學術交流,他和莫紹揆相互切磋相互幫助的關係一直正常發展下來,為遞歸論在中國的發展...