术语 · Terminology

术语翻译表

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

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

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

全部术语

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

共 1727 个义项

1651 philosophy of mathematics（类型论与数学基础） 数学哲学
1652 polymorphic type theory（类型论与数学基础） 多态类型论
1653 predicativity（类型论与数学基础） 直谓性
1654 product type（类型论与数学基础） 积类型
1655 progress and preservation（类型论与数学基础） 可进性与保型性
1656 propositional equality（类型论与数学基础） 命题相等
1657 propositional extensionality（类型论与数学基础） 命题外延性
1658 ramified type theory（类型论与数学基础） 分歧类型论
1659 regularity（类型论与数学基础） 正则性
1660 simpler indexed types（类型论与数学基础） 简化归纳族
1661 simply typed λ calculus（类型论与数学基础） 简单类型 λ 演算
1662 structural subtype（类型论与数学基础） 结构子类型
1663 structural type theory（类型论与数学基础） 不记名类型论
1664 subject reduction（类型论与数学基础） 类型不变性
1665 subobject classifier（类型论与数学基础） 子对象分类子
1666 substitution（类型论与数学基础） 替换
1667 subtype（类型论与数学基础） 子类型
1668 top type（类型论与数学基础） 顶类型
1669 type scheme（类型论与数学基础） 类型范式
1670 uncurrying（类型论与数学基础） 去 Curry 化
1671 unit type（类型论与数学基础） 单位类型
1672 unityped λ calculus（类型论与数学基础） 单一类型 λ 演算
1673 univalence axiom（类型论与数学基础） 泛等公理
1674 universe（类型论与数学基础） 宇宙
1675 universe hierarchy（类型论与数学基础） 宇宙层级
1676 universe of propositions（类型论与数学基础） 命题宇宙
1677 universe polymorphism（类型论与数学基础） 宇宙多态
1678 λ-encoding（类型论与数学基础） λ 编码
1679 almost sure convergence（概率论基础） 几乎必然收敛
1680 Bayes’ theorem（概率论基础） Bayes 定理