术语 · Terminology

术语翻译表

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

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

全部术语

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

共 2515 个术语

#

术语

中文译名

2431 polymorphic type theory 多态类型论 1

2432 predicativity 直谓性 1

2433 product type 积类型 1

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

2435 propositional equality 命题相等 1

2436 propositional extensionality 命题外延性 1

2437 ramified type theory 分歧类型论 1

2438 regularity 正则性 1

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

2440 structural subtype 结构子类型 1

2441 structural type theory 不记名类型论 1

2442 subject reduction 类型不变性 1

2443 subobject classifier 子对象分类子 1

2444 substitution 替换 1

2445 subtype 子类型 1

2446 top type 顶类型 1

2447 type scheme 类型范式 1

2448 uncurrying 去 Curry 化 1

2449 unit type 单位类型 1

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

2451 univalence axiom 泛等公理 1

2452 universe 宇宙 1

2453 universe hierarchy 宇宙层级 1

2454 universe of propositions 命题宇宙 1

2455 universe polymorphism 宇宙多态 1

2456 λ-encoding $\lambda$ 编码 1

2457 almost everywhere 几乎处处 1

2458 almost sure convergence 几乎必然收敛 1

2459 almost surely 几乎必然 1

2460 Bayes’ theorem Bayes 定理 1