您的当前位置：领域 > 数学 领域
二阶算术 （数学名词）
二阶算术(second order arithmetics)是递归论研究的内容之
统计描述 （数学术语）
它研究如何用科学的方法去搜集、整理、分析经济和社会发展的实际数据，并通过统计所特
闭包公理 （数学公理）
一个集合闭合在某个运算或某些运算的搜集下被称为满足闭包性质。闭包性质经常作为公理
合理丢失 （数学名词）
合理丢失是数学名词。有机质谱分析中，分子离子分解时 丢失的是原结构离子中具有的或
连续抽检 （数学名词）
连续抽检（continuous sampling inspection）是199
单路信道 （数学名词）
单路信道（one way channel）是1993年公布的数学名词，出自《数学
降链条件 （数学名词）
降链条件（descending chain condition）是1993年公布
秩2方法 （数学名词）
秩2方法（rank-two method）是1993年公布的数学名词。
集合符号 （数学的分支集合的表达符号）
集合符号，是数学的分支集合的表达符号，主要应用于计算机领域。
四圆定理 （数学术语）
垂径定理垂直于弦的直径平分这条弦，并且平分弦所对的两条弧。
中继信道 （数学名词）
中继信道（relay channel）是1993年公布的数学名词。
校验比特 （数学名词）
校验比特（check bit）是1993年公布的数学名词。
模式移动 （数学名词）
模式移动（pattern move）是1993年公布的数学名词。
上链映射 （数学名词）
上链映射是1993年全国科学技术名词审定委员会公布的数学名词。
上连续格 （数学名词）
上连续格是1993年全国科学技术名词审定委员会公布的数学名词。
分解空间 （数学术语）
分解空间是一个数学术语。分解空间 (decomposition space)一类
既约概形 （数学领域术语）
既约概形，数学领域术语。既约概形(reduced scheme)代数簇的推广.若
费马引理 （数学定理）
费马（Fermat）引理是实分析中的一个定理，以皮埃尔·德·费马命名。通过证明可
恒等逼近 （数学术语）
恒等逼近（approximations of the identity）是逼近于
多元总体 （数学名词）
多元总体是1993年全国科学技术名词审定委员会公布的数学名词。《数学名词》第一版
带算子群 （数学名词）
带算子群（group with operators）是1993年公布的数学名词。
直射映射 （数学名词）
直射映射（collineation [mapping]）是1993年公布的数学名
有理等价 （数学名词）
有理等价（rationally equivalence）是1993年公布的数学名
渐近路径 （数学名词）
渐近路径（asymptotic path）是1993年公布的数学名词。《数学名词
样条逼近 （数学名词）
样条逼近（spline approximation）是1993年公布的数学名词。
系统辨识 （数学模型）
系统辨识是根据系统的输入输出时间函数来确定描述系统行为的数学模型。现代控制理论中
微分符号 （数学符号）
微分符号是1675年莱布尼兹分别引入「dx」及「dy」以表示x和y的微分（dif
惩罚函数 （数学名词）
惩罚函数亦称处罚函数，是一类制约函数。对于约束非线性规划它的制约函数称为惩罚函数
蕴含规则 （数学名词）
蕴涵规则（implication或entailment）在命题逻辑和谓词逻辑中用
乒乓引理 （数学学术语）
乒乓引理给出了一个充分条件，保证一个群中数个子群所生成的群是这些子群的自由积。乒
进位加法 （数学运算）
进位加法，数学运算的一种，加法的一种。例如十进制时，一位上的数相加过十，则在此位
单峰分配 （数学术语）
单峰分配（Unimodal distribution）如果函数f(x)在区间[a
共尾函数 （数学术语）
共尾函数(cofinal function)是一类特殊的序数的函数，设f是序数β
更新密度 （数学术语）
更新密度(renewal density)是一种导数。更新函数的导数称为更新密度
永久实体 （数学术语）
亲久实体( permanent entities)，是“临时实体"的对称。在模拟
仿射联络 （数学名词）
仿射联络（affine connection）是1993年公布的数学名词，出自《
矢量地图 （数学术语）
矢量地图，所谓二维，就是平面的东西，只有长和宽两个维度。三维就是立体的东西，有长
镜面对称 （数学名词）
镜面对称，如果沿着图形的对称轴上放一面镜子，那么在镜子里所放映出来的一半正好把图
正合范畴 （数学名词）
正合范畴是一种特殊的范畴。若范畴为某阿贝尔范畴的全子范畴，且在某些扩张下是闭的，
策略决策 （数学名词）
策略决策（strategied decision）是1993年公布的数学名词。