原始遞歸式（primitive recursion）是1993年公布的數學名詞。
基本介紹
- 中文名：原始遞歸式
- 外文名：primitive recursion
- 所屬學科：數學
- 公布時間：1993年
公布時間,出處,
原始遞歸式
相關詞條
- 原始遞歸式
原始遞歸式 原始遞歸式（primitive recursion）是1993年公布的數學名詞。公布時間 1993年，經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。
- 受限原始遞歸式
受限原始遞歸式(limited primitive recursionschema)原始遞歸式的一種限制形式. 受限原始遞歸式(limited primitive recursionschema)原始遞歸式的一種限制形式. 給定函式8,h,.7如果函式f滿足:則稱函式f為(從g.i出發)經受限原始遞歸定義的...
- 一般遞歸函式
注意到，比起等式系或μ運算元來，一般遞歸式更好地體現了一般遞歸的意義，因此，利用一般遞歸式引入一般遞歸函式概念當是最為合理的。而且也是原始遞歸函式概念的一種自然推廣。此外，一般遞歸函式恰好是部分遞歸函式中的全函式，不過與全體...
- 能行性和一般遞歸
不久，美國學者S.C.克利尼證明了這個一般遞歸函式與丘奇的λ可定義全函式是相同的，並且也與使用疊置、原始遞歸式和摹狀運算元而得到的全函式相同。1936年，英國數學家A.M.圖林提出以其姓命名的圖林機器理論，並證明了可用圖林機器計算的...
- 遞歸樹
1、初始：遞歸樹只有根結點，其值為W(n)2、不斷繼續下述過程：將函式項葉結點的疊代式W(m)表示成二層子樹 用該子樹替換該頁結點 3、繼續遞歸樹的生成，直至樹中無函式項（只有初值）為止。例子 由遞歸式T(n) = 3T(n / 4)...
- 二階算術
遞歸論這門學科最早可以追溯到原始遞歸式的使用。古代人以及現代的兒童對加法及乘法的理解，實質上就是使用原始遞歸式。但直到16世紀的毛羅利科，尤其是17世紀的帕斯卡才正式使用與遞歸式密切相關的數學歸納法。19世紀德國數學家戴德金和...
- 埃爾布朗一哥德爾部分可計算函式
3.C關於原始遞歸式封閉.4.C關於產運算元封閉.產遞歸函式恰好為HU可計算函式，它們都是直觀上能行可計算的函式，在上述定義中，若允許部分函式，便得到部分遞歸函式.此外，只要在上述定義中 由克林足義的產遞歸函式.簡稱遞歸函式.遞歸函式...
- 控制函式
一般說來，加限運算元均為初等運算元，因此，一般地說，合乎定理3的條件的遞歸生成集均可分解為初等函式集的並集.當 為原始遞歸式時(這時副控制函式和控制函式同)，可以很筒單地作出控制骨幹 ，而 也可很簡單地取 為開始函式(無須兼取...
- 埃爾布朗-哥德爾可計算函式
原始遞歸函式、多重遞歸函式都是埃爾布朗一哥德爾可計算函式.實際上，埃爾布朗一哥德爾可計算函式恰好是依一般遞歸式定義的一般遞歸函式.埃爾布朗一哥德爾可計算函式簡稱HG可計算函式.若在定義中允許部分函式，則可以把此概念推廣到HG部分可...
- 格才高爾契克分層
格才高爾契克分層(Grzegorczyk hierarchy)遞歸論的基本概念之一簡稱“格氏分層”或“G分層”.格氏首先定義了下列函式列(稱為“格才高爾契克函式列”):然後，定義。。為以本原函式及人為開始函式，以受限原始遞歸式為生成運算元的遞歸生成...
- 極小度
圖靈度概念是建立在相對遞歸或相對可計算概念之上的。通常稱部分函式f相對於部分函式g是遞歸的，若f由初始函式與g出發經有限次使用標準迭置、原始遞歸式和μ運算元而得，則記為f≤g。由於任何判定問題通過適當的編碼技術，都可化為如“x...
- 胡世華(中國科學院院士、數理邏輯學家、科學家)
6、胡世華．一種遞歸式的原始遞歸性．數學學報，1956，6（1）：93—104．7、胡世華．數理邏輯的基本特徵與科學意義．哲學研究，1957，6：1—44．8、胡世華．關於古典演繹邏輯的幾個問題．哲學研究，1957，6．9、胡世華，陸鐘萬．一般...
