比浏览器更快的访问！
35 关系: 反双曲函数，反三角函数，双曲函数，合式公式，多項式，定义域，对数，不等，三角函数，代数，形式幂级数，微分，函数，函數程式語言，四则运算，积分，算术，组合子逻辑，编程语言，階乘，運算次序，變數，语义学，贝塞尔函数，连分数，阿隆佐·邱奇，闭包，邏輯語義學，自由变量和约束变量，Γ函数，极限，斯蒂芬·科尔·克莱尼，方程，数学常数，数学分析。
反双曲函数
反双曲函数是双曲函数的反函数。与反圆函数不同之处是它的前缀是ar意即area(面积)，而不是arc(弧)。因为双曲角是以双曲线、通过原点直线以及其对x轴的映射三者之间所夹面积定义的，而圆角是以弧长与半径的比值定义。.
反三角函数
在数学中，反三角函数是三角函数的反函数。.
双曲函数
在数学中，双曲函数是一类与常见的三角函数（也叫圆函数）类似的函数。最基本的双曲函数是双曲正弦函数 \sinh和双曲余弦函数 \cosh，从它们可以导出双曲正切函数 \tanh等，其推导也类似于三角函数的推导。双曲函数的反函数称为反双曲函数。 双曲函数的定义域是实数，其自变量的值叫做双曲角。双曲函数出现于某些重要的线性微分方程的解中，譬如說定义悬链线和拉普拉斯方程。.
合式公式
在形式系統與逻辑中，WFF是合式公式（well-formed formula）的缩写。给定一个形式文法，WFF是这个文法生成的任何字符串。 例如，在命题演算中符号序列((\alpha\rightarrow\beta)\rightarrow(\neg\beta\rightarrow\neg\alpha))是一个WFF，因为它在文法上正确。符号序列((\alpha\rightarrow\beta)\rightarrow(\beta\beta))\alpha))不是WFF，因为它不符合命题演算的文法。 在形式逻辑中，证明是有特定性质的WFF序列，而序列中最终的WFF就是要证明的。.
多項式
多项式（Polynomial）是代数学中的基础概念，是由称为未知数的变量和称为系数的常数通过有限次加减法、乘法以及自然数幂次的乘方运算得到的代数表达式。多项式是整式的一种。未知数只有一个的多项式称为一元多项式；例如x^2-3x+4就是一个一元多项式。未知数不止一个的多项式称为多元多项式，例如就是一個三元多项式。 可以写成只由一项构成的多项式也称为单项式。如果一项中不含未知数，则称之为常数项。 多项式在数学的很多分支中乃至许多自然科学以及工程学中都有重要作用。.
定义域
定义域（Domain），是函数自变量所有可取值的集合。给定函数f:A\rightarrow B，其中A被称为是f的定义域，记作D_。f映射到陪域中的所有值的集合称为f的值域，记作f(A)或R_。 例如，函数f(x).
对数
在数学中，真数 x（对于底数 ）的对数是 y 的指数 y，使得 。底数 的值一定不能是1或0（在扩展到复数的复对数情况下不能是1的方根），典型的是、 10或2。数x（对于底数β）的对数通常写为 稱作為以β為底x的對數。 当x和β进一步限制为正实数的时候，对数是1个唯一的实数。 例如，因为 我们可以得出 用日常语言说，以3为底81的对数是4。.
不等
数学上，不等是表明两个对象的大小或者顺序的二元关系（参见等于）。不等关系主要有四种：.
三角函数
三角函数（Trigonometric functions）是数学中常见的一类关于角度的函数。三角函数将直角三角形的内角和它的两个边的比值相关联，也可以等价地用与单位圆有关的各种线段的长度来定义。三角函数在研究三角形和圆等几何形状的性质时有重要作用，也是研究周期性现象的基础数学工具。在数学分析中，三角函数也被定义为无穷级数或特定微分方程的解，允许它们的取值扩展到任意实数值，甚至是复数值。 常见的三角函数包括正弦函数（\sin）、余弦函数（\cos）和正切函数（\tan或者\operatorname）；在航海学、测绘学、工程学等其他学科中，还会用到如余切函数、正割函数、余割函数、正矢函数、半正矢函数等其他的三角函数。不同的三角函数之间的关系可以通过几何直观或者计算得出，称为三角恒等式。 三角函数一般用于计算三角形中未知长度的边和未知的角度，在导航、工程学以及物理学方面都有广泛的用途。另外，以三角函数为模版，可以定义一类相似的函数，叫做双曲函数。常见的双曲函数也被称为双曲正弦函数、双曲余弦函数等等。.
代数
代数是一个较为基础的数学分支。它的研究对象有许多。诸如数、数量、代数式、關係、方程理论、代数结构等等都是代数学的研究对象。 初等代数一般在中學時讲授，介紹代数的基本思想：研究当我们对数字作加法或乘法时会发生什么，以及了解變數的概念和如何建立多项式并找出它们的根。 代数的研究對象不僅是數字，还有各種抽象化的結構。例如整數集作為一個帶有加法、乘法和序關係的集合就是一個代數結構。在其中我們只關心各種關係及其性質，而對於「數本身是甚麼」這樣的問題並不關心。常見的代數結構類型有群、环、域、模、線性空間等。并且,代数是几何的总称，代数是还可以用任何字母代替的。 e.g.2-4+6-8+10-12+…-96+98-100+102.
形式幂级数
形式幂级数是一个数学中的抽象概念，是从幂级数中抽离出来的代数对象。形式幂级数和从多项式中剥离出来的多项式环类似，不过允许（可数）无穷多项因子相加，但不像幂级数一般要求研究是否收敛和是否有确定的取值。形式幂级数在代数和组合理论中有广泛应用。.
微分
在数学中，微分是对函数的局部变化率的一种线性描述。微分可以近似地描述当函数自变量的取值作足够小的改变时，函数的值是怎样改变的。当某些函数\textstyle f的自变量\textstyle x有一个微小的改变\textstyle h时，函数的变化可以分解为两个部分。一个部分是线性部分：在一维情况下，它正比于自变量的变化量\textstyle h，可以表示成\textstyle h和一个与\textstyle h无关，只与函数\textstyle f及\textstyle x有关的量的乘积；在更广泛的情况下，它是一个线性映射作用在\textstyle h上的值。另一部分是比\textstyle h更高阶的无穷小，也就是说除以\textstyle h后仍然会趋于零。当改变量\textstyle h很小时，第二部分可以忽略不计，函数的变化量约等于第一部分，也就是函数在\textstyle x处的微分，记作\displaystyle f'(x)h或\displaystyle \textrmf_x(h)。如果一个函数在某处具有以上的性质，就称此函数在该点可微。 不是所有的函数的变化量都可以分为以上提到的两个部分。若函数在某一点无法做到可微，便称函数在该点不可微。 在古典的微积分学中，微分被定义为变化量的线性部分，在现代的定义中，微分被定义为将自变量的改变量\textstyle h映射到变化量的线性部分的线性映射\displaystyle \textrmf_x。这个映射也被称为切映射。.
函数
函數在數學中為兩集合間的一種對應關係：輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數，若以3作為此函數的輸入值，所得的輸出值便是9。 為方便起見，一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值，則其輸出值一般寫作f(x)，讀作f of x。上述的平方函數關係寫成數學式記為f(x).
函數程式語言
函數式編程（functional programming）或称函数程序设计，又稱泛函編程，是一種編程典範，它將電腦運算視為數學上的函數計算，並且避免使用程序状态以及易变物件。函數程式語言最重要的基礎是λ演算（lambda calculus）。而且λ演算的函數可以接受函數當作輸入（引數）和輸出（傳出值）。 比起指令式編程，函數式編程更加強調程序执行的结果而非执行的过程，倡导利用若干简单的执行单元让计算结果不断渐进，逐层推导复杂的运算，而不是设计一个复杂的执行过程。.
新！!: 表示式和函數程式語言 · 查看更多 »
四则运算
四则运算，即加减乘除，是數學最基本的算術运算。如果加減乘除放在同一個算式列中的話，其計算的順序是「先乘除，後加減」，括號先算。四則運算的起源很早，幾乎在數學產生時就有了。.
积分
积分是微积分学与数学分析裡的一个核心概念。通常分为定积分和不定积分两种。直观地说，对于一个给定的正实值函数 f(x)， f(x)在一个实数区间 上的定积分 可以理解为在 \textstyle Oxy坐标平面上，由曲线 (x,f(x))、直线x.
算术
算術（arithmetic）是数学最古老且最簡單的一個分支，幾乎被每個人使用著，從日常生活上簡單的算數到高深的科学及工商业計算都會用到。一般而言，算術這一詞指的是記錄數字某些運算基本性質的数学分支。常用的运算有加法、減法、乘法、除法，有时候，更复杂的运算如指数和平方根，也包括在算术运算的范畴内。算术运算要按照特定规则来进行。 自然数、整数、有理数（以分數的形式）和实数（以十进制指数的形式）的运算主要是在小学和中学的时候学习。用百分比形式进行运算也主要是在这个时候学习。然而，在成人中，很多人使用计算器，计算机或者算盘来进行数学计算。 專業数学家有時會使用高等算術來指数论，但這不應該和初等算術相搞混。另外，算術也是初等代數的重要部份之一。.
组合子逻辑
组合子逻辑是Moses Schönfinkel和哈斯凱爾·加里介入的一种符号系统，用来消除数理逻辑中对变量的需要。它最近在计算机科学中被用做计算的理论模型和设计函数式编程语言的基础。它所基于的组合子是只使用函数应用或早先定义的组合子来定义从它们的参数得出的结果的高阶函数。.
编程语言
编程语言（programming language），是用来定义计算机程序的形式語言。它是一种被标准化的交流技巧，用来向计算机发出指令。一种计算机语言让程序员能够准确地定义计算机所需要使用的数据，并精确地定义在不同情况下所应当采取的行动。 最早的编程语言是在電腦發明之前產生的，當時是用來控制及自動演奏鋼琴的動作。在電腦領域已發明了上千不同的编程語言，而且每年仍有新的编程語言誕生。很多编程語言需要用指令方式說明計算的程序，而有些编程語言則屬於宣告式編程，說明需要的結果，而不說明如何計算。 编程语言的描述一般可以分為及語義。語法是說明編程語言中，哪些符號或文字的組合方式是正確的，語義則是對於編程的解釋。有些語言是用規格文件定義，例如C語言的規格文件也是ISO標準中一部份，2011年後的版本為ISO/IEC 9899:2011，而其他55語言（像Perl）有一份主要的文件，視為是。.
階乘
一个正整数的階乘（factorial）是所有小於及等於該數的正整數的積，并且有0的阶乘为1。自然數n的階乘寫作n!。1808年，基斯頓·卡曼引進這個表示法。 亦即n!.
運算次序
在數學和計算機科學中，運算次序（也稱為運算順序、運算子優先順序）是指決定在表示式中的哪一運算子首先被執行的規則。 比如，在四則運算中，一般有先乘除後加減的規定。就是說在2 + 3 × 4這樣的式子中，按規定會先對3和4作乘法，得出12，然後再把2和12加起來，最後就得出14。.
變數
在初等數學裡，變數或變元、元是一個用來表示值的符號，該值可以是隨意的，也可能是未指定或未定的。在代數運算時，將變數當作明確的數值代入運算中，可以於單次運算時解出多個問題。一個典型的例子為一元二次公式，該公式可以解出每個一元二次方程的值，只需要將方程的系數代入公式中的變數即可。 變數這個概念在微積分中非常重要。一般，一個函數y.
语义学
语义学（Semantics，La sémantique），也作「语意学」，是一个涉及到语言学、逻辑学、计算机科学、自然语言处理、认知科学、心理学等诸多领域的一个术语。虽然各个学科之间对语义学的研究有一定的共同性，但是具体的研究方法和内容大相径庭。语义学的研究对象是自然语言的意义，这里的自然语言可以是词汇，句子，篇章等等不同级别的语言单位。但是各个领域里对语言的意义的研究目的不同：.
贝塞尔函数
貝索函数（Bessel functions），是数学上的一类特殊函数的总称。通常单说的貝索函数指第一类貝索函数（Bessel function of the first kind）。一般貝索函数是下列常微分方程（一般称为貝索方程）的标准解函数y(x)： 这类方程的解是无法用初等函数系统地表示。 由於貝索微分方程是二階常微分方程，需要由兩個獨立的函數來表示其标准解函数。典型的是使用第一类貝索函数和第二类貝索函数來表示标准解函数： 注意，由於 Y_\alpha(x) 在 x.
连分数
在数学中，连分数或繁分数即如下表达式： 这里的a_0是某个整数，而所有其他的数a_n都是正整数，可依樣定义出更长的表达式。如果部分分子（partial numerator）和部分分母（partial denominator）允许假定任意的值，在某些上下文中可以包含函数，则最終的表达式是广义连分数。在需要把上述标准形式與广义连分数相區別的时候，可稱它為简单或正规连分数，或称为是规范形式的。.
阿隆佐·邱奇
阿隆佐·邱奇（Alonzo Church，）是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。 解决算法问题包括构造一个能解决某一指定集及其他相关集的算法，如果该算法无法构建，则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破，邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。.
新！!: 表示式和阿隆佐·邱奇 · 查看更多 »
闭包
闭包可以指：.
邏輯語義學
我们在论证中可能遇到的各种句子/判决的有效性条件依赖于它们的意义，所以负责任的逻辑学家不能完全避免提供某种处理这些句子的意义的需求。逻辑的语义指称逻辑学家已经介入来理解和确定他们感兴趣的意义部分的方式；逻辑学家在传统上只对是命题的句子感兴趣，它是适合逻辑操纵的理想的句子。 直到现代逻辑出现之前，亚里士多德的工具论特别是解释篇，提供了理解逻辑意义的基础。量化的介入需要解决多重普遍性问题，表现出了亚里士多德的逻辑所支配的主词-谓词分析不能处理的那些种类，尽管对词项逻辑的兴趣正在复兴，尝试找到符合亚里士多德三段论精神并且使用基于量词的现代逻辑一般性的演算。.
自由变量和约束变量
在数学和其他涉及形式语言的学科中，包括数理逻辑和计算机科学，自由变量是在表达式中用于表示一个位置或一些位置的符号，某些明确的代换可以在其中发生，或某些运算（比如总和或量化）可以在其上发生。这个概念有关于占位符（它是以后会被所替换），或表示未指定符号的通配符，但更加深入和复杂。 变量 x 成为约束变量，比如 或 在任何这种命题中，是否使用 x 或其他什么字母在逻辑上不重要。但是，在复合命题的其他地方再次使用同一个字母可能导致冲突。就是说，自由变量变成了约束的，并在支持公式的格式化的进一步工作中在某种意义上退休了。.
新！!: 表示式和自由变量和约束变量 · 查看更多 »
Γ函数
\Gamma \,函数，也叫做伽瑪函數（Gamma函数），是階乘函數在實數與複數上的擴展。對於實數部份為正的複數z，伽瑪函數定義為： 此定義可以用解析開拓原理拓展到整個複數域上，非正整數外。 如果z為正整數，則伽瑪函數定義為： 這顯示了它與階乘函數的聯繫。可見，伽瑪函數將n!拓展到了實數與複數域上。 在概率論中常見此函數，在組合數學中也常見。.
极限
极限可以指：.
斯蒂芬·科尔·克莱尼
斯蒂芬·科尔·克莱尼（Stephen Cole Kleene，）美國數學家、逻辑學家，主要从事對可計算函數的研究，而他的遞歸理論研究有助於奠定理論電腦科學的基礎。他為數學直覺主義的基礎做出了重要貢獻，克莱尼層次結構、克莱尼代数、克莱尼星号（克莱尼閉包）、克莱尼遞歸定理和克莱尼不動點定理數學概念以他的名字命名。他也是正規表示法的發明者。.
新！!: 表示式和斯蒂芬·科尔·克莱尼 · 查看更多 »
方程
数学中方程可以简单的理解为含有未知数的等式。例如以下的方程： 其中的x為未知數。 如果把数学当作语言，那么方程可以为人们提供一些用来描述他们所感兴趣的对象的语法，它可以把未知的元素包含到陈述句当中（比如用“相等”这个词来构成的陈述句），因此如果人们对某些未知的元素感兴趣，但是用数学语言去精确地表达那些确定未知元素的条件时需要用到未知元素本身，这时人们就常常用方程来描述那些条件，并且形成这样一个问题：能使这些条件满足的元素是什么？在某个集合内，能使方程中所描述的条件被满足的元素称为方程在这个集合中的解（比如代入某个數到含未知数的等式，使等式中等号左右两边相等）。 求出方程的解或说明方程无解这一过程叫做解方程。可以用方程的解的存在状况为方程分类，例如，恒等式即恒成立的方程，例如(y + 2)^2.
数学常数
一个数学常数是指一个数值不变的常量，与之相反的是变量。跟大多数物理常数不一样的地方是，数学常数的定义是独立于所有物理测量的。 数学常数通常是实数或复数域的元素。数学常数可以被称为是可定义的数字（通常都是可计算的）。 其他可选的表示方法可以在数学常数 (以连分数表示排列)中找到。.
数学分析
数学分析（mathematical analysis）区别于其他非数学类学生的高等数学内容，是分析学中最古老、最基本的分支，一般指以微积分学、无穷级数和解析函數等的一般理论为主要内容，并包括它们的理论基础（实数、函数、測度和极限的基本理论）的一个较为完整的数学学科。它也是大学数学专业的一门基础课程。出自《数学辞海（第一卷）》 数学分析研究的內容包括實數、複數、實函數及複變函數。数学分析是由微積分演進而來，在微积分发展至现代阶段中，从应用中的方法总结升华为一类综合性分析方法，且初等微積分中也包括許多數學分析的基礎概念及技巧，可以认为这些应用方法是高等微积分生成的前提。数学分析的方式和其幾何有關，不過只要任一數學空間有定義鄰域（拓扑空间）或是有針對兩物件距離的定義（度量空间），就可以用数学分析的方式進行分析。.
