後繼函式（successor function）是2018年發布的計算機科學技術名詞。
基本介紹
- 中文名：後繼函式
- 外文名：successor function
- 所屬學科： 計算機科學技術
- 公布時間：2018年
- 屬性：計算機科學技術名詞
定義,出處,
定義
加1的函式，即f(x)=x+1。
出處
《計算機科學技術名詞 》第三版。
後繼函式（successor function）是2018年發布的計算機科學技術名詞。
後繼函式（successor function）是2018年發布的計算機科學技術名詞。定義加1的函式，即f(x)=x+1。出處《計算機科學技術名詞 》第三版。...
後繼函式指的是如果一個數詞( 數量)n所指代的基數值是n，若在數數序列中，數詞p緊接在n之後，那么p所對應的基數值（數量） 就是n + 1。Gelman和Galiistel認為兒童先天就具有對這個函式的理解。而以Fuson為代表的研究者則認為，...
如果函式集Δ含有後繼函式 ，且對迭置封閉，則Δ的控制函式，作為t、x的二元函式時，不可能屬於Δ。證明： 如果 屬於Δ，則Sg(t，x)也屬於Δ，且應可找出 ，使得 今對t、x均代以 ，將得 的矛盾結果，定理得證。當Δ為遞歸...
初始函式 包括：後繼函式： s(x)=x+1 零函式： n(x)=0 投影函式： Ui n (x1,...,xn)=xi, 1≦i≦n 定義：由 初始函式經過 有限次合成和原始遞歸得到的函式稱作 原始遞歸函式 常用 1. 常數K 2. x 3. x+y 4. x...
遞歸函式便是許多這種刻畫中的一種。我們以下考慮的函式都是從自然數到自然數的函式。我們先定義幾個初等函式 (1)零函式 Z(x)=0;(2)後繼函式 S(x)=x+1;(3)廣義麼函式 U1n(x₁，…xₙ)=x;顯然，上面這些函式都是能行...
處處有定義的函式叫做全函式，未必處處有定義的函式叫做部分函式。最簡單又最基本的函式有三個：零函式O（x）=0（其值恆為0）；射影函式；後繼函式S（x）=x+1。它們合稱初始函式。要想由舊函式作出新函式，必須使用各種運算元。代入...
為標準算術模型，其中“+”、“”分別是自然數的加法與乘法，s是後繼函式， ，0是通常的自然數零。顯然 滿足Peano算術公理。其他滿足Peano公理但不與 同構的模型統稱非標準算術模型。背景介紹 在數學中，非歐幾何中就是靠引進模型...
3 分支問題的後繼函式法 第九章 從閉軌分支出極限環 1 liapunov第二方法 2 poincare方法 3 後繼函式法 第十章 同宿分支及異宿分支 1 鞍點的不變流形 2 同宿環．異宿環與後繼函式 3 同（異）宿環的穩定性 4 同（異）宿軌...
的理論。這裡 +，·就是通常的自然數的加法和乘法，S 是後繼函式，0 為通常的整數 0。 是佩亞諾算術的標準模型，而與 不同構的佩亞諾算術的模型即為它的非標準模型。模型 [model]一個模型 就是一個 數學結構。假如 是 ...
不幸的是，這種模型不能存在，如果存在，它必須包含對應於組合子 Y 的一個真正的全函式，它是計算任意輸入函式 f 的不動點的函式。不能給予 Y 這樣的函式，因為某些函式(比如“後繼函式”)沒有不動點。這個對應於 Y 的真正函式...
自變數值和函式值都是自然數的函式，稱為數論函式。原始遞歸函式是數論函式的一部分。首先規定少量顯然直觀可計算的函式為原始遞歸函式，它們是：函式值恆等於0的零函式C0，函式值等於自變數值加1的後繼函式S，函式值等於第i個自變數值的...
另一研究內容針對反轉和等變化系統中奇數維或偶數維異宿分支在小擾動下，尤其是在退化條件、非通有條件下的動力學行為，採用在奇點或周期軌道小領域內建立適當的局部坐標架，根據Poincare映射得到後繼函式及分支方程的主要思路。本項目力求...
遞歸函式便是許多這種刻畫中的一種。我們以下考慮的函式都是從自然數到自然數的函式。我們先定義幾個初等函式：(1)零函式 Z(x)=0;(2)後繼函式 S(x)=x+1;(3)廣義麼函式 U1n(x₁，…xₙ)=x;顯然，上面這些函式都是能...
遞歸函式便是許多這種刻畫中的一種。我們以下考慮的函式都是從自然數到自然數的函式。我們先定義幾個初等函式：(1)零函式 Z(x)=0；(2)後繼函式 S(x)=x+1；(3)廣義麼函式 U1n(x₁,…,xₙ)=x；顯然，上面這些函式都是...
4.4.1 後繼函式與焦點穩定性 147 4.4.2 焦點量與焦點階數 152 4.4.3 Poincaré形式級數法 161 4.4.4 存在中心的條件 173 4.5 極限環 181 4.5.1 極限環穩定性與重數 181 4.5.2 極限環存在性與唯一性 ...
研究了非光滑動力系統極限環分支問題，把對光滑系統的研究方法拓廣到非光滑系統，建立了非光滑系統的Melnikov函式的公式，通過引入廣義奇點，廣義同宿環等新的概念以及合適的Poincare 映射（先分段建立，後逐段複合），結合計算後繼函式的展開...
加法函式 plus(m,n)=m+n 利用了恆等式 f^{{(m+n)}}(x)=f^{m}(f^{n}(x))。plus ≡ λm.λn.λf.λx. m f (n f x)後繼函式succ(n)=n+1 β-等價於（plus 1）。succ ≡ λn.λf.λx. f (n f x...
第四節 分支問題的後繼函式法 第五章 混沌動力學 第一節 離散動力系統 第二節 二維離散動力系統中的混沌 第三節 Lorenz動力系統 第四節 Rossler動力系統 第六章 實用模型研究 第一節 軍備競爭線性微分方程模型 第二節 帶冪次增長...
1．1 後繼函式與焦點量 1．2 Hopf環性數與極限環的分支 2 Poincare分支與環性數 2．1 Poincare分支的一般理論 2．2 一類Lienard方程的環性數 3 同宿分支 3．1 極限環的惟一性 3．2 極限環的惟二性 3．3 同宿環的穩定性與...
5.3 後繼函式與極限環的穩定性 5.4 極限環的惟一性 習題5 第六章 無窮遠奇點與全局結構 6.1 無窮遠奇點 6.2 軌線的全局結構分析舉例 習題6 第七章 高維系統的奇點分析 7.1 線性系統的奇點 7.2 穩定流形定理 7.3 拓撲...
空間同宿、異宿環的穩定性，無窮遠分界線的穩定性及分支出極限環的條件，二次系統極限環的分布，雙參數系統從中心分支出極限環的條件等一系列問題上獲得了國際國內領先的成果他所首創的用通積分來計算鞍點鄰域中的後繼函式和將後繼函式...
Enum 連續的，也就是可枚舉的type。每個值都有後繼 (successer) 和前置 (predecesor)，分別可以通過 succ 函式和 pred 函式得到。Bounded 有上限和下限。例如：maxBound:: Char 或者 maxBound:: Bool Num 數字 Integral Floating 表...
6.4.2 Poincare映射與後繼函式法 6.5 分支與混沌 6.5.1 分支 6.5.2 Lorenz方程與混沌 6.6 套用舉例 6.6.1 兩種群模型 6.6.2 van der Pol方程 第7章 Maple在常微分方程中的套用 7.1 初識Maple 7.2 Maple在一階...
8．3．4 poincare映射與後繼函式法 8．4 結構穩定與分支現象 8．4．1 一個大範圍的結構穩定性定理 8．4．2 高階奇點的分支 8．4．3 hopf分支 8．4．4 poincare分支 8．4．5 多重閉軌的分支 8．4．6 同宿軌線的分支 8...