术语 · Terminology

术语翻译表

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

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

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

全部术语

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

共 1727 个义项

1441 configuration（图灵机） 格局
1442 context free grammar (CFG)（离散算法与计算复杂性） 语境无关文法
1443 formal language（离散算法与计算复杂性） 形式语言
1444 overlapping and order-independent（模式匹配） 重叠但无序
1445 recognizable（离散算法与计算复杂性） 识别
1446 string（离散算法与计算复杂性） 字符串
1447 terminal symbol（离散算法与计算复杂性） 终结符
1448 unrestricted grammar（离散算法与计算复杂性） 无限制文法
1449 vocabulary（离散算法与计算复杂性） 字母表
1450 Adjunctive set theory（集合论） 内附集合论
1451 aleph number（集合论） ℵ 数
1452 antichain（集合论） 反链
1453 axiom of choice（集合论） 选择公理
1454 axiom of constructibility（集合论） 可构造公理
1455 axiom of foundation（集合论） 良基公理
1456 axiom of regularity（集合论） 正则公理
1457 bijection（集合论） 双射
1458 bijective（集合论） 双
1459 binary relation（集合论） 二元关系
1460 Boolean-valued model（集合论） Boole 值模型
1461 Cantor–Schröder–Bernstein theorem（集合论） Cantor–Schröder–Bernstein 定理
1462 Cantor’s theorem（集合论） Cantor 定理
1463 cardinal number（集合论） 基数
1464 cardinality（集合论） 基数
1465 Cartesian product（集合论） Descartes 积
1466 chain（集合论） 链
1467 cofinal class（集合论） 共尾类
1468 complement（集合论） 补集
1469 continuum hypothesis（集合论） 连续统假设
1470 countable set（集合论） 可数集