术语 · Terminology

术语翻译表

每个英文术语下可以有几个数学义项。本站译名都有外文出处或参考链接，采用中文教材的通行写法；觉得译名不妥可以在义项页建议改译，缺少的出处可以在左侧「资料补充」里筛出来补充。

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

全部术语

分类按义项归入，词形出现在它各义项所属的分类下，查看分类说明

共 2777 个术语

#

术语

中文译名

2671 heterogeneous equality 异质相等 1

2672 homogeneous composition 齐次复合 1

2673 homotopy level 同伦层级 1

2674 hypothetical judgment 假言判断 1

2675 identity type 相等类型 1

2676 impredicativity 非直谓性 1

2677 indexed type 指标类型 1

2678 induction-recursion 归纳递归 1

2679 inductive family 归纳族 1

2680 inductive type 归纳类型 1

2681 internal choice 内选择 1

2682 interval type 区间类型 1

2683 judgment 判断 1

2684 Liskov substitution principle Liskov 替换原则 1

2685 Martin-Löf type theory Martin-Löf 类型论 1

2686 nominal type theory 记名类型论 1

2687 normalization 正规性 1

2688 normalization by evaluation 求值正规化 1

2689 object of truth values 真值对象 1

2690 parametric polymorphism 参数多态 1

2691 pattern matching 模式匹配 1

2692 philosophy of mathematics 数学哲学 1

2693 polymorphic type theory 多态类型论 1

2694 predicativity 直谓性 1

2695 product type 积类型 1

2696 progress and preservation 可进性与保型性 1

2697 propositional equality 命题相等 1

2698 propositional extensionality 命题外延性 1

2699 ramified type theory 分歧类型论 1

2700 regularity 正则性 1