离散数学双语专业词汇表

《离散数学》双语专业词汇表Abelian group：交换（阿贝尔）群

absorption property：吸收律

acyclic：无（简单）回路的

adjacent vertices：邻接结点

adjacent vertices：邻接结点

adjacent vertices：邻接结点

algorithm verification：算法证明

algorithm：算法

alphabet：字母表

alternating group：交替群

analogous：类似的

analysis of algorithm：算法分析

antisymmetric：反对称的

approach：方法，方式

argument：自变量

associative：可结合的

associative：可结合的

asymmetric：非对称的

backtracking：回溯

base 2 exponential function：以2为底的指数函数

basic step：基础步

biconditional, equivalence：双条件式，等价

bijection, one-to-one correspondence：双射，一一对应

binary operation on a set A：集合A上的二元运算

binary operation：二元运算

binary relation：二元关系

(complete) binary tree：(完全)二元(叉)树

bland meats：未加调料的肉

block, cell：划分块，单元

Boolean algebra：布尔代数

Boolean function：布尔函数

Boolean matrix：布尔矩阵

Boolean polynomial, Boolean expression：布尔多项式（表达式）Boolean product：布尔乘积

bounded lattice：有界格

brace：花括号

bridge：桥，割边

by convention：按常规，按惯例

cancellation property：消去律

capacity：容量

cardinality：基数，势

category：类别，分类

catenation：合并，拼接

ceiling function：上取整函数

certain event：必然事件

characteristic equation：特征方程

characteristic function：特征函数

chromatic number of G：G的色数

chromatic polynomial：着色多项式

circuit design：线路设计

circuit：回路

closed under the operation：运算对…是封闭的

closed with respect to：对…是封闭的

closure：闭包

collision：冲突

coloring graphs：图的着色

column：列

combination：组合

common divisor：公因子

commutative：可交换的

commutative：可交换的

commuter：经常往来于两地的人

comparable：可比较的

compatible with：与…相容

compatible：相容的

complement of B with respect to A：A与B的差集complement：补元

complementary relation：补关系

complete graph：完全图

complete match：完全匹配

complete n-tree：完全n-元树

component sentence：分句

component：分图

composition：复合

composition：关系的复合

compound statement：复合命题

conditional statement, implication：条件式，蕴涵式congruence relation：同余关系

congruent to：与…同余

conjecture：猜想

conjunction：合取

connected：连通的

connected：连通的

connection：连接

connectivity relation：连通性关系consecutively：相继地

consequent, conclusion：结论，后件constructive proof：构造性证明

contain(in)：包含（于）

contingency：可满足式

contradiction, absurdity：永假(矛盾)式contrapositive：逆否命题

conversation of flow：流的守恒converse：逆命题

conversely：相反地

coordinate：坐标

coset：陪集

countable(uncountable)：可数（不可数）counterexample；反例

counting：计数

criteria：标准，准则

custom：惯例

cut：割

cycle：回路

cyclic permutation：循环置换，轮换

de Morgan’s laws：德摩根律declarative sentence：陈述句

degree of a vertex：结点的度

depot：货站，仓库

descendant：后代

diagonal matrix：对角阵

die：骰子

digraph：有向图

dimension：维(数)

direct flight：直飞航班

discipline：学科

disconnected：不连通的

discrete graph(null graph)：零图

disjoint sets：不相交集

disjunction：析取

distance：距离

distinguish：区分

distributive lattice：分配格