重定向列表
下面显示从第401条到第450条的共50条结果。
- 线序集 → 全序
- 线性同余方程 → 一次同余方程
- 线性结构 → 数组
- 终对象 → 始对象、终对象
- 终端对象 → 始对象、终对象
- 终结符 → 生成文法
- 结合性 → 结合律
- 结构（逻辑） → 结构（谓词逻辑）
- 绝对值函数 → 绝对值
- 编码字符集 → 字符集
- 置换定理（命题逻辑） → 置换（逻辑）
- 置换群 → 对称群
- 群第一同构定理 → 第一同构定理
- 肯定前件式 → 肯定前件
- 肯定前件律 → 肯定前件
- 自反性 → 自反关系
- 自反约简 → 反自反核
- 自同构群 → 群自同构#自同构群
- 自然同态 → 群同态#自然同态
- 自由出现 → 量词#变元符号分类
- 自由变元 → 量词#变元符号分类
- 自由变项 → 量词#变元符号分类
- 良序公理 → 良序定理
- 良序关系 → 良序
- 良序集 → 良序
- 萨鲁斯数 → Fermat 伪质数
- 蕴含 → 蕴涵
- 蕴含命题 → 蕴涵
- 蕴含式 → 蕴涵
- 蕴涵命题 → 蕴涵
- 蕴涵式 → 蕴涵
- 行主序 → 多维数组
- 行主次序 → 多维数组
- 补关系 → 补（关系）
- 裴蜀定理 → Bézout 定理
- 裴蜀恒等式 → Bézout 定理
- 语法图 → 铁路图
- 说谎者悖论 → Tarski 真理定义#说谎者悖论
- 负1 → -1
- 质数 → 质数、合数
- 费马伪素数 → Fermat 伪质数
- 费马伪质数 → Fermat 伪质数
- 费马大定理 → Fermat 大定理
- 费马小定理 → Fermat 小定理
- 费马最后定理 → Fermat 大定理
- 超限基数 → 基数#自然数基数和超限基数
- 超集 → 包含关系
- 轨迹-稳定化子群定理 → 轨道-稳定子群定理
- 轨迹（群作用） → 轨道
- 轨道-稳定化子群定理 → 轨道-稳定子群定理