比浏览器更快的访问！
55 关系: Alpha合成，基本子结构，原始递归函数，坐標系，多元微积分，多重集，孪生素数，字典序，上下文无关文法，三线坐标，幂集构造，交替式图灵机，位置空间与动量空间，形式文法，删除 (SQL)，嵌入下推自动机，全序关系，关系 (数据库)，关系代数 (数据库)，关系键，关系模型，元组关系演算，前缀文法，确定有限状态自动机，笛卡儿积，米利型有限状态机，约束补偿问题，直觉类型论，非确定有限状态自动机，表格，解析几何，记录，语义网堆栈，语言集成查询，自動機理論，配对公理，色彩空間，GLib，Kripke结构，Mnesia，PostgreSQL，RDFa，SQL语法，Swoogle，TypeScript，柯里化，插入 (SQL)，李代数胚，欧几里得空间，正则形式的博弈，...，沃罗诺伊图，有序对，有限状态机，摩尔型有限状态机，数组。 扩展索引 (5 更多) »
Alpha合成
在计算机图形学领域，Alpha合成（alpha compositing）是一种将图像与背景结合的过程，结合后可以产生部分透明或全透明的视觉效果。Alpha合成也叫阿尔法合成或透明合成。渲染图像时，通常会将目标图像中的多个子元素单独渲染，最后再把多张子元素的图片为单独的图像。例如，电视直播时就会将大量计算机生成的图像元素合成到现场镜头上。 要正确结合图像元素，每个元素的必须有对应的。遮片包含覆盖范围信息——图中几何对象的形状——可以藉此分辨图像中的任意位置到底是被绘制的几何对象本身，还是逻辑上的「空白」区域。.
新！!: 多元组和Alpha合成 · 查看更多 »
基本子结构
在模型论，给定在同一个语言 L 中的两个结构 M 和 N，我们称 M 是 N 的基本子结构(有时表示为 M) 如果 1.
原始递归函数
在可计算性理论中，原始递归函数（primitive recursive functions）对计算的完全的形式化而言是形成重要构造板块的一类函数。它们使用递归和复合作为中心运算来定义，并且是递归函数的严格的子集，它们完全是可计算函数。通过补充允许偏函数和介入无界查找运算可以定义出递归函数的更广泛的类。 通常在数论中研究的很多函数，近似于实数值函数，比如加法、除法、阶乘、指数，找到第 n 个素数等等是原始递归的（Brainerd and Landweber, 1974）。实际上，很难设计不是原始递归的函数，尽管某些函数是已知的(比如阿克曼函数)。所以，通过研究它们，我们能发现有广泛影响的结论的那些性质。 原始递归函数可以用总是停机的图灵机计算，而递归函数需要图灵完全系统。 原始递归函数的集合在计算复杂性理论中叫做PR。.
新！!: 多元组和原始递归函数 · 查看更多 »
坐標系
坐標系是數學或物理學用語，定義如下： 对于一个n维系统，能够使每一个点和一组（n个）标量构成一一对应的系统。 坐標系可以用一個有序多元组表示一個點的位置。一般常用的坐標系，各維坐標的數字均為實數，但在高等數學中坐標的數字可能是複數，甚至是或是其他抽象代數中的元素（如交换环）。坐標系可以使幾何學的問題轉換為數字的問題，反之亦然，是解析幾何學的基礎。 描述地理位置時所用的經度及緯度就是坐標系統的一種。在物理學中，描述一系統在空間中運動的參考坐標系統則稱作參考系。.
多元微积分
在微积分学中，多元微积分（也称为多变量微积分，Multivariable calculus，multivariate calculus）是涉及多元函數的微積分學的統稱。相较于只有单个变量的一元微积分，多元微积分在函数的求导和积分等运算中含有至少两个变量。例如微分多元函數時，就引申出偏微分、全微分，對多元函數進行積分計算時，又會涉及多重積分。.
多重集
多重集或多重集合是数学中的一个概念，是集合概念的推广。在一个集合中，相同的元素只能出现一次，因此只能显示出有或无的属性。在多重集之中，同一个元素可以出现多次。正式的多重集的概念大约出现在1970年代。.
孪生素数
孪生素数（也称为孪生--数、双生质数）是指一对素数，它们之间相差2。例如3和5，5和7，11和13，10016957和10016959等等都是孪生素数。 关于孪生素数有孪生素数猜想，即是否存在无穷多对孪生素数。这是数论中未解决的一个重要问题。是孪生素数猜想的一个增强形式，猜测孪生素数的分布与素数定理中描述的素数分布规律相类似。 与之相关的，两者相差为1的素数对只有 (2, 3)；两者相差为3的素数对只有 (2, 5)。.
字典序
(a2, b2,..., n2) 的有序多元组形式，那么两者即可排序——从前往后：.
上下文无关文法
上下文无关文法（context-free grammar，縮寫為CFG），在计算机科学中，若一个形式文法 G.
新！!: 多元组和上下文无关文法 · 查看更多 »
三线坐标
平面几何中，一点关于给定三角形的三线坐标描述了它到三角形三条边的相对距离。三线坐标是齐次坐标的一个例子，经常简称为三线。.
幂集构造
在计算理论中，幂集构造是转换非确定有限状态自动机（NFA）到识别同样语言的确定有限状态自动机（DFA）的标准方法。它在理论上的重要性源于它确立了NFA尽管有额外的灵活性，它不能识别不能被任何DFA识别的任何语言。在实践中的重要性源于它把易于构造的NFA转换成了更有效执行的DFA。但是如果NFA有n个状态，结果的DFA可能有最多2n个状态，这种指数增长有时使这种构造对于大NFA而言是不实际的。.
交替式图灵机
交替式图灵机（, ATM）是计算复杂度理论中定义的一种非确定型图灵机（NTM）。与一般非确定型图灵机不同，交替式图灵机将接受语言的规则一般化到NP和反NP。交替式图灵机的概念由Chandra和于1976年提出。.
新！!: 多元组和交替式图灵机 · 查看更多 »
位置空间与动量空间
位置空间与动量空间是物理学中一对联系紧密的矢量空间。 位置空间（或称实空间、坐标空间）是空间中所有物体的位置向量r的集合。这个空间通常是三维的。位置向量定义了空间中的一个点。如果位置向量随时间会发生变化的话，那么它就可以描绘出一个路径或一个面，如粒子的运动轨迹。 动量空间是空间中所有物体的动量向量的集合。这个空间通常也是三维的。一个物体的动量可以反映它的运动情况。无论在经典力学还是在量子力学中，动量都是非常重要的一个概念。然而，依据量子力学的德布罗意关系，p.
新！!: 多元组和位置空间与动量空间 · 查看更多 »
形式文法
在计算机科学中，形式语言是：某个字母表上，一些有限长字串的集合，而形式文法是描述这个集合的一种方法。形式文法之所以这样命名，是因为它与人类自然语言中的文法相似的缘故。 形式文法描述形式语言的基本想法是，从一个特殊的初始符号出发，不断的应用一些产生式规则，从而生成出一个字串的集合。产生式规则指定了某些符号组合如何被另外一些符号组合替换。举例来说，假设字母表只包含'a'和'b'两个字符，初始符号是'S'，我们应用下述规则： 于是我们可以通过把"S"重写为"aSb"（规则1），我们还可以继续应用这条规则把"aSb"重写为"aaSbb"。这个重写的过程不断重复，直到结果中只包含字母表中的字母为止。在例子中，我们可以得到S -> aSb -> aaSbb -> aababb这样的结果。由文法刻画的语言，包含了所有可以这样产生的字串，比如ba, abab, aababb, aaababbb等等。.
删除 (SQL)
在SQL裡，DELETE语句用于从表中删除一个或多个数据。使用它需要定义一个子集作为条件，否则表中的所有数据都会被删除。.
新！!: 多元组和删除 (SQL) · 查看更多 »
嵌入下推自动机
嵌入下推自动机或 EPDA 是分析树-邻接文法(TAG)的计算模型。除了不再使用堆栈来存储符号之外，它类似于分析上下文无关文法的下推自动机。它有存储符号的重复堆栈组成的一个栈，这给予了 TAG 在上下文无关文法和上下文有关文法之间的复杂度，或者说是适度上下文有关文法的子集。.
新！!: 多元组和嵌入下推自动机 · 查看更多 »
全序关系
全序关系即集合X上的反对称的、传递的和完全的二元关系（一般称其为\leq）。 若X满足全序关系，则下列陈述对于X中的所有a,b和c成立：.
关系 (数据库)
在关系模型中，关系是描述现实世界的实体及其之间各种联系的单一的数据结构。由关系的名称和一组具有共同属性的无序的多元组构成。关系可以看做是一个笛卡尔积的有限子集，笛卡尔积中的元组并不是全都有意义，只有有意义的那些才能成为关系。 |- |colspan.
新！!: 多元组和关系 (数据库) · 查看更多 »
关系代数 (数据库)
关系代数是一阶逻辑的分支，是闭合于运算下的关系的集合。运算作用于一个或多个关系上来生成一个关系。关系代数是计算机科学的一部分。 在纯数学中的关系代数是有关于数理逻辑和集合论的代数结构。.
新！!: 多元组和关系代数 (数据库) · 查看更多 »
关系键
关系键是关系数据库的重要组成部分。关系键是一个表中的一个或几个属性，用来标识该表的每一行或与另一个表产生联系。.
关系模型
于数据库管理的关系模型（Relational model）是基于谓词逻辑和集合论的一种数据模型，廣泛被使用於資料庫之中。最早於1970年由埃德加·科德提出。.
元组关系演算
元组演算是埃德加·科德導入的演算，是关系模型的一部分，發展目的是提供宣告式的数据库查询语言。数据库查询语言和后来的SQL中的一些靈感是由元组演算而來。SQL和原來的关系模型和演算已有許多不同，後來成為實際上的数据库查询语言標準，几乎所有的关系数据库管理系统中都會用到SQL或是其變體。後來Lacroix和Pirotte提出了接近于一阶逻辑的域演算，并证明了这两种演算和关系代数在表达能力上是等价的。若关系数据库的查询语言可以表达一種以上上述的查询方式，則可称为具有「关系完备性」。 域关系演算与元组关系演算最大的区别是域关系演算中的变量表示数据库的表属性，而元组关系演算的变量表示元组，即数据库的一行。.
新！!: 多元组和元组关系演算 · 查看更多 »
前缀文法
在计算机科学中，前缀文法是类似形式文法的一种文法，这里的字符串是从基础字符串通过不断的替代前缀建造出来的。前缀文法精确的描述了所有正则语言。.
确定有限状态自动机
在计算理论中，确定有限状态自动机或确定有限自动机（deterministic finite automation, DFA）是一个能实现状态转移的自动机。对于一个给定的属于该自动机的状态和一个属于该自动机字母表\Sigma的字符，它都能根据事先给定的转移函数转移到下一个状态（这个状态可以是先前那个状态）。.
新！!: 多元组和确定有限状态自动机 · 查看更多 »
笛卡儿积
在数学中，两个集合X和Y的笛卡儿积（Cartesian product），又称直积，在集合论中表示为X × Y，是所有可能的有序对組成的集合，其中有序對的第一个对象是X的成员，第二个对象是Y的成员。 舉個實例，如果集合X是13个元素的点数集合，而集合Y是4个元素的花色集合，则这两个集合的笛卡儿积是有52个元素的标准扑克牌的集合。 笛卡儿积得名于笛卡儿，因為這概念是由他建立的解析几何引申出來.
米利型有限状态机
在计算理论中，米利型有限状态机（Mealy machine）是基于它的当前状态和输入生成输出的有限状态自动机（更精确的叫有限状态变换器）。这意味着它的状态图将为每个转移边包括输入和输出二者。与输出只依赖于机器当前状态的摩尔有限状态机不同，它的输出与当前状态和输入都有关。但是对于每个Mealy机都有一个等价的Moore机，该等价的Moore机的状态数量上限是所对应Mealy机状态数量和输出数量的乘积加1（|S'|.
新！!: 多元组和米利型有限状态机 · 查看更多 »
约束补偿问题
約束補償問題（CSPs）是種數學的問題，其定義為一組物件(object)，而這些物件需要滿足一些限制或條件。 CSPs將其問題中的單元(entities)表示成在變數上有限條件的一組同質(homogeneous)的集合, 這類問題透過"約束補償方法"來解決。CSPs是人工智慧和運籌學 的熱門主題,因為它們公式中的規律，提供了共同基礎來分析、解決很多看似不相關的問題。 CSPs通常呈現高複雜性, 需要同時透過啟發式搜索 和 聯合搜索 的方法，來在合理的時間內解決問題。 布林可滿足性問題 (SAT), 可滿足性的理論 (SMT)和回答集程式設計 (ASP) 可以算是某種程度上的約束補償問題。 以下舉例為幾個簡單的約束滿足問題.
新！!: 多元组和约束补偿问题 · 查看更多 »
直觉类型论
觉类型论、或构造类型论、或Martin-Löf 类型论、或就叫类型论是基于数学构造主义的函数式编程语言、逻辑和集合论。直觉类型论由瑞典数学家和哲学家 Per Martin-Löf 在1972年介入。 Martin-Löf 已经多次修改了它的提议；先是非直谓性的而后是直谓性的，先是外延的而后是内涵的类型论变体。 直觉类型论基于的是命题和类型的同一: 一个命题同一于它的证明的类型。这种同一通常叫做Curry-Howard同构，它最初公式化了命题逻辑和简单类型 lambda 演算。类型论通过介入包含着值的依赖类型把这种同一扩展到谓词逻辑。类型论内在化了 Brouwer、Heyting 和 Kolmogorov 提议的叫做 BHK释义的直觉逻辑释义。类型论的类型扮演了类似于集合在集合论的角色，但是在类型论中的函数总是可计算的。.
非确定有限状态自动机
在计算理论中，非确定有限状态自动机或非确定有限自动机（NFA）是对每个状态和输入符号对可以有多个可能的下一个状态的有限状态自动机。这区别于确定有限状态自动机（DFA），它的下一个可能状态是唯一确定的。尽管DFA和NFA有不同的定义，在形式理论中可以证明它们是等价的；就是说，对于任何给定NFA，都可以构造一个等价的DFA，反之亦然：通过使用幂集构造。两种类型的自动机只识别正则语言。非确定有限自动机有时被称为有限类型的子移位（subshift）。非确定有限状态自动机可推广为概率自动机，它为每个状态转移指派概率。 非确定有限自动机是Michael O. Rabin和Dana Scott在1959年介入的，他们证明了它与确定自动机的等价性。.
新！!: 多元组和非确定有限状态自动机 · 查看更多 »
表格
表格就是由若干的行与列所构成的一种有序的组织形式。实际上，这是对最基本的表格类型的简化描述，而这种简化描述则引出了下列事项：.
解析几何
解析几何（Analytic geometry），又稱為坐标几何（Coordinate geometry）或卡氏幾何（Cartesian geometry），早先被叫作笛卡兒几何，是一种借助于解析式进行图形研究的几何学分支。解析几何通常使用二维的平面直角坐标系研究直线、圆、圆锥曲线、摆线、星形线等各种一般平面曲线，使用三维的空间直角坐标系来研究平面、球等各种一般空间曲面，同时研究它们的方程，并定义一些图形的概念和参数。 在中学课本中，解析几何被简单地解释为：采用数值的方法来定义几何形状，并从中提取数值的信息。然而，这种数值的输出可能是一个方程或者是一种几何形状。 1637年，笛卡兒在《方法论》的附录“几何”中提出了解析几何的基本方法。 以哲学观点写成的这部法语著作为后来牛顿和莱布尼茨各自提出微积分学提供了基础。 对代数几何学者来说，解析几何也指（实或者複）流形，或者更广义地通过一些複變數（或實變數）的解析函数为零而定义的解析空间理论。这一理论非常接近代数几何，特别是通过让-皮埃尔·塞尔在《代数几何和解析几何》领域的工作。这是一个比代数几何更大的领域，不过也可以使用类似的方法。.
记录
在计算机科學中，记录（record）也稱為結構體（structure）或複合資料（compound data）是基本的数据结构，記錄是一些相关欄位的聚集，它们可由不同的資料類型組成，通常是固定的數量和序列。记录中的每个欄位或稱為元素，但可能與集合的元素概念混淆不清。在物件導向編程中，記錄的欄位也另外被稱為成員；依照慣例和具體的編程語言，多元组有可能會被認為是一個記錄，反之亦然。 譬如將日期儲存為一個記錄，則其中包含了數字的年份，以字串表示的月份和數字的日期等欄位。而人事記錄可包含姓名，薪水和職級等欄位。一個圓形的記錄可包含圓中心點和它的半徑－在這種情況下，圓中心點本身可能表示為x和y座標的點記錄。 記錄與陣列的區別在於，它們的欄位數通常是固定的，每個欄位都有一個名稱，而且每個欄位可能有不同的類型。 一個記錄型別是描述其中欄位所具有值和變量的資料類型。大多數現代計算機語言允許開發人員自由定義新的記錄型別。記錄型別的定義將會指定每個欄位的資料類型和存取它的標識符（名稱或標籤）。 記錄可以存在於任何存儲介質中，包括主記憶體和大容量存儲裝置，如磁帶或硬盤。記錄是大多數資料結構的基本組成部分，特別是鏈接的資料結構。 許多計算機檔案是以邏輯記錄的陣列組成的，通常被分組成更大的實體記錄或區塊以提高存取效率。 函數或程序的參數通常當作是一個記錄變量其中的欄位；而在呼叫該函數時，傳遞給它的參數可被視為將欄位的值指派給該記錄變量。此外，通常用於實現程序調用的呼叫堆疊中，每個登錄即是一條啟動記錄或呼叫框頁，包含了程序參數和局部變量，返回位址和其它內部欄位。 物件導向語言中的物件本質上是一個記錄，有如何處理該記錄的專用程序；而物件型別是對記錄類型的詳細描述。實際上在大多數物件導向語言中，記錄只是物件的特殊情況，並且被稱為普通舊資料結構（plain old data structures, PODS），與使用OO特徵的物件形成對比。 計算機的記錄可類比為數學的元組。相同地，記錄型別可看作是兩個或多個數學集合的笛卡爾積，或是以特定語言實作的抽象乘積型別。 在许多计算机语言中，都对结构有所定义：.
语义网堆栈
语义网堆栈（Semantic Web Stack）或称语义网蛋糕Semantic Web Cake、语义网千层饼（Semantic Web Layer Cake）指语义网的体系架构。.
语言集成查询
语言集成查询（英文：Language Integrated Query，縮寫：LINQ），發音"link"，是微軟的一项技术，新增一種自然查詢的SQL語法到.NET Framework的程式語言中，目前可支援C#以及Visual Basic.NET語言。2007年11月19日随.NET Framework 3.5发布了LINQ技术。 包括LINQ to Objects、LINQ to SQL、LINQ to Datasets、LINQ to Entities、LINQ to Data Source、LINQ to XML/XSD等。.
新！!: 多元组和语言集成查询 · 查看更多 »
自動機理論
在理论计算机科学中，自动机理论是对抽象机和它们能解决的问题的研究。自动机理论密切关联于形式语言理论，因为自动机经常按它们所能识别的形式语言类来分类。.
配对公理
在公理化集合论和使用它的逻辑、数学和计算机科学分支中，配对公理是 Zermelo-Fraenkel 集合论的公理之一。.
色彩空間
色彩空间（Color space）是对色彩的组织方式。借助色彩空间和针对物理设备的测试，可以得到色彩的固定模拟和数字表示。色彩空间可以只通过任意挑选一些颜色来定义，比如像彩通系统就只是把一组特定的颜色作为样本，然后给每个颜色定义名字和代码；也可以是基于严谨的数学定义，比如 Adobe RGB、sRGB。 色彩模型（Color model）是一种抽象数学模型，通过一组数字来描述颜色（例如RGB使用三元组、CMYK使用四元组）。如果一个色彩模型与绝对色彩空间没有映射关系，那么它多少都是与特定应用要求几乎没有关系的任意色彩系统。 如果在色彩模型和一个特定的参照色彩空间之间建立特定的映射函数，那么就会在这个参照色彩空间中出现有限的「覆盖区」（footprint），称作色域。色彩空间由色彩模型和色域共同定义。例如Adobe RGB和sRGB都基于RGB颜色模型，但它们是两个不同绝对色彩空间。 定义色彩空间时，通常使用 CIELAB 或者 CIEXYZ 色彩空间作为参考标准。这两个色彩空间在设计时便要求包含普通人眼可见的所有颜色。 由于「色彩空间」有着固定的色彩模型和映射函数组合，非正式场合下，这一词汇也被用来指代色彩模型。尽管固定的色彩空间有固定的色彩模型相对应，这样的用法严格意义上是错误的。.
GLib
GLib是一个跨平台的、用C语言编写的五个底层库的集合，为GNOME所使用。.
Kripke结构
克里普克结构（或称Kripke结构）是迁移系统的一个变种，最初由索尔·克里普克提出，用于在模型检测中表示一个系统的行为。Kripke结构本身是一个图，其结点表示系统可达的状态，其边表示状态的迁移。 有一个标号函数将结点与结点所具有的性质的集合映射起来。时序逻辑传统上是由Kripke结构进行解释的。.
新！!: 多元组和Kripke结构 · 查看更多 »
Mnesia
Mnesia，是使用Erlang程式語言编写的分布式、软实时数据库管理系统。它也是作为开放电信平台的一部分发布的。.
新！!: 多元组和Mnesia · 查看更多 »
PostgreSQL
PostgreSQL是自由的对象-关系型数据库服务器（数据库管理系统），在灵活的BSD风格许可证下发行。它在其他开放源代码数据库系统（比如MySQL和Firebird），和专有系统（比如Oracle、Sybase、IBM的DB2和Microsoft SQL Server）之外，为用户又提供了一种选择。 PostgreSQL不寻常的名字导致一些读者停下来尝试拼读它，特别是那些把SQL拼读为"sequel"的人。PostgreSQL开发者把它拼读为"post-gress-Q-L"。（，5.6k MP3）。它也经常被简略唸为"postgres"。.
新！!: 多元组和PostgreSQL · 查看更多 »
RDFa
RDFa是一個W3C推薦標準。它擴充了XHTML的幾個屬性，網頁製作者可以利用這些屬性在網頁中添加可供机器读取的後設資料。與RDF資料模型的對應關係使得RDFa可以將RDF的三元组嵌入在XHTML文档中，它也使得符合標準的使用端可以從RDFa文件中提取出這些RDF三元组來。 W3C的「XHTML內的RDF」小組也在討論如何在非XML的HTML下實作RDFa。主要的問題是在非XML的HTML裡無法使用XML名稱空間。 RDFa社群建了一個用來放RDFa工具、例子、教學的維基 。.
SQL语法
SQL编程语言的语法是由ISO/IEC 9075标准中的ISO/IEC SC 32委员会所定义和维护的。尽管存在标准，不过SQL代码仍然无法在不进行修改的前提下在不同的数据库系统中直接移植。.
Swoogle
Swoogle是一个针对互联网上的语义网文档、术语以及数据的搜索引擎。Swoogle利用一种搜索器系统来发现资源描述框架（RDF）文档以及内置有RDF内容的HTML文档。Swoogle会针对这些文档及其组成部分（如术语和三元组）进行推理，并在其数据库之中记录和索引具有实际意义的，关于这些文档及其组成部分的元数据。.
新！!: 多元组和Swoogle · 查看更多 »
TypeScript
TypeScript是一種由微軟開發的自由和開源的編程语言。它是JavaScript的一個严格超集，並添加了可選的靜態型別和類別基礎的物件導向編程。C#的首席架构师以及Delphi和Turbo Pascal的创始人安德斯·海尔斯伯格参与了TypeScript的开发。 TypeScript设计目标是开发大型應用，然后转译成JavaScript。由于TypeScript是JavaScript的严格超集，任何現有的JavaScript程式都是合法的TypeScript程序。 TypeScript支援為現存JavaScript函式庫添加類型資訊的定义文件，方便其他程序像使用静态类型的值一样使用现有库中的值。目前有第三方提供常用函式庫如jQuery、MongoDB、Node.js和D3.js的定义文件。 TypeScript编译器本身也是用TypeScript写成（见自举），并被转译为JavaScript，以Apache License 2发布。.
新！!: 多元组和TypeScript · 查看更多 »
柯里化
在计算机科学中，柯里化（Currying），又译为卡瑞化或加里化，是把接受多个参数的函数变换成接受一个单一参数（最初函数的第一个参数）的函数，并且返回接受余下的参数而且返回结果的新函数的技术。这个技术由克里斯托弗·斯特雷奇以逻辑学家哈斯凱爾·加里命名的，尽管它是Moses Schönfinkel和戈特洛布·弗雷格发明的。 在直觉上，柯里化声称「如果你固定某些参数，你将得到接受余下参数的一个函数」。所以对于有两个变量的函数y^x，如果固定了y.
插入 (SQL)
在SQL裡，可以利用INSERT陈述式對資料表插入一个元组或子查询结果。.
新！!: 多元组和插入 (SQL) · 查看更多 »
李代数胚
在数学中，李代数胚（Lie Algebroid）在李群胚理论中的角色恰如李代数在李群理论中的角色：将整体问题减化为无穷小情形。就像李群胚可以视为“具有许多对象的李群”，李代数胚可视为“具有许多对象的李代数”。 确切地说，一个李代数胚是三元组 (E,, \rho)，其中 E 为流形 M 上一个向量丛， 是截面 \Gamma (E) 组成的模上的一个李括号，向量丛同态 \rho: E\rightarrow TM 称为锚。这里TM 是 M 的切丛。锚与李括号满足莱布尼兹法则： 这里 X,Y \in \Gamma(E), f\in C^\infty(M) 和 \rho(X)f 是 f 沿着向量场\rho(X) 的导数。从而 对任何 X,Y \in \Gamma(E)。.
欧几里得空间
欧几里得几何是在约公元前300年，由古希腊数学家欧几里得建立的角和空间中距离之间联系的法则。欧几里得首先开发了处理平面上二维物体的“平面几何”，他接着分析三维物体的“立体几何”，所有欧几里得的公理被编排到幾何原本。 这些数学空间可以被扩展来应用于任何有限维度，而这种空间叫做 n维欧几里得空间（甚至简称 n 维空间）或有限维实内积空间。 这些数学空间还可被扩展到任意维的情形，称为实内积空间（不一定完备）， 希尔伯特空间在高等代数教科书中也被称为欧几里得空间。 为了开发更高维的欧几里得空间，空间的性质必须非常仔细的表达并被扩展到任意维度。 尽管结果的数学非常抽象，它却捕获了我们熟悉的欧几里得空间的根本本质，根本性质是它的平面性。 另存在其他種類的空间，例如球面非欧几里得空间，相对论所描述的四维时空在重力出现的时候也不是欧几里得空间。.
新！!: 多元组和欧几里得空间 · 查看更多 »
正则形式的博弈
在博弈论中，正则形式是描述博弈的一种方式。与延展形式不同，正则形式不用图形来描述博弈，而是用矩阵来陈述博弈。与延展形式的表述方式相比，这种方式在识别出严格优势策略和纳什均衡上更有用，但会丢失某些信息。博弈的正则形式的表述方式包括如下部分：每个参与者所有显然的和可能的策略，以及和与其相对应的收益。 在非完美信息的完全静态博弈中，正则形式的表述方式详细地说明了参与者策略空间和收益函数。策略空间是某个参与者的所有可能策略的集合。策略是参与者在博弈的每个阶段——不管在博弈中这个阶段实际上是否会出现——将要采取的行动的完整计划。每个参与者的收益函数，是从参与者策略空间的向量积到该参与者收益集合（一般是实数集，数字表示基数效用或序数效用——在正则形式的表述方式中常常是基数效用）的映射。也就是说，参与者的收益函数把策略组合（所有参与者策略的清单）作为它的输入量，然后输出参与者的收益。.
新！!: 多元组和正则形式的博弈 · 查看更多 »
沃罗诺伊图
沃罗诺伊图（Voronoi Diagram，也称作Dirichlet tessellation，狄利克雷镶嵌）是由俄国数学家格奧爾吉·沃羅諾伊建立的空间分割算法。灵感来源于笛卡尔用凸域分割空间的思想。在几何、晶体学、建筑学、地理学、气象学、信息系统等许多领域有广泛的应用。.
有序对
在数学中，有序对是两个对象的搜集，使得可以区分出其中一个是“第一个元素”而另一个是“第二个元素”（第一个元素和第二个元素也叫做左投影和右投影）。带有第一个元素a和第二个元素b的有序对通常写为(a, b)。 符号(a, b)也表示在实数轴上的开区间；在有歧义的场合可使用符号\langle a,b\rangle。.
有限状态机
有限状态机（finite-state machine，縮寫：FSM）又稱有限状态自动机，简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。.
摩尔型有限状态机
在计算理论中，摩尔型有限状态机（Moore machine）是指输出只由当前的状态所确定的有限状态自动机。摩尔型有限状态机的状态图对每个状态包含一个输出信号，相对于米利型有限状态机，它映射机器中的“转移”到输出。 摩尔型有限状态机的名字来自它的提出者，写了Gedanken-experiments on Sequential Machines的状态机先驱Edward F. Moore。.
新！!: 多元组和摩尔型有限状态机 · 查看更多 »
数组
在計算機科學中，陣列資料結構（array data structure），簡稱数组（Array），是由相同类型的元素（element）的集合所組成的資料結構，分配一块连续的内存来存储。利用元素的索引（index）可以计算出该元素對應的儲存地址。 最簡單的資料結構類型是一維陣列。例如，索引為0到9的32位元整數陣列，可作為在記憶體位址2000，2004，2008，...2036中，儲存10個變量，因此索引為i的元素即在記憶體中的2000+4×i位址。陣列第一個元素的記憶體位址稱為第一位址或基礎位址。 二维数组，对应于數學上的矩陣概念，可表示為二維矩形格。例如： a.
