术语 · Terminology

术语翻译表

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

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

全部术语

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

共 1359 个术语

#

术语

中文译名

1261 induction-recursion 归纳递归 1

1262 inductive family 归纳族 1

1263 inductive type 归纳类型 1

1264 internal choice 内选择 1

1265 interval type 区间类型 1

1266 judgment 判断 1

1267 Liskov substitution principle Liskov 替换原则 1

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

1269 nominal type theory 记名类型论 1

1270 normalization 正规性 1

1271 normalization by evaluation 求值正规化 1

1272 object of truth values 真值对象 1

1273 parametric polymorphism 参数多态 1

1274 pattern matching 模式匹配 1

1275 philosophy of mathematics 数学哲学 1

1276 polymorphic type theory 多态类型论 1

1277 predicativity 直谓性 1

1278 product type 积类型 1

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

1280 propositional equality 命题相等 1

1281 propositional extensionality 命题外延性 1

1282 ramified type theory 分歧类型论 1

1283 regularity 正则性 1

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

1285 structural subtype 结构子类型 1

1286 structural type theory 不记名类型论 1

1287 subject reduction 类型不变性 1

1288 subobject classifier 子对象分类子 1

1289 substitution 替换 1

1290 subtype 子类型 1