术语 · Terminology

术语翻译表

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

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

全部术语

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

共 2777 个术语

#

术语

中文译名

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

2702 structural subtype 结构子类型 1

2703 structural type theory 不记名类型论 1

2704 subject reduction 类型不变性 1

2705 subobject classifier 子对象分类子 1

2706 substitution 替换 1

2707 subtype 子类型 1

2708 top type 顶类型 1

2709 type scheme 类型范式 1

2710 uncurrying 去 Curry 化 1

2711 unit type 单位类型 1

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

2713 univalence axiom 泛等公理 1

2714 universe 宇宙 1

2715 universe hierarchy 宇宙层级 1

2716 universe of propositions 命题宇宙 1

2717 universe polymorphism 宇宙多态 1

2718 λ-encoding $\lambda$ 编码 1

2719 almost everywhere 几乎处处 1

2720 almost sure convergence 几乎必然收敛 1

2721 almost surely 几乎必然 1

2722 Bayes’ theorem Bayes 定理 1

2723 Bernoulli distribution Bernoulli 分布 1

2724 binomial distribution 二项分布 1

2725 central limit theorem 中心极限定理 1

2726 characteristic function 特征函数 1

2727 Chebyshev’s inequality Chebyshev 不等式 1

2728 conditional expectation 条件期望 1

2729 conditional variance 条件方差 1

2730 convergence in distribution 依分布收敛 1