列表構造函數是用來構造列表的基本函數，在大多數 LISP 體系的計算機編程語言中，使用的函數名稱是cons。 cons構成了存放兩個變量與其指針的記憶體物件，這個物件被稱為 C O N S {\displaystyle CONS} 單元、非原子的 S 表達式或 c o n s {\displaystyle...

在类别基础的面向对象程序设计中，构造器（英语： Constructor，有時簡稱 ctor），别称：构造方法、构造函数、建构子、建構式）是一个类里用于建立对象的特殊子程序。它能初始化一个新建的对象，并时常会接受参数用以设定实例（英语：Instance (computer science)）变量。 构造...

缺省构造函数是C++及其他一些面向对象程序设计语言中，对象的不需要参数即可调用的构造函数。 对象生成时如果没有显式地调用构造函数，则缺省构造函数会被自动调用。C++标准规定，如果构造函数没有参数（nullary），或者构造函数的所有参数都有缺省值（default value），都算作缺省构造函数。一个类只能有一个缺省构造函数。...

由于列表比较长，积分表被分为以下几个部分： 有理函数积分表 无理函数积分表 指数函数积分表 对数函数积分表 高斯函数积分表 三角函数积分表 反三角函数积分表 双曲函数积分表 反双曲函数积分表 ∫   ( a x + b ) n d x = ( a x + b ) n + 1 a ( n + 1 ) +...

NET语言提供运行环境的程序设计语言，是函數程式語言（FP，Functional Programming），函數程式語言最重要的基礎是Lambda Calculus。它是基于OCaml的，而OCaml是基于ML函数程式语言。有時F#和OCaml的程式是可以交互編譯的。 F#支援高阶函数、柯里化、惰性求值、续体、模式匹配、闭包、列表推导式和元编程。这是一个用于显示...

presentation”仅允许逐字表示的字符串，格式上禁止字符串以外的空白。 M-表达式 CAR and CDR（英语：CAR_and_CDR） 列表構造函數 Canonical S-expressions（英语：Canonical S-expressions） Recursive Functions...

以下的列表列出了许多函数的导数。f 和g是可微函数，而别的皆为常数。用这些公式，可以求出任何初等函数的导数。 線性法则 d ( M f ) d x = M d f d x ; [ M f ( x ) ] ′ = M f ′ ( x ) {\displaystyle {{\mbox{d}}(Mf) \over...

OK：顯式改寫 }; 編譯器會檢查基底類別是否存在一虛擬函數，與衍生類別中帶有聲明override的虛擬函數，有相同的函數簽名（signature）；若不存在，則會回報錯誤。 C++11也提供指示字final，用來避免類別被繼承，或是基底類別的函數被改寫： struct Base1 final { };...

定理的第一部分，称为微积分第一基本定理，此定理表明：給定任一連續函數，可以（利用積分）構造出該函數的反導函數。這一部分定理的重要之處在於它保證了連續函數的反導函數的存在性。 定理的第二部分，称为微积分第二基本定理或牛顿-莱布尼茨公式，表明某函數的定积分可以用該函數的任意一個反導函數...

函數式編程常被認為嚴重耗費CPU和記憶體資源 ，这是由于在早期實現函數式編程語言時並沒有考慮過效率問題，而且面向函数式编程特性，如保证参照透明性（英语：Referential transparency）等，要求独特的数据结构和算法。 然而，最近几种函数式编程语言已经在商业或工业系统中使用，例如：...

\Gamma \,} 函数（伽瑪函數；Gamma函数），是階乘函數在實數與複數域上的擴展。如果 n {\displaystyle n} 為正整數，則： Γ ( n ) = ( n − 1 ) ! {\displaystyle \Gamma (n)=(n-1)!} 根据解析延拓原理，伽瑪函數可以定義在除去非正整數的整個複數域上：...

造性集合論中的选择公理的区别是，前者不具有外延性而后者具有。 一些構造性集合論的结果用到了可数选择公理或依賴選擇公理，这兩個公理在構造性集合論內並不蘊涵排中律。尽管可数选择公理在构造性數學中的应用特別广泛，它的使用也受到質疑。 可构造性公理与连续统假设都蘊涵了选择公理，更準確地說，兩者都嚴格強於选择...

x^{2}+y^{2}-1=0} 確定的函數。而可以直接用含自变量的算式表示的函数称为显函数，也就是通常所说的函数，如 y = cos ⁡ ( x ) {\displaystyle y=\cos(x)} 。 隱函數定理說明了隱式方程在什麼情況下會給出定義良好的隱函數。 隐函数的一个常见类型是反函数。若 f {\displaystyle...

變量值對應的因變量值，那麼這個函數就是單調減少函數。單調增加函數和單調減少函數統稱單調函數。 这個概念最先出现在微积分中，后来推广到序理论中更加抽象结构中。尽管概念一般是一致的，两个学科已经发展出稍微不同的术语。在微积分中，我们经常说函数是单调递增和单调递减的，在序理论中偏好术语单调、反单调或序保持、序反转。...

在很多编程语言中，映射（map）是一个高阶函数的名字，它将一个给定函数（英语：procedural parameter）应用到一个函子比如列表的每个元素，返回按相同次序的一个列表。映射的概念不受限于列表：它可工作在顺序的容器，类似树的容器，甚至是抽象容器比如future与promise。...

從語法上講，參數模式通常在函數聲明（例如在C＃中：void f(out int x)）中用關鍵字表示。通常，輸出參數通常放在參數列表的末尾以清楚地區分它們。TScript使用另一種方​​法，其中在函數聲明中列出了輸入參數，然後列出了輸出參數，並用冒號（:）分隔，並且函數本身沒有返回類型，如在此函數中一樣，該函數用於計算文本的大小分段：...

arithmetic） 初等函数（英语：Elementary function arithmetic） 原始递归（英语：Primitive recursive arithmetic） 罗宾逊算术（英语：Robinson arithmetic） 斯科勒姆算术（英语：Skolem arithmetic） 實數的構造 塔尔斯基公理化（英语：Tarski's...

表示一拋物線的方程，一以 x {\displaystyle x} 為變數的二次代數函數。 代數式 解析函数 复变函数 初等函数 函数 广义函数 特殊函数及人名名词列表 函数类型列表 多項式 有理函數 特殊函数 超越函數 Ahlfors, Lars. Complex Analysis. McGraw Hill. 1979...

折叠可以视为是将数据结构的结构性构件一致性的替代为函数和值。例如在很多函数式语言中，列表是用两个原语建造的：任何列表要么是一个空列表，通常叫做nil（[]），要么是通过将一个元素前缀于另一个列表之前来构造的，通过应用cons函数（在Haskell中写为冒号(:)），建立所谓的cons节点（英语：Node...

回这个元素。之所以知道它是第一个元素的，是因为列表的定义方式，它是一个单一元素构造在一个列表之上，这个单一元素必定是第一个元素。空列表根本不匹配这个模式，因为空列表没有头部（要构造的第一个元素）。 在这个例子中，我们没有用到list，可以漠视它，而将函数写为： head (element:_) = element...

雖然在集合中，元素的順序不重要，但我們假設從左到右以由小到大的方式記錄冪集合中的元素，以便討論。 通過這個「對應表」，我們可以構造一個自然數集合 W {\displaystyle W} ，構造方式為： 當左側的自然數「屬於」它對應的冪集合，我們就在 W {\displaystyle W} 裡面記錄「不存在」這個自然數。...

C++标准规定，定义是声明的一种；具体来说，声明只需为函数或数据对象指定类型即可，而定义则还必须为其赋初值。所以“声明和定义”的提法严格来说是不准确的，但这种说法仍被广为采用。 一个类/结构的构造函数可以在定义中于构造函数体前包含一个初始化列表，用以给类/结构的元素赋初值。例如如下程序段： struct...

函數之於回傳Animal的函數...等等）的子型別關係。當我們用型別構造出更複雜的型別，原本型別的子型別性質可能被保持、反轉、或忽略───取決於型別構造器的變型性質。例如在C#中： IEnumerable<Cat>是IEnumerable<Animal>的子型別，因為型別構造...

分，用於有效解决一些僅以代數學和幾何學無法處理的問題。 微積分學於代數學和幾何學的基礎上建立，其中微分是指函數的局部變化率的一種線性描述，包括求導數和其運算，即一套關於變化率的理論。它使得函數、速度、加速度和斜率等均可用一套通用的符號進行演繹；積分是微積分學與數學分析裡的一個核心概念，包括求積分的...

在数学中，布尔函数（Boolean function），又称逻辑函数，描述如何基于对布尔输入的某种逻辑计算确定布尔值输出。它们在复杂性理论的问题和数字计算机的芯片设计中扮演基础角色。布尔函数的性质在密码学中扮演关键角色，特别是在对称密钥算法的设计中（参见S-box）。 在数学中，有限布尔函数是如下形式的函数f :...

在函数式编程中，单子（monad）是一种抽象，它允许以泛型方式构造程序。支持它的语言可以使用单子来抽象出程序逻辑需要的样板代码（英语：boilerplate code）。为了达成这个目标，单子提供它们自己的数据类型（每种类型的单子都有特定的类型），它表示一种特殊形式计算，与之在一起的有两个过程，一个...

便是雙射的了；其反函數為正平方根函數。 R → R : x ↦ ( x − 1 ) x ( x + 1 ) = x 3 − x {\displaystyle \mathbb {R} \to \mathbb {R} :x\mapsto (x-1)x(x+1)=x^{3}-x} 不是雙射函數，因為 − 1...

matrix）是函數的一阶偏导数以一定方式排列成的矩阵。 當其為方形矩阵時，其行列式称为雅可比行列式（Jacobi determinant）。要注意的是，在英文中雅可比矩陣跟雅可比行列式都可稱作Jacobian。 其重要性在於，如果函數f : ℝn → ℝm 在點 x 可微的話，在點 x 的雅可比矩陣即為該函數...

构造函数初始化分配的内存。 new的使用称为“new运算符表达式”，其内部实现分为两步： 调用相应的operator new()函数，动态分配内存。如果operator new()不能成功获得内存，则调用new_handler函数。如果没有设置new_handler函数...

deleting " << name << " with age " << age << endl; } 另外要注意的是，析構函數是不容許參數傳遞。然而，與構造函數一樣，析構函數可以被顯式調用： int main() { person someone("Wales", 40); someone.~person();...

真值表是使用於邏輯中（特別是在連結邏輯代數、布林函數和命題邏輯上）的一類數學用表，用來計算邏輯表示式在每種論證（即每種邏輯變數取值的組合）上的值。尤其是，真值表可以用來判斷一個命題表示式是否對所有允許的輸入值皆為真，亦即是否為邏輯有效的。 「用真值表製表的推理模式是由弗雷格、查尔斯·皮尔士和恩斯特·...