术语 · Terminology

术语翻译表

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

全部术语

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

共 2777 个术语

术语

中文译名

2491 context free grammar 语境无关文法 1

2492 formal language 形式语言 1

2493 overlapping and order-independent 重叠但无序 1

2494 string 字符串 1

2495 terminal symbol 终结符 1

2496 unrestricted grammar 无限制文法 1

2497 vocabulary 字母表 1

2498 adjunctive set theory 内附集合论 1

2499 aleph number ℵ 数 1

2500 antichain 反链 1

2501 axiom of choice 选择公理 1

2502 axiom of constructibility 可构造公理 1

2503 axiom of foundation 良基公理 1

2504 axiom of regularity 正则公理 1

2505 bijection 双射 1

2506 binary relation 二元关系 1

2507 Boolean-valued model Boole 值模型 1

2508 Cantor–Schröder–Bernstein theorem Cantor–Schröder–Bernstein 定理 1

2509 Cantor’s theorem Cantor 定理 1

2510 cardinal number 基数 1

2511 cardinality 基数 1

2512 Cartesian product Descartes 积 1

2513 chain 链 1

2514 cofinal class 共尾类 1

2515 cofinality 共尾度 1

2516 complement 补集 1

2517 continuum hypothesis 连续统假设 1

2518 countable set 可数集 1

2519 directed set 正向集 1

2520 empty set 空集 1