术语 · Terminology

术语翻译表

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

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

全部术语

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

共 2607 个术语

#

术语

中文译名

2491 currying Curry 化 1

2492 dependent sum 依值和 1

2493 dependent type theory 依值类型论 1

2494 disjoint union type 无交并类型 1

2495 eliminator 消去子 1

2496 empty type 空类型 1

2497 equivalence 等价 1

2498 existential type 存在类型 1

2499 function extensionality 函数外延性 1

2500 generalized algebraic data type 广义代数数据类型 1

2501 heterogeneous equality 异质相等 1

2502 homogeneous composition 齐次复合 1

2503 homotopy level 同伦层级 1

2504 hypothetical judgment 假言判断 1

2505 identity type 相等类型 1

2506 impredicativity 非直谓性 1

2507 indexed type 指标类型 1

2508 induction-recursion 归纳递归 1

2509 inductive family 归纳族 1

2510 inductive type 归纳类型 1

2511 internal choice 内选择 1

2512 interval type 区间类型 1

2513 judgment 判断 1

2514 Liskov substitution principle Liskov 替换原则 1

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

2516 nominal type theory 记名类型论 1

2517 normalization 正规性 1

2518 normalization by evaluation 求值正规化 1

2519 object of truth values 真值对象 1

2520 parametric polymorphism 参数多态 1