相關詞條
-
原始遞歸函式
原始遞歸函式，對計算的完全的形式化而言是形成重要構造板塊的一類函式。
相關概念介紹 原始遞歸函式 定義 常用原始遞歸函式 -
遞歸可枚舉集
又稱部分遞歸集。在能行性理論中，基本概念是遞歸函式，它可刻畫為：任給x，只要它在x處有定義必可在有限步驟內求出其值。因此遞歸全函式（即處處有定義的）必可...
遞歸可枚舉集 正文 “遞歸可枚舉集”與“遞歸集”的比較 -
遞歸定理
遞歸定理(recursion theorem)亦稱不動點定理。反映部分遞歸函式類基本性質的重要定理。最初是由美國邏輯學家、數學家克林(Kleene, S...
遞歸 定義 定理表述 -
遞歸論
遞歸論（Recursion theory）是數理邏輯的重要分支之一，研究解決問題的可行的計算方法和計算的複雜程度的一門學科，尤其是研究遞歸函式及其推廣。...
遞歸論簡介 經典遞歸論 廣義遞歸論 套用 -
遞歸函式
程式語言中，函式Func(Type a,……)直接或間接調用函式本身，則該函式稱為遞歸函式。遞歸函式不能定義為內聯函式。 在數學上，關於遞歸函式的定義如...
定義 介紹 計算 例子 -
遞歸公式
當遞推式中只含數列中的項，而無常數項或其它項時，就叫做遞歸公式。遞歸程式設計的公式化方法是一種簡單而有效的設計思想，它把程式設計和程式理解的難點都集中到...
遞歸 遞推公式 遞歸公式簡介 在程式設計的套用 -
能行性和一般遞歸
數學中很多定理，尤其是存在性定理往往不是能行的，如雖然已經證明了某某方程有根，但卻無法求出其根，甚至無法求得比較精確的近似值。對很多數學家尤其是採用直覺...
能行性和一般遞歸 正文 配圖 相關連線 -
可計算性理論
是否可以構造對應的程式 S 即可。可計算函式經過原始遞歸運算還是...自然數的函式，稱為數論函式。原始遞歸函式是數論函式的一部分。首先規定少量顯然直觀可計算的函式為原始遞歸函式，它們是：函式值恆等於0的零函式 C0...
簡介 計算模型 有關術語 相關函式 套用領域 -
產生集
是部分遞歸函式；(5) A是某一個原始遞歸函式的值域；(6) A是空集...a可以由e能行地求出，即若存在遞歸函式f，使ᗄx∈ω(W⊆A→f(x...)↑}是一個產生集，且其產生函式為麼函式。任何產生集A都有一個一一遞歸...
概念 集合 遞歸可枚舉集 遞歸函式 -
二階算術
原始遞歸函式。1931年，哥德爾在證明其著名的不完全性定理時，以原始遞歸式為主要工具把所有元數學的概念都算術化了。原始遞歸函式的重要性日益受到人們的重視，人們開始猜測，原始遞歸函式可能窮盡一切可計算的函式。但是，阿克...
概念 一階算術 遞歸論 初等數論
