离散数学双语专业词汇表wps

《离散数学》双语专业词汇表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：分配格
distributive：可分配的
distributive：可分配的
division：除法
dodecahedron：正十二面体
domain：定义域
doubly linked list：双向链表
dual：对偶
edge：边
edge：边
element,member：成员，元素
empty relation：空关系
empty sequence(string)：空串
empty set：空集
end point：端点
entry(element)：元素
equally likely：等可能的，等概率的equivalence class：等价类
equivalent relation：等价关系
Euclidian algorithm：欧几里得算法，辗转相除法Euler path(circuit)：欧拉路径(回路)
event：事件
everywhere defined：处处有定义的
excess capacity：增值容量
existence proof：存在性证明
existential quantification：存在量词化
expected value：期望值
explicit：显式的
extensively：广泛地，全面地
extremal element：极值元素
factor：因子
factorial：阶乘
finite (infinite) set：有限（无限）集
finite group：有限（阶）群
floor function：下取整函数
free semigroup generated by A：由A生成的自由半群frequency of occurrence：出现次数(频率) function, mapping, transformation：函数，映射，变换GCD(greatest common divisor)：最大公因子gender：性别
generalize：推广
generic element：任一元素
graduate school：研究生院
graph：(无向)图
graph：无向图
greatest(least) element：最大(小)元
greedy algorithm：贪婪算法
group：群
growth of function：函数增长
Hamiltonian path(circuit)：哈密尔顿路径(回路) hashing function：杂凑函数
Hasse diagram：哈斯图
height：树高
homomorphic image：同态像
homomorphism：同态
hypothesis：假设，前提，前件
idempotent：等幂的
idempotent：幂等的
identity function on A：A上的恒等函数
identity(element)：么（单位）元
identity：么元，单位元
impossible event：不可能事件
inclusion-exclusion principle：容斥原理
in-degree：入度
indirect method：间接证明法
induction step：归纳步
informal brand：不严格的那种
inorder search：中序遍历
intersection：交
intuitively：直觉地
inverse：逆关系
inverse：逆元
inverse：逆元
inverter：反向器
invertible function：可逆函数
involution property：对合律
irreflexive：反自反的
isolated vertex：孤立结点
isomorphism：同构
isomorphism：同构
join：，保联，并
join：并
Karnaugh map：卡诺图
Kernel：同态核
key：键
Klein 4 group：Klein四元群
Konisberg Bridge problem：哥尼斯堡七桥问题Kruskal’s algorithm：Kruskal算法
labeled digraph：标记有向图
lattice：格
LCM(least common multiple)：最小公倍数leaf(leave)：叶结点
least upper(greatest lower) bound：上(下)确界level：层，
lexicographic order：字典序
likelihood：可能性
linear array(list)：线性表
linear graph：线性图
linear homogeneous relation of degree k：k阶线性齐次关系linear order(total order)：线序，全序
linearly ordered set, chain：线（全）序集，链
linked list：链表
linked-list representation：链表表示
logarithm function to the base n：以n为底的对数
logical connective：命题联结词
logically equivalent：（逻辑）等价的
logically follow：是…的逻辑结论
logician：逻辑学家
loop：自回路
lower order：低阶
main diagonal：主对角线
map-coloring problem：地图着色问题
matching function：匹配函数
matching problems：匹配问题
mathematical structure(system)：数学结构（系统）matrix：矩阵
maximal match：最大匹配
maximal(minimal) element：极大(小)元
maximum flow：最大流
meet：保交，交
meet：交
minimal spanning tree：最小生成树
minterm：极小项
modular lattice：模格
modulus：模
modus ponens：肯定律
m odus tollens：否定律
monoid：含么半群，独异点multigraph：多重图
multiple：倍数
multiplication table：运算表
multi-valued function：多值函数mutually exclusive：互斥的，不相交的natural homomorphism：自然同态nearest neighbor：最邻近结点negation：否定（式）
normal subgroup：正规(不变)子群notation：标记
notion：概念
n-tree：n-元树
n-tuple：n-元组
odd(even) permutation：奇（偶）置换offspring：子女结点
one to one：单射，一对一函数onto：到上函数，满射
operation on sets：集合运算
optimal solution：最佳方法
or(and, not) gate：或(与，非)门
order of a group：群的阶
order relation：序关系
ordered pair：有序对，序偶
ordered tree：有序树
ordered triple：有序三元组ordinance：法规
out-degree：出度
parent：父结点
partial order：偏序关系
partially ordered set, poset：偏序集
partition, quotient set：划分，商集
path：路径
path：通路，路径
permutation：置换，排列
pictorially：以图形方式
pigeonhole principle：鸽巢原理
planar graph：(可)平面图
plausible：似乎可能的
pointer：指针
Polish form：（表达式的）波兰表示
polynomial：多项式
positional binary tree：位置二元(叉)树
positional tree：位置树
postorder search：后序遍历
power set：幂集
predicate：谓词
preorder search：前序遍历
prerequisite：预备知识
prescribe：命令，规定
Prim’s algorithm：Prim算法
prime：素（数）
principle of mathematical induction：（第一）数学归纳法probabilistic：概率性的
probability(theory)：概率(论)
product partial order：积偏序
product set, Caretesian set：叉积，笛
product：积
proof by contradiction：反证法
proper coloring：正规着色
propositional function：命题公式
propositional variable：命题变元
pseudocode：伪码（拟码）
pumping station：抽水站
quantifier：量词
quotient group：商群
random access：随机访问
random selection(choose an object at random)：随机选择range：值域
rational number：有理数
reachability relation：可达性关系
reasoning：推理
recreational area：游乐场所
recursive：递归
recycle：回收，再循环
reflexive closure：自反闭包
reflexive：自反的
regular expression：正则表达式
regular graph：正规图，正则图
relation：关系
relationship：关系
relay station：转送站
remainder：余数
representation：表示
restriction：限制
reverse Polish form：（表达式的）逆波兰表示
(left) right coset：(左)右陪集
root：根，根结点
rooted tree：（有）根树
row：行
R-relative set：R相关集
rules of reference：推理规则
running time：运行时间
same order：同阶
sample space：样本空间
semigroup：半群
sensible：有意义的
sensible：有意义的
sequence：序列
sequential access：顺序访问
set corresponding to a sequence：对应于序列的集合set inclusion(containment)：集合包含
set：集合
siblings：兄弟结点
simple cycle：简单回路
simple path(circuit)：基本路径(回路)
simple path：简单路径（通路）
sink：汇
sophisticated：复杂的
source：源
spanning tree：生成树，支撑树
square matrix：方阵
statement, proposition：命题
storage cell：存储单元
string：串，字符串
strong induction：第二数学归纳法
subgraph：子图
subgroup：子群
sublattice：子格
submonoid：子含么半群
subscript：下标
subsemigroup：子半群
subset：子集
substitution：替换
subtree：子树
summarize：总结，概括
symmetric closure：对称闭包
symmetric difference：对称差
symmetric group：对称群
symmetric：对称的
tacitly：默认
tautology：永真(重言)式
tedious：冗长乏味的
terminology：术语
the capacity of a cut：割的容量
topological sorting：拓扑排序
transitive closure：传递闭包
transitive：传递的
transport network：运输网络
transposition：对换
traverse：遍历，周游
tree searching：树的搜索（遍历）
tree：树
truth table：真值表
TSP(traveling salesperson problem)：货郎担问题unary operation：一元运算
undirected edge：无向边
undirected edge：无向边
undirected tree：无向树
union：并
unit element：么(单位)元
universal quantification：全称量词化
universal set：全集
upper(lower) bound：上(下)界value of a flow：流的值
value, image：值，像，应变量Venn diagram：文氏图verbally：用言语
vertex(vertices)：结点
vertex(vertices)：结点，顶点virtually：几乎
Warshal’s algorithm：Warshall算法weight：权
weight：树
weighted graph：（赋）权图
well-defined：良定，完全确定word：词
zero element：零元。