相關詞條
-
遞歸可枚舉集
又稱部分遞歸集。在能行性理論中,基本概念是遞歸函式,它可刻畫為:任給x,只要它在x處有定義必可在有限步驟內求出其值。因此遞歸全函式(即處處有定義的)必可...
遞歸可枚舉集 正文 “遞歸可枚舉集”與“遞歸集”的比較 -
遞歸定理
遞歸定理(recursion theorem)亦稱不動點定理。反映部分遞歸函式類基本性質的重要定理。最初是由美國邏輯學家、數學家克林(Kleene, S...
遞歸 定義 定理表述 -
遞歸關係
設(a0,a1,...,ar,...)是一個序列,把該序列中的ar和它前面的幾個ai(0≤i
定義 遞歸關係模型 套用 -
遞歸函式
程式語言中,函式Func(Type a,……)直接或間接調用函式本身,則該函式稱為遞歸函式。遞歸函式不能定義為內聯函式。 在數學上,關於遞歸函式的定義如...
定義 介紹 計算 例子 -
能行性和一般遞歸
數學中很多定理,尤其是存在性定理往往不是能行的,如雖然已經證明了某某方程有根,但卻無法求出其根,甚至無法求得比較精確的近似值。對很多數學家尤其是採用直覺...
能行性和一般遞歸 正文 配圖 相關連線 -
原始遞歸函式
在可計算性理論中,原始遞歸函式對計算的完全的形式化而言是形成重要構造板塊的一類函式。它們使用遞歸和複合作為中心運算來定義,並且是遞歸函式的嚴格的子集,它...
簡介 介紹 定義 常用 與遞歸函式的聯繫 -
遞歸定義
遞歸定義是數理邏輯和計算機科學用到的一種定義方式,使用被定義對象的自身來為其下定義(簡單說就是自我複製的定義)。遞歸定義(recursive defin...
定義 定義方式 構成 舉例 -
非遞歸因果模型
《非遞歸因果模型》是2012年格致出版社出版的圖書,作者是威廉·D.貝里。
內容簡介 目錄 -
遞歸時滯神經網路的綜合分析與動態特性研究
遞歸時滯神經網路的綜合分析與動態特性研究是由張化光編寫的一部書籍。該書於2008年由科學出版社出版,主要講述遞歸時滯神經網路的動態特性。該書主要分為九個...
內容簡介 作者簡介 目錄 -
經濟動態的遞歸方法
第1章 確定性動態規劃的套用 隨機動態規劃的套用
內容介紹 作品目錄