Extra
精选上位词
返回顶部
首页
分类
进度
(●—●)
引理
首页
通用类
术语
引理
首页
百科类
百科
引理
热度:418
简介
引理是为证明某个定理或解某个问题所要用到的命题。
引理和定理没有严格的区分,如果论证某个命题时,还没有直接根据,需要某些还没有被证明的结论,把它提出来加以证明,就是所谓的构造引理。
中文名
引理
原始名称
引理
外文名
lemma
英文名
lemma
Extra
中山引理
引理
引理构造法
法图引理
高斯引理
精选上位词
术语
科学百科数理科学分类
相关实体
链式法则
多元回归分析
否命题
欧拉方程
先验概率
欧拉图
近似数
焦半径
间断点
有限差分
加法原理
乘法原理
概率密度
质数
有界性
动量定理
不定积分
行列式
自然对数
空间直角坐标系
圆面积
贝叶斯公式
不可逆过程
公因式
概率密度函数
公比
有理式
正弦定理
条件概率
常微分方程
仿射变换
逆命题
恒等变换
算符
解析延拓
数域
基本初等函数
单位向量
卡方分布
线性方程
一次方程
三次方程
正负号
柯西中值定理
正比例函数
最简公分母
通项公式
递推公式
直线方程
零向量
二项分布
基向量
曲线方程
数列极限
真值表
复合函数
单位矩阵
高阶导数
异面直线
拉格朗日中值定理
公分母
一元一次不等式
邻接矩阵
代数式
定义域
二次方程
原函数
立方根
多元函数
偏导数
经验公式
回归方程
被开方数
线性函数
全微分
二项式系数
椭圆函数
代数方程
条件数
同余定理
算术基本定理
伴随矩阵
待定系数法
导函数
傅里叶级数
可行域
隐函数
逆矩阵
密度函数
平行向量
逆定理
代数运算
古典概型
抽样分布
矩阵方程
连续函数
自相关函数
生成元
负分数
切线法
古典概率
正切
公因数
素数定理
假分数
相对标准偏差
方向向量
判定系数
单调性
频率响应函数
对称函数
反比例
整数部分
解析式
相反数
亏格
代数函数
代数余子式
安培环路定理
相似图形
化简
折线统计图
元素周期律
选择函数
弹性常数
满秩矩阵
圆周角
正定矩阵
外积
绝对偏差
信度系数
二次函数
求解
误差分析
升幂
随机变量
记数法
几何平均数
比例系数
整数规划
单调函数
分布系数
一次函数
相似矩阵
理想气体
反函数
互质数
坐标变换
圆锥曲线
奇异值
零假设
线性插值
移项
相似多边形
乘法交换律
张量积
旋转矩阵
对称矩阵
补角
超平面
全等三角形
行向量
互斥事件
自由变量
超越方程
模态逻辑
电偶极矩
单纯形法
对角矩阵
概率分布
因式分解
阿基米德定律
频率分布
电荷守恒定律
最简分式
主效应
泰勒公式
对数曲线
比较优势原理
自变量
奇异值分解
定义区间
被加数
平面图形
高斯定理
累积分布函数
实数系
自然数
引力质量
球坐标系
圆的标准方程
增广矩阵
当且仅当
形数
因式
相对性原理
开平方
比例中项
递归过程
导数
运算律
凸函数
法向量
子数列
方向余弦
解析函数
态射
平抛运动
一阶导数
指数方程
整式
超越数
线性微分方程
绝对值不等式
分式方程
一元二次方程
右极限
标准误差
通分
超几何分布
映射定理
二次根式
联合概率分布
平衡力系
狄拉克方程
繁分数
对称变换
开立方
决策函数
迭代法
周期函数
曲线拟合
正多边形
可行解
最大公因子
最大公因数
阿伏加德罗定律
函数值
二元运算
全微分方程
参数检验
虚数单位
牛顿运动定律
曲线积分
互质
边心距
集合论
泊松过程
非负数
等差数列
函数关系
变换矩阵
洛伦兹变换
初等矩阵
对角阵
函数方程
平行四边形定则
逆序
微分流形
二元一次不等式
黎曼假设
复流形
负整数
不等式组
弧度制
容斥原理
幂级数
中心对称图形
质量守恒
冲激函数
圆的一般方程
欧几里得几何
转移矩阵
点斜式
逻辑表达式
方程组
平方根
核函数
四次方程
多项式
特称命题
组合数
计数原理
首页
通用类
术语
引理
首页
百科类
百科
引理
(●—●)