离散数学英中名词对照表.xls

Sheet2 Sheet1 unlabeled graph 无扭模 untorsion 五色定理 five-color theorem 五倍重复码 five-time-repetition adjacent 相伴元 associate axiom of choice axiom of equality 循环图 circulant graph 循环（轮转）指标 cyclic index 循环群 cyclic group 循环半群 cyclic semigroup 循环单元半群 cyclic monoid 优美图 graceful graph 优美树猜想 graceful tree conjecture 有标号图 labeled graph 拟序集 pre-ordered set 拟序关系 quasi order relation 冗余性原则 冗余位 redundant digits 右伴随函子 right adjoint functor 右可消的 right cancellable 右因子 right factor 右零因子 right zero divison 有单元的环 ring with unity element 语义完全的（弱完全的） semantical completeness 语义相容 semantical consistent 语法完全的（强完全的） syntactical completeness 语法相容 Syntactical consistent 一元运算 unary operation 一元关系 unary relation 余秩 corank ZFC (Zermelo-Fraenkel-Cohen) system 自同构 automorphism 正则公理 axiom of regularity 中心 center 中国邮递员问题 Chinese postman problem 周长 circumference 着色 coloring 着色问题 coloring problem 组合数 combination number conjunctive normal form 直径 diameter 直接推论（直接后承） direct consequence 正向极限 direct limit 直和 direct sum disjunctive normal form 整除 divisibility 子除环 division subring 忠实（完满）函子 faithful (full) functor 自由元 free element 自由单元半群 free monoid 自由出现 free occurrence 自由变元 free variable free R-module 最大公因子 greatest common factor 最大元（素） greatest element immediate predcessor immediate successor 指数 index 初始对象 initial object integral domain integral subdomain 最小元 least element 左伴随函子 left adjoint functor 左可消的 left cancellable 左陪集 left coset 左（右）模 left (right) module 左（右）零元 left (right) zero 左（右）单位元 left (right) identity 左（右）可逆元 left (right) invertible element 左（右）零因子 left (right) zero divisor 最大匹配 maximum matching 最小距离 minimum distance 自然同构 natural isomorphism 自然推理系统 natural deduction system 自然变换 natural transformation 状态转移函数 next state transition function normal form 正规子群（不变子群） normal subgroup (invariant subgroup) 正交拉丁方 弱反对称的 Venn 图（文氏图） 泛代数（W代数） Ulam 猜想 orthogonal Latin square 正交表 orthogonal layout 整数的分拆数 partition number of integer 置换群 permutation group 准素循环模 primary cycle module 主理想 principal ideal 主理想整环 principa