术语 · Terminology

术语翻译表

每条记录都是一个具体数学义项。共识译名记录现实中的稳定译法；待定译名的投票长期持续，不会自动产生共识。

术语表目前仍在施工中，共识译名正在逐步确立，请谨慎参考。

下载稳定术语表 下载完整术语表 提交新术语

全部术语

分类对象是义项而非英文词形，查看分类说明

共 1727 个义项

1621 disjoint union type（类型论与数学基础） 无交并类型
1622 eliminator（类型论与数学基础） 消去子
1623 empty type（类型论与数学基础） 空类型
1624 equivalence（类型论与数学基础） 等价
1625 existential type（类型论与数学基础） 存在类型
1626 extrinsic（类型论与数学基础） 外蕴
1627 function extensionality（类型论与数学基础） 函数外延性
1628 generalized algebraic data type（类型论与数学基础） 广义代数数据类型
1629 heterogeneous equality（类型论与数学基础） 异质相等
1630 homogeneous composition（类型论与数学基础） 复合
1631 homotopy level（类型论与数学基础） 同伦层级
1632 hypothetical judgment（类型论与数学基础） 假言判断
1633 identity type（类型论与数学基础） 相等类型
1634 impredicativity（类型论与数学基础） 非直谓性
1635 indexed type（类型论与数学基础） 指标类型
1636 induction-recursion（类型论与数学基础） 归纳递归
1637 inductive family（类型论与数学基础） 归纳族
1638 inductive type（类型论与数学基础） 归纳类型
1639 internal choice（类型论与数学基础） 内选择
1640 interval type（类型论与数学基础） 区间类型
1641 intrinsic（类型论与数学基础） 内蕴
1642 judgment（类型论与数学基础） 判断
1643 Liskov substitution principle (LSP)（类型论与数学基础） Liskov 替换原则
1644 Martin-Löf type theory (MLTT)（类型论与数学基础） Martin-Löf 类型论
1645 nominal type theory（类型论与数学基础） 记名类型论
1646 normalization（类型论与数学基础） 正规性
1647 normalization by evaluation（类型论与数学基础） 语义正规性
1648 object of truth values（类型论与数学基础） 真值对象
1649 parametric polymorphism（类型论与数学基础） 参数多态
1650 pattern matching（类型论与数学基础） 模式匹配