重定向列表
下面显示从第251条到第300条的共50条结果。
- 字符型 → 字符
- 字符库 → 字符集
- 字符映射 → 字符集
- 存在命题 → 存在量词
- 存在式 → 存在量词
- 完全性 → 完备性（逻辑）
- 定义域 → 映射#定义
- 定点型 → 定点数
- 定点小数 → 定点数#定点小数
- 定点整数 → 定点数#定点整数
- 定理 → 证明
- 对偶关系 → 逆关系
- 对合性 → 对合律
- 对称差集 → 对称差
- 对称性 → 对称关系
- 封闭 → 封闭性
- 小范畴 → 范畴#分类
- 局部小范畴 → 范畴#分类
- 属于 → 成员关系
- 嵌入同态 → 群同态#包含同态
- 嵌入映射 → 包含映射
- 差关系 → 差（关系）
- 带点集 → 有点集
- 常值函数 → 常值映射
- 常函数 → 常值映射
- 常数函数 → 常值映射
- 幂 → 乘方
- 幂关系 → 幂（关系）
- 幂等性 → 幂等律
- 幂等性（一元运算） → 幂等律（一元运算）
- 平凡同态 → 群同态#平凡同态
- 平衡进制 → 平衡进位制记数法
- 并关系 → 并（关系）
- 并半格 → 半格
- 序偶 → 元组#有序对
- 延拓 → 限制、延拓（映射）
- 开平方 → 平方根
- 开立方 → 立方根
- 异或 → 互斥析取
- 弱序关系 → 弱序
- 弱序集 → 弱序
- 德摩根律（逻辑） → De Morgan 律（逻辑）
- 必要条件 → 充分条件、必要条件
- 恒等函数 → 恒等映射
- 恰整除关系 → 恰整除
- 成假指派（命题逻辑） → 成真指派、成假指派（命题逻辑）
- 成真指派（命题逻辑） → 成真指派、成假指派（命题逻辑）
- 扩展欧几里得算法 → 扩展 Euclid 算法
- 拉格朗日插值法 → Lagrange 插值法
- 拟序关系 → 拟序