术语 · Terminology

术语翻译表

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

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

全部术语

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

共 1359 个术语

#

术语

中文译名

1231 well-formed 良形式 1

1232 formal grammar 形式文法 1

1233 realizer 具现子 1

1234 reduction 归约 1

1235 abstract type 抽象类型 1

1236 axiom of resizing 降级公理 1

1237 bottom type 底类型 1

1238 capture-avoiding substitution 避免捕获的替换 1

1239 computation rule 计算规则 1

1240 constructor 构造子 1

1241 context 语境 1

1242 coproduct type 余积类型 1

1243 cubical type theory 立方类型论 1

1244 currying Curry 化 1

1245 dependent sum 依值和 1

1246 dependent type theory 依值类型论 1

1247 disjoint union type 无交并类型 1

1248 eliminator 消去子 1

1249 empty type 空类型 1

1250 equivalence 等价 1

1251 existential type 存在类型 1

1252 function extensionality 函数外延性 1

1253 generalized algebraic data type 广义代数数据类型 1

1254 heterogeneous equality 异质相等 1

1255 homogeneous composition 齐次复合 1

1256 homotopy level 同伦层级 1

1257 hypothetical judgment 假言判断 1

1258 identity type 相等类型 1

1259 impredicativity 非直谓性 1

1260 indexed type 指标类型 1