离散数学中文—外文名词对照表 | ||
中文 | 外文 | |
Abel 范畴 | Abel category | |
Abel 群(交换群) | Abel group (commutative group) | |
Abel 半群 | Abel semigroup | |
Bell 数 | Bell number | |
Berry 悖论 | Berry paradox | |
Boundy 定理 | Boundy theorem | |
Boole 代数 | Boole algebra | |
Boole 函数 | Boole function | |
Boole 同态 | Boole homomorophism | |
Boole 格 | Boole lattice | |
Bruijn 定理 | Bruijn theorem | |
Burali-Forti 悖论 | Burali-Forti paradox | |
Burnside 引理 | Burnside lemma | |
伴随 | adjugate | |
布置问题 | arrangement problem | |
不对称的(非对称的) | asymmetric | |
并集公理 | axiom of union | |
标准满态射 | canonical epimorphism | |
闭项 | closed term | |
闭包 | closure | |
补图(子图的余) | complement | |
补元 | complement element | |
被包含关系定向 | directed by inclution | |
边色数 | edge chromatic number | |
边着色 | edge coloring | |
边连通度 | edge connectivity | |
边覆盖 | edge covering | |
边覆盖数 | edge covering number | |
边割集 | edge cut | |
边集 | edge set | |
边独立数 | edge-independence number | |
不动点 | fixed point | |
包含与排斥原理 | inclusion and exclusion principle | |
包含关系 | inclusion relation | |
不变因子 | invariant factor | |
不变因子理想 | invariant factor ideal | |
标准模型 | normal model | |
本原元 | primitive element | |
本原多项式 | primitive polynomial | |
表示 | representation | |
饱和的 | saturated | |
半群 | semigroup | |
标准单项式 | standard monomil | |
并(并集) | union | |
并运算 | union operation | |
变换群 | tranformation group | |
Cantor 悖论 | Cantor paradox | |
Cantor 猜想 | Cantor conjecture | |
Cantor 对角线法 | Cantor diagonal method | |
Catalan 数 | Catalan number | |
Cayley 图 | Cayley graph | |
Cayley 定理 | Cayley theorem | |
Coxeter 图 | Coxeter graph | |
次数,次(度) | degree | |
次(度)序列 | degree sequence | |
初等因子理想 | elementary divisor ideal | |
初等积 | elementary product | |
初等和 | elementary sum | |
错误函数 | error function | |
错误模式 | error pattern | |
存在量词 | existential quantifier | |
存在推广规则 | existential generalization | |
存在特指规则 | existential specification | |
超八面体图 | hyperoctahedron | |
长度 | length | |
乘法原理 | multiplication principle | |
出弧 | outarc | |
出次(出度) | outdegree | |
出(外)邻集 | outerneighbour set | |
初始联结词 | primitive connective | |
差集 | substraction | |
差运算 | substraction operation | |
传递的 | transitive | |
超滤子 | ultrafilter | |
超幂 | ultrapower | |
超积 | ultraproduct | |
超越元素 | transcendental element | |
常用等值式 | useful equivalent | |
簇 | variery | |
除环 | divison ring | |
存在正则前束范式 (Skolem 正则范式) |
Bitmap
|
|
De Morgan律 | De Morgan law | |
Descartes 积 | Descartes product | |
Dirac 条件 | Driac condition | |
代数闭域 | algebraic closed field | |
代数元素 | algebraic element | |
代数扩域(代数扩张) | algebraic extension | |
对应的通用映射 | corresponding universal map | |
定义域 | domain | |
对偶范畴 | dual category | |
对偶图 | dual graph | |
对偶式 | dual form | |
对偶原理 | principal of duality | |
对偶原则 | dual principle | |
对偶命题 | dual statement | |
端点 | endpoint | |
等势 | equipotent | |
等价类 | equivalent class | |
等价范畴 | equivalent category | |
等价矩阵 | equivalent matrix | |
等价对象 | equivalent object | |
等价关系 | equivalent relation | |
第一类边色图 | graph of first class for edge coloring | |
第二类边色图 | graph of second class for edge coloring | |
单位元 | identity | |
单射 | injection | |
单射函子 | injection functor | |
单射(内射) | injective (one to one mapping) | |
独立的 | independent | |
独立数 |
离散数学中文—外文名词对照表
最新推荐文章于 2022-09-29 19:40:45 发布