重定向列表
下面显示从第451条到第495条的共45条结果。
- 转置关系 → 逆关系
- 运算表 → Cayley 表
- 进制 → 进位制记数法
- 连接（字符串） → 连接
- 连通关系 → 完全关系
- 逆否命题 → 逆命题、否命题、逆否命题
- 逆命题 → 逆命题、否命题、逆否命题
- 选言假言推理 → 二难推理
- 选言推理 → 选言三段论
- 递归可枚举语言 → 递归可枚举文法
- 逻辑左移 → 左移
- 逻辑方阵 → 直言命题#逻辑方阵
- 逻辑符号 → 谓词语言#相关术语
- 逻辑蕴含 → 逻辑蕴涵
- 逻辑运算 → 二值变量#常见逻辑运算
- 重言式 → 命题公式分类#重言式
- 重言等价 → 等值（逻辑）
- 重言等值 → 等值（逻辑）
- 重言蕴含 → 重言蕴涵
- 量化公式 → 量词
- 量化命题 → 量词
- 量词 De Morgan 律 → De Morgan 律（逻辑）#谓词逻辑德摩根律
- 链式存储结构 → 链式结构
- 锥范畴 → 锥范畴、余锥范畴
- 长度前缀字符串 → 字符串#长度前缀字符串
- 闭项 → 项（谓词逻辑）
- 阿列夫零 → ℵ₀
- 陪域 → 映射#定义
- 零 → 0
- 非终结符 → 生成文法
- 非逻辑符号 → 谓词语言#相关术语
- 顺序存储 → 数组
- 顺序存储结构 → 数组
- 顺序表 → 数组
- 预序关系 → 预序
- 预序集 → 预序
- 高德纳箭头 → 超运算#高德纳箭头
- 黄金分割 → 黄金分割比
- 模板:Entity → 模板:Identity
- 模板:La → 模板:Lat
- 模板:RelatedEntities → 模板:RelatedIdentities
- 模板:机器数 → 模板:数的编码
- 模板:逻辑演算 → 模板:证明论
- 分类:序关系 → 分类:序理论
- 分类:集合论基础 → 分类:朴素集合论