术语 · Terminology

术语翻译表

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

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

全部术语

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

共 2777 个术语

#

术语

中文译名

2641 subformula 子公式 1

2642 substructural logic 亚结构逻辑 1

2643 succedent 后件 1

2644 term 项 1

2645 true 真 1

2646 truth value 真值 1

2647 weakening rule 弱化规则 1

2648 well-formed 良形式 1

2649 formal grammar 形式文法 1

2650 realizer 具现子 1

2651 reduction 归约 1

2652 abstract type 抽象类型 1

2653 axiom of resizing 降级公理 1

2654 bottom type 底类型 1

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

2656 computation rule 计算规则 1

2657 constructor 构造子 1

2658 context 语境 1

2659 coproduct type 余积类型 1

2660 cubical type theory 立方类型论 1

2661 currying Curry 化 1

2662 dependent sum 依值和 1

2663 dependent type theory 依值类型论 1

2664 disjoint union type 无交并类型 1

2665 eliminator 消去子 1

2666 empty type 空类型 1

2667 equivalence 等价 1

2668 existential type 存在类型 1

2669 function extensionality 函数外延性 1

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