重定向列表
下面显示从第351条到第400条的共50条结果。
- 次正规列 → 次正规列、正规列
- 欧拉函数 → Euler 函数
- 欧拉定理（同余理论） → Euler 定理（同余理论）
- 欧拉筛 → 线性筛
- 正则元 → 非零因子
- 正则语言 → 正则文法
- 正方体数 → 完全立方数
- 正方形数 → 完全平方数
- 正规列 → 次正规列、正规列
- 永假式 → 命题公式分类#矛盾式
- 永真式 → 命题公式分类#重言式
- 波里特数 → Fermat 伪质数
- 浮点型 → 浮点数
- 混合群 → 挠群、无扭群
- 混合进制 → 混合基数记数法
- 生成式 → 生成文法
- 白银分割 → 白银分割比
- 皮亚诺公理 → Peano 公理
- 直积（集合） → 笛卡尔积
- 直言命题的直接推理 → 直接推理
- 相等关系（关系） → 相等关系（集合）
- 真值指派 → 指派（命题逻辑）
- 真理定义 → Tarski 真理定义
- 真类 → 类
- 矛盾 → 矛盾律
- 矛盾式 → 命题公式分类#矛盾式
- 破斥式二难推理 → 二难推理#破斥式二难推理
- 稳定化子 → 稳定子群
- 稳定子 → 稳定子群
- 空串 → 空字符串
- 空元组 → 0-元组
- 空字符结尾字符串 → 字符串#空字符结尾字符串
- 空格 → 空白字符
- 立方体数 → 完全立方数
- 笛卡尔幂 → 笛卡尔积#笛卡尔幂
- 符号函数 → 符号
- 第一个超限基数 → ℵ₀
- 等价式 → 等价（逻辑）
- 等势 → 基数
- 简单易字变形 → 易字变形
- 算术基本引理 → 标准质因数分解
- 算术左移 → 左移
- 算术平方根 → 平方根
- 素数 → 质数、合数
- 素数、合数 → 质数、合数
- 约束出现 → 量词#变元符号分类
- 约束变元 → 量词#变元符号分类
- 约束变项 → 量词#变元符号分类
- 线序 → 全序
- 线序关系 → 全序