术语 · Terminology

术语翻译表

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

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

全部术语

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

共 1359 个术语

#

术语

中文译名

1291 top type 顶类型 1

1292 type scheme 类型范式 1

1293 uncurrying 去 Curry 化 1

1294 unit type 单位类型 1

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

1296 univalence axiom 泛等公理 1

1297 universe 宇宙 1

1298 universe hierarchy 宇宙层级 1

1299 universe of propositions 命题宇宙 1

1300 universe polymorphism 宇宙多态 1

1301 λ-encoding $\lambda$ 编码 1

1302 almost everywhere 几乎处处 1

1303 almost sure convergence 几乎必然收敛 1

1304 almost surely 几乎必然 1

1305 Bayes’ theorem Bayes 定理 1

1306 Bernoulli distribution Bernoulli 分布 1

1307 binomial distribution 二项分布 1

1308 central limit theorem 中心极限定理 1

1309 characteristic function 特征函数 1

1310 Chebyshev’s inequality Chebyshev 不等式 1

1311 conditional expectation 条件期望 1

1312 conditional variance 条件方差 1

1313 convergence in distribution 依分布收敛 1

1314 convergence of random variables 随机变量的收敛 1

1315 degenerate distribution 退化分布 1

1316 expectation 期望 1

1317 hypergeometric distribution 超几何分布 1

1318 independent event 独立事件 1

1319 law of large numbers 大数定律 1

1320 Markov’s inequality Markov 不等式 1