原始復迭式(primitive iteration schema)
基本介紹
- 中文名:原始復迭式
- 外文名:primitive iteration schema
原始復迭式(primitive iteration schema)
原始復迭式(primitive iteration schema)原始復迭式,遞歸論術語.指由函式疊置引申出來的一種函式定義模式.設g為一元函式,則由g關於自複合可得(2)式稱為原始復迭(模)式.y為遞歸變元,x為參數....
這正是遞歸一詞的來源.此外,又由於這種遞推的過程是比較簡單的(相對於一般遞歸而言),因此,特稱為原始遞歸.這個名稱最初是由挪威數學家斯科朗(Skolem,A. T.)於1936年引進的.就定義函式的能力而言,原始遞歸式有許多等價形式,它們都是原始遞歸式的變種(參見“原始復迭式”、“串值遞歸式”、“聯立遞歸式”...
原始復迭式 原始復迭式(primitive iteration schema)原始復迭式,遞歸論術語.指由函式疊置引申出來的一種函式定義模式.設g為一元函式,則由g關於自複合可得 (2)式稱為原始復迭(模)式.y為遞歸變元,x為參數.原始復迭式是原始遞歸式的一種特例,其特徵是在第二式中遞歸變元不獨立出現.
為 x 的第 y 個前驅。也可以用原始遞歸式(實為原始復迭式)定義出來:數論函式 算術差作為一種數論函式,而數論函式(number-theoretic function)是一種特殊函式,指自變元和函式值均取值於自然數的函式。若 f 為 n 元函式,並且 則稱 f 為 n 元數論函式。若 φ 為 n 元部分函式,而且 則稱 φ 為部分...
原始印歐語(Proto-Indo-European)有8個格:主格、屬格、與格、賓格、離格、工具格、位格、呼格。 印歐語系的語言的變格都是由此發展而來的。一個名詞變格後就帶有了語法功能,比如一個名詞變為賓格後無論放在句中什麼地方就表示成為了賓語。以拉丁文為例:例:父親 pater,男孩 puer,其屬格 pueri;男孩的父親 ...
黎曼把他的函式定義在複數平面的某種多層復迭平面上,從而引入了所謂黎曼曲面的概念。用現代的語言,緊緻的黎曼曲面就一一對應於抽象的射影代數曲線。黎曼還首次考慮了虧格g相同的所有黎曼曲面的雙有理等價類的參量簇問題,並發現這個參量簇的維數應當是3g-3,雖然黎曼未能嚴格證明它的存在性。黎曼還套用解析方法證明了...
值得注意的是,時代與時代之間可能復迭;這就是說,良知、人治及應許等時代的特色,都會在其後的時代繼續出現。時代論的釋經學 字面意義解經:時代論者一致持守按字面解經的方法,這方法可擴大到末世論研究。很多保守派非時代論者詮釋聖經的方法是:除了預言,所有經文均按著字面解釋。時代論者將字面意義的解經套用...