比浏览器更快的访问！
14 关系: 加法，原始递归函数，后继序数，增值和减值操作符，乘法，序列，冪，皮亚诺公理，超运算，迭代冪次，集合论，递归，无穷公理，数学。
加法
加法是基本的算术運算。加法即是將二個以上的數，合成一個數，其結果称為和。加法與減、乘、除合稱「四則運算」。 表達加法的符號為加號（+）。進行加法時以加號將各項連接起來。把和放在等號（.
原始递归函数
在可计算性理论中，原始递归函数（primitive recursive functions）对计算的完全的形式化而言是形成重要构造板块的一类函数。它们使用递归和复合作为中心运算来定义，并且是递归函数的严格的子集，它们完全是可计算函数。通过补充允许偏函数和介入无界查找运算可以定义出递归函数的更广泛的类。 通常在数论中研究的很多函数，近似于实数值函数，比如加法、除法、阶乘、指数，找到第 n 个素数等等是原始递归的（Brainerd and Landweber, 1974）。实际上，很难设计不是原始递归的函数，尽管某些函数是已知的(比如阿克曼函数)。所以，通过研究它们，我们能发现有广泛影响的结论的那些性质。 原始递归函数可以用总是停机的图灵机计算，而递归函数需要图灵完全系统。 原始递归函数的集合在计算复杂性理论中叫做PR。.
新！!: 後繼函數和原始递归函数 · 查看更多 »
后继序数
定义序数时，後繼函數S是取得下一个序数的数學工具。如果使用冯·诺伊曼序数（用于集合论的标准序数）表示，对于任何一个序数我们可以得到： 因为在序数上的排序\alpha > \beta当且仅当\alpha \in \beta，立即得出没有序数在\alpha和S(\alpha)之间，而\alpha 也是明显的。是某个序数\beta的S(\beta)的序数叫做后继序数。不是其它哪个序数的后继的序数，我们把它们叫做极限序数。严格地按照超限归纳法，我们可以用这样的运算定义序数如下： 对于极限序数\lambda： 在特殊情况下，S(\alpha).
增值和减值操作符
在多数指令式编程语言中，增值和减值操作符指的是一类单目操作符，这些操作符相应地增加或减少其操作数的值。以C语言为例，“++”“--”操作符分别为增值操作符和减值操作符。.
新！!: 後繼函數和增值和减值操作符 · 查看更多 »
乘法
乘法（Multiplication），加法的連續運算，同一数的若干次连加，其運算結果稱為積（Product）。 因為華人地區有將四則運算的被運算數和運算數統一位置，所以前者是被乘數後者是乘數，使用中文敘述為n個a。.
序列
数学上，序列是被排成一列的对象（或事件）；这样，每个元素不是在其他元素之前，就是在其他元素之后。这里，元素之间的顺序非常重要。.
冪
幂運算（Exponentiation），又稱指數運算，是一種數學運算，表示為 bn。其中，b 被稱為底數，而 n 被稱為指數，其結果為 b 自乘 n 次。同樣地，把 b^n 看作乘方的结果，稱為「 b 的 n 次幂」或「 b 的 n 次方」。 通常指數寫成上標，放在底數的右邊。當不能用上標時，例如在編程語言或電子郵件中，b^n通常寫成b^n或b**n，也可視為超運算，記為bn，亦可以用高德納箭號表示法，寫成b↑n，讀作“ b 的 n 次方”。 當指數為 1 時，通常不寫出來，因為運算出的值和底數的數值一樣；指數為 2 時，可以讀作“ b 的平方”；指數為 3 時，可以讀作“ b 的立方”。 bn 的意義亦可視為： 起始值 1（乘法的單位元）乘上底數（b）自乘指數（n）這麼多次。這樣定義了後，很易想到如何一般化指數 0 和負數的情況：除 0 外所有數的零次方都是 1 ；指數是負數時就等於重複除以底數（或底數的倒數自乘指數這麼多次），即： 以分數為指數的冪定義為b^.
皮亚诺公理
亚诺公理（Peano axioms），也称皮亚诺公设，是意大利数学家皮亚诺提出的关于自然数的五条公理系统。根据这五条公理可以建立起一阶算术系统，也称皮亚诺算术系统。.
新！!: 後繼函數和皮亚诺公理 · 查看更多 »
超运算
超運算序列，是数学中一种二元运算的序列，前三项分别为加法、乘法、幂，一般來說，除了序列中第一項的加法運算之外，序列中每一項的運算都是重複的前一項的運算（例如乘法是重複的加法：a \cdot b.
迭代冪次
在數學裡面，迭代冪次（亦作超-4運算），或可理解為迭代乘方、冪塔運算和超冪運算等等，是專指冪的下一個超運算級別，用以表示極大的數字。以下列舉了首四個超運算級別，其中迭代冪次為第四級，（后继函数，例如a'.
集合论
集合論（Set theory）或稱集論，是研究集合（由一堆構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言下談論各種。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中，集合是當做一堆物件構成的整體之類的自證概念，沒有有關集合的形式化定義。在發現樸素集合論會產生一些後，二十世紀初期提出了許多公理化集合論，其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論，簡稱ZFC。公理化集合論不直接定義集合和集合成員，而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一，特別是 ZFC 集合論。除了其基礎的作用外，集合論也是數學理論中的一部份，當代的集合論研究有許多離散的主題，從實數線的結構到大基数的一致性等。.
递归
递归（Recursion），又译为--，在数学与计算机科学中，是指在函数的定义中使用函数自身的方法。递归一词还较常用于描述以自相似方法重复事物的过程。例如，当两面镜子相互之间近似平行时，镜中嵌套的图像是以无限递归的形式出现的。也可以理解为自我复制的过程。.
无穷公理
在公理化集合论和使用它的逻辑、数学和计算机科学中，无穷公理是 Zermelo-Fraenkel 集合论的公理之一。.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
