术语 · Terminology

术语翻译表

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

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

集合论与数理逻辑
下载稳定术语表 下载完整术语表 提交新术语

集合论与数理逻辑

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

共 229 个义项

211 simpler indexed types（类型论与数学基础） 简化归纳族
212 simply typed λ calculus（类型论与数学基础） 简单类型 λ 演算
213 structural subtype（类型论与数学基础） 结构子类型
214 structural type theory（类型论与数学基础） 不记名类型论
215 subject reduction（类型论与数学基础） 类型不变性
216 subobject classifier（类型论与数学基础） 子对象分类子
217 substitution（类型论与数学基础） 替换
218 subtype（类型论与数学基础） 子类型
219 top type（类型论与数学基础） 顶类型
220 type scheme（类型论与数学基础） 类型范式
221 uncurrying（类型论与数学基础） 去 Curry 化
222 unit type（类型论与数学基础） 单位类型
223 unityped λ calculus（类型论与数学基础） 单一类型 λ 演算
224 univalence axiom（类型论与数学基础） 泛等公理
225 universe（类型论与数学基础） 宇宙
226 universe hierarchy（类型论与数学基础） 宇宙层级
227 universe of propositions（类型论与数学基础） 命题宇宙
228 universe polymorphism（类型论与数学基础） 宇宙多态
229 λ-encoding（类型论与数学基础） λ 编码