术语 · Terminology

术语翻译表

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

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

全部术语

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

共 2607 个术语

#

术语

中文译名

2521 pattern matching 模式匹配 1

2522 philosophy of mathematics 数学哲学 1

2523 polymorphic type theory 多态类型论 1

2524 predicativity 直谓性 1

2525 product type 积类型 1

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

2527 propositional equality 命题相等 1

2528 propositional extensionality 命题外延性 1

2529 ramified type theory 分歧类型论 1

2530 regularity 正则性 1

2531 simply typed λ calculus 简单类型 $\lambda$ 演算 1

2532 structural subtype 结构子类型 1

2533 structural type theory 不记名类型论 1

2534 subject reduction 类型不变性 1

2535 subobject classifier 子对象分类子 1

2536 substitution 替换 1

2537 subtype 子类型 1

2538 top type 顶类型 1

2539 type scheme 类型范式 1

2540 uncurrying 去 Curry 化 1

2541 unit type 单位类型 1

2542 unityped λ calculus 单一类型 $\lambda$ 演算 1

2543 univalence axiom 泛等公理 1

2544 universe 宇宙 1

2545 universe hierarchy 宇宙层级 1

2546 universe of propositions 命题宇宙 1

2547 universe polymorphism 宇宙多态 1

2548 λ-encoding $\lambda$ 编码 1

2549 almost everywhere 几乎处处 1

2550 almost sure convergence 几乎必然收敛 1