术语 · Terminology

术语翻译表

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

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

全部术语

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

共 2515 个术语

#

术语

中文译名

2401 dependent type theory 依值类型论 1

2402 disjoint union type 无交并类型 1

2403 eliminator 消去子 1

2404 empty type 空类型 1

2405 equivalence 等价 1

2406 existential type 存在类型 1

2407 function extensionality 函数外延性 1

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

2409 heterogeneous equality 异质相等 1

2410 homogeneous composition 齐次复合 1

2411 homotopy level 同伦层级 1

2412 hypothetical judgment 假言判断 1

2413 identity type 相等类型 1

2414 impredicativity 非直谓性 1

2415 indexed type 指标类型 1

2416 induction-recursion 归纳递归 1

2417 inductive family 归纳族 1

2418 inductive type 归纳类型 1

2419 internal choice 内选择 1

2420 interval type 区间类型 1

2421 judgment 判断 1

2422 Liskov substitution principle Liskov 替换原则 1

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

2424 nominal type theory 记名类型论 1

2425 normalization 正规性 1

2426 normalization by evaluation 求值正规化 1

2427 object of truth values 真值对象 1

2428 parametric polymorphism 参数多态 1

2429 pattern matching 模式匹配 1

2430 philosophy of mathematics 数学哲学 1