原始遞歸集（primitive recursive set）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：原始遞歸集
- 外文名：primitive recursive set
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
如果一個集合 A 的特徵函式是原始遞歸的，則稱它是原始遞歸集。
出處
《計算機科學技術名詞 》第三版。
原始遞歸集
相關詞條
- 原始遞歸集
原始遞歸集（primitive recursive set）是2018年公布的計算機科學技術名詞。定義如果一個集合 A 的特徵函式是原始遞歸的，則稱它是原始遞歸集。出處《計算機科學技術名詞 》第三版。1...
- 遞歸集
遞歸論的主要內容包括原始遞歸函式，一般遞歸函式，部分遞歸函式，遞歸可枚舉性，判定問題，遞歸不可解理理論，a可遞歸論，碾系理論等。遞歸論的主要方法是通過對數論函式的研究，揭示能行過程的本質，從而解決許多重要的數學問題。遞歸論對...
- 遞歸可枚舉集
可見非空的部分遞歸集必是遞歸可枚舉集。一般還把空集也算作遞歸可枚舉集，這樣兩種集便一致起來了。可以證明，A為遞歸可枚舉集若且唯若它是某個原始遞歸函式的值域，又若且唯若它是某個初等函式的值域。另一方面,A為遞歸可枚舉當且...
- 分層理論
所以,這就得到了一個方便的分層(1)來給算術謂詞（算術集）分類。這個分層稱為算術分層。完備形式定理 對於每一個≥1，都存在一個關於的完備謂詞，即存在一個一元的，使得任一型（型）謂詞都可由將該謂詞的變元代以一適當的原始遞歸...
- s脫殊集
稱re集A為s脫殊集，是指存在A的遞歸枚舉{Aₛ}，使得對任何原始遞歸集C⊆2，如果C沿{Aₛ}稠密，則存在τ∈C，使τ⊆C(以上C為A的特徵函式).。任何e脫殊集都是s脫殊集(因此s脫殊集存在)，而任何s脫殊集都是p脫殊...
- 大學生數學圖書館4:可計算函式
6.算術分層和量詞交換數 第十一章遞歸函式 1.原始遞歸函式 2.原始遞歸函式的例 3.原始遞歸集 4.遞歸的其他形式 5.Turing機和原始遞歸函式 6.部分遞歸函式 7.Oracle可計算性 8.生長率的估計、Ackermann函式 參考文獻 人名表 索引 ...
- 可計算性理論(1987年科學出版社出版的圖書)
第三章 初等函式集 第四章 原始遞歸函式集 第五章 遞歸函式集 第六章 遞歸字函式集 第七章 Turing機 第八章 Turing可計算函式集 第九章 形式語言和自動機 第十章 遞歸集、遞歸枚舉集 第十一章 判定問題 參考文獻 ...
- 回溯集
設A是自然數集的一個子集，則下列條件等價：(1) A是遞歸可枚舉集；(2) A是某一個部分遞歸函式的值域；(3) A是某一個部分遞歸函式的定義域；(4) A的部分特徵函式是部分遞歸函式；(5) A是某一個原始遞歸函式的值域；(6) A...
- re集枚舉函式
集，（則一定存在函式fEoCG分層之第一層），使A=rang(f).從而可知，re集都有。3的、初等的和原始遞歸的枚舉函式.一般地，如果f為re集A的遞歸枚舉函式，則f並不一定是一=的，即f對A的枚舉不一定是無重複”的.但實際上，任何...
- 產生集
設A是自然數集的一個子集，則下列條件等價：(1) A是遞歸可枚舉集；(2) A是某一個部分遞歸函式的值域；(3) A是某一個部分遞歸函式的定義域；(4) A的部分特徵函式是部分遞歸函式；(5) A是某一個原始遞歸函式的值域；(6) A...
