术语 · Terminology

术语翻译表

每条记录都是一个具体数学义项。共识译名记录现实中的稳定译法；待定译名的投票长期持续，不会自动产生共识。

术语表目前仍在施工中，共识译名正在逐步确立，请谨慎参考。

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

全部术语

分类对象是义项而非英文词形，查看分类说明

共 1727 个义项

1591 semi-axiomatic sequent calculus (SAX)（证明论与形式系统） 半公理化相继式演算
1592 sequent（证明论与形式系统） 相继式
1593 sequent calculus（证明论与形式系统） 相继式演算
1594 snip rule（半公理化逻辑） 剪规则
1595 structural logic（证明论与形式系统） 结构逻辑
1596 structural rule（证明论与形式系统） 结构性规则
1597 subformula（证明论与形式系统） 子公式
1598 substructural logic（证明论与形式系统） 亚结构逻辑
1599 succedent（证明论与形式系统） 后果
1600 term（证明论与形式系统） 项
1601 true（证明论与形式系统） 真
1602 truth value（证明论与形式系统） 真值
1603 weakening rule（证明论与形式系统） 弱化规则
1604 well-formed（证明论与形式系统） 良形式
1605 decidable（递归论与可计算性） 可判定的
1606 formal grammar（递归论与可计算性） 形式文法
1607 realizer（递归论与可计算性） 具现子
1608 abstract type（类型论与数学基础） 抽象类型
1609 axiom of resizing（类型论与数学基础） 降级公理
1610 bottom type（类型论与数学基础） 底类型
1611 capture-avoiding substitution（类型论与数学基础） 避免捕获的替换
1612 computation rule（类型论与数学基础） 计算规则
1613 constructor（类型论与数学基础） 构造子
1614 context（类型论与数学基础） 语境
1615 coproduct type（类型论与数学基础） 余积类型
1616 cubical type theory（类型论与数学基础） 立方类型论
1617 cumulative（类型论与数学基础） 累积
1618 currying（类型论与数学基础） Curry 化
1619 dependent sum（类型论与数学基础） 依值和
1620 dependent type theory（类型论与数学基础） 依值类型论