常用离散数学名词中英文对照.doc

常用离散数学名词中英文对照.doc

《常用离散数学名词中英文对照.doc》由会员分享，可在线阅读，更多相关《常用离散数学名词中英文对照.doc（2页珍藏版）》请在冰豆网上搜索。

矛盾:

contradiction

逻辑等价:

logicalequivalence

命题代数:

algebraofpropositions

逻辑蕴涵:

logicalimplication

关系:

relation

有序对:

orderedpair

划分:

parti-on

偏序:

partialorder

整除性:

divisibility

常规序:

usualorder

上确界:

supremum

下确界:

infimum

上（下）界:

upper（lower）bound

乘积集:

productset

笛卡儿积:

cartesianproduct

笛卡儿平面:

cartesianplane

二元关系:

binaryrelation

定义域:

domain

值域:

range

相等:

equality

恒等关系:

identityrelation

全关系:

universalralation

空关系:

emptyralation

图解:

graph

坐标图:

coordinatediagram

关系矩阵:

matrixoftherelation

连矢图:

arrowdiagram

有向图:

directedgraph

逆关系:

inverserelation

转置:

transpose

复合:

composition

自反:

reflexive

对称的:

symmetric

反对称的:

anti-symmetric

可递的:

transitive

等价关系:

equivalencerelation

半序关系:

partialorderingrelation

函数:

function

映射:

mapping

变换:

transformation

像点:

image

常用离散数学名词中英文对照

集合：

set

元素：

element

严格定义:

welldefined

成员:

member

外延原理:

principleofextension

泛集（全集）:

universalset

空集:

emptyset（nullset）

子集:

subset

文氏图:

venndiagram

并:

union

交:

intersection

相对补集:

relativecomplement

绝对补集:

absolutecomplement

补集:

complement

对偶性:

duality

幂等律:

idempotentlaws

组合律:

associativelaws

交换律:

commutativelaws

分配律:

distributivelaws

同一律:

identitylaws

对合律:

involutionlaws

求补律:

complementlaws

对偶原理:

principleofduality

有限集:

finiteset

计算原理:

countingprinciple

类:

class

幂集:

powerset

子类:

subclass

子集合:

subcollection

命题:

proposition

命题计算:

propositioncalculus

语句:

statement

复合:

compound

子语句:

substatement

合取:

conjunction

析取:

disjuction

否定:

negation

真值表:

truthtable

重言式:

tautology

正则图:

regulargraph

偶图:

bipartivegraph

树图:

treegraph

加权图:

labeledgraph

同构图:

isomorphicgraph

同构:

isomorphism

同胚的:

homeomorphic

平面图:

planargraph

着色问题:

colortion

区域:

region

地图:

map

非平面图:

nonplanargraph

着色图:

coloredgraphs

顶点着色:

vertexcoloring

色散:

chromaticnumber

四色原理:

fourcolortheorem

对偶地图:

dualmap

退化树:

degeneratetree

生成树:

spanningtree

有根树:

rootedtree

根:

root

水平（深度）:

level（depth）

叶子:

leaf

分支:

branch

有序有根树:

orderedrootedtree

二元运算符:

binaryoperationalsymbol

半群:

semigroup

单位元素:

identityelement

右（左）单位元素:

right（left）identity

左（右）消去律:

left（right）cancellationlaw）

逆:

inverse

并列:

juxtaposition

有限群:

finitegroup

正规子群:

normalsubgroup

非平凡子群:

nontrivialsubgroup

循环群:

cyclicgroup

环:

ring

整环:

integraldomain

域:

field

交换环:

commutativering

加性环:

additivegroup

汇合:

meet

哈密顿回路:

hamiltoncycle

货郎行程问题:

travelingsalesman

完全图:

completegraph

格:

lattice

有界格:

boundedlattice

分配格:

distributevelattice

补格:

complementedlattice

表示定理:

representationtheorem

象:

image

自变量:

independentvariable

因变量:

dependentvariable

函数图象:

graphofafunction

合成函数:

compositionfunction

可逆函数:

invertiblefunction

一一对应:

onetoonecorrespondence

内射:

injective

满射:

surjective

双射:

bijective

基数度:

cardinality

基数:

cardinalnumber

图论:

graphtheory

多重图:

multigraphy

顶点:

vertix（point,node）

无序对:

unorderedpair

边:

edge

相邻的adjacent

端点:

endpoint

多重边:

multipleedge

环:

loop

子图:

subgraph

生成子图:

generatedsubgraph

平凡图:

trivialgraph

入射:

incident

孤立点:

isolatedvertex

连通性:

connectivity

通路:

walk

长度:

length

简单通路:

chain（trail）

圈:

path

回路:

cycle

连通的:

connected

连通分支:

connectedcomponent

距离:

distance

欧拉图:

euleriangraph

欧拉链路:

euleriantrail

哈密顿图:

hamiltongraph