离散数学及其应用discrete mathematics and itsapplica.docx

离散数学及其应用discretemathematicsanditsapplication
关键术语名词中英文对照，浙大离散必备
集合：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
矛盾: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
象: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
哈密顿图: