离散数学专业名词Word文件下载.docx
《离散数学专业名词Word文件下载.docx》由会员分享，可在线阅读，更多相关《离散数学专业名词Word文件下载.docx（10页珍藏版）》请在冰豆网上搜索。
boundvariable（约束变量）
first-orderlogic（—阶逻辑）
universalquantifie（r全称量词）
counterexampl（e反例）
existentialquantifie（r存在量词）
disproof（反证）
1.5证明方法
theorem（定理）
indirectproof（间接证明）
proofbycontradiction反证法）
proofbydirectmethod直接证明方法）
directproof（直接证明）
1.6算法
algorithm（算法）
two-wayselectio（n双路选择）
list（列表）
input（输入）
if
two-dimensionalarray二维数组）
output（输出）
then
read
precision（精度）
else
print
uniqueness（唯一性）
while
subproprams（子程序）
finiteness（有限性）
do
procedure
generality（通用性）
for
function
assignmentoperato（r赋值运算符）
begin
constantpolynomi（al常量多项式）
assignmentstatemen（t赋值语句）
end
degree（次数）
controlstructure（s控制结构）
return
one-wayselection（单路选择）
arrays（数组）
第三章关系与偏序集
3.1关系与偏序集
binaryrelation（二元关系）directedgraphrepresentatio（n有向图表示）
digraph（有向图）relation（关系）vertex（顶点）
adjacentto（与…相邻）R-related（R相关）directededge（有向边）
adjacentfrom（从...相邻）related（相关）directedarc（有向弧）
loop（环）emptyrelation（空关系）arrowdiagram（矢量图）
domain（域）universalrelation（全称关系）directedgraph（有向图）range（值域）image映像）equivalenceclass（等价类）
transitiveclosure（传递闭包）inverse（逆）R-class（R类）
directedwalk（有向通路）composition（复合）reflexive（自反）
R-equivalenceclass（R夺价类）walk（通路）partition（划分）
verticesofthewalk（通路顶点）transitive（传递）
equivalencerelationinducedbythepartition（戈U分推出的等价关系）
terminalvertex（终止顶点）internalvertices（内部顶点）reflexiveclosure（自反闭包）congruencemodulom（模m同余）
equivalencerelation（等价关系）equalityrelation（相等性关系）path（路径）symmetricclosure（对称闭包）
lexicographicorder（词典序）partialorder（偏序）upperbound（上界）（闭合）poset（偏序集）
covers（覆盖）Hassediagram（哈赛图）comparable（可比）lattice（格）maximalelement（极大元）totallyorderedset（完全有序集）complement（补元）Booleanalgebra（布尔代数）compatible（兼容，相容）
matrix（矩阵）
join（并）
identitymatrix（单位矩阵）element（元素）meet（交）differenc（e差）
equal（等于）
Booleanproduc（t布尔积）transpose（转置）zeromatrix（零矩阵）diagonalelemen（t对角元素）
3.2偏序集
antisymmetric（反对称）topologicalordering（拓扌卜排序）dictionaryorder（字典序）partiallyorderedset（偏序集）closedleastupperbound（lub）（最小上界）
lowerbound（下界）dual（序偶）greatestlowerbound（glb）（最大下界）
minimalelement（极小元）linearlyorderedset（线性有序集）distributive（可分配性）greatestelement（最大元）chain（链）leastelement（最小元）productpartialorder（积偏序）
第四章矩阵与关系闭包
4.1矩阵
diagonalmatrix（对角矩阵）rectangulararray（矩阵阵列）Booleanmeet（布尔交）sum（和）entry（项）
joinofmeetexpression相交表达式的并）multiplication（乘法）squarematrix（方阵）product（积）symmetric（对称）Booleanjoin（布尔并）
4.2关系矩阵与闭包
matrixofarelation（关系矩阵）Warshal'
salgorithm（Warshall算法）
第五章函数
5.1函数
function（函数）onto（满射）range（值域）singlevalued（单值）surjection（满射）identityfunction（恒等函数）one-to-onecorrespondence一一映射）preimage（预映像，前射，前像，原像）bijective（双射）one-one（单射函数）domain（域）composition（复合）injection（内射）
target（目标）
welldefined（合理定义）surjective（满射）
numericfunctions（数字函数）image（映像）
constantfunctio（n常数函数）mapped（映射）bijection（双射）injective（内射）codomain（合域）
5.2特殊函数与集合的基数
inversefunction（逆函数）cardinality（基数）directimage（直接映像）leftinverse（左逆）equipotent（幕等）floor（下限）rightinverse（右逆）uncountable（不可数）floorfunction（弱取整函数）ceilingfunction（强取整函数）
images（映像）leftinvertible（左可逆）equivalent（等价）inverseimage（逆映像）rightinvertible（右可逆）countable（可数）ceiling（上限）restriction（限制）extension（扩展）
5.3序列与字符串
sequence（序列）inde（x索引）summationsymbo（l求和符号）finitesequence（有限序列）infinitesequence（无限序列）integersequenc（e整数序列）alphabe（t字母表）lowerlimit（下限）firstterm（首项）emptystring（空字符串）generalterm（通项）geometricprogressionGP）（等比数列）concatenation（接合）
sumoftheterms（项之和）nthtermofthesequence序列第n项）subscrip（t下标）string（字符串）word（字符）dummyvariable（哑变量）arithmeticprogressionAP）（等差数列）length（长度）upperlimit（上限）commondifference（公差）emptyword（空串）productoftheterm（s项之积）commonratio（公比）
productsymbo（l求积符号）
5.4二元运算
binaryoperation二元运算）mathematicalsystem数学系统）
idempotent（幕等）closeunder（在•…下闭合）
groupoi（群）idempotentsemigroup幕等半群）
associative（可结合）identity（单位元）
band（带）commutative（可交换）
semigroup（半群）
freesemigroupgeneratedby由••…生成的自由半群）
CayleymultiplicationtableCayley乘法表）monoid（幺半群）
freemonoidgeneratedby由……生成的自由幺半群）
CayleytableCayley表）transformationsemigroup变换半群）
第六章同余
6.1同余
Congruent（同余）congruenceclassmodulo模m的同余类）
6.3线性同余
量x的线性同余式）
residuerepresentation（余数表示）modularrepresentation（模表示）hashing（散列）linearprobing（线性探测）hashingfunction（散列函数）hashfunction（散列函数）doublehashing（双重散列）
ciphertext（密文）plaintext（明文）decryptionkey（揭秘钥匙）
linearcongruenceinonevariable一个变inverse（逆）
uniquemodulo（唯一模）round-robintournament（循环赛）hashaddress（散列地址）hashtable（散列表）probesequence（探测数列）collision（冲突）
6.4特殊同余定理
Eulerphi-function（欧拉phi函数）encryptionkey（加密钥匙）decryptionfunction（加密函数）
第十章图论
10.1图的定义与符号
graph（图）parallel（平行边）arc（弧）
setofvertices（顶点集合）isolatedvertex（顶点孤立）
Staringvertex（始点）setofedges（边集）degree（度）
terminatingvertex（终点）incidencefunction（关联函数）
k-regulargraph（k-正贝U图）in-degree（入度）
endvertices（端点）evendegreevertex（偶度顶点）
out-degree（出度）endpoints（端点）
odddegreevertex（奇度顶点）simplegraph（简单图）
incident（关联）degreesequence度数歹U）completegrap（完全图）
Adjacent（相邻）directedgraph（有向图）triangle（三角形）
loop（环）digraph（有向图）bipartitegraph（二分图）
incidencetable（关联表）directededge（有向边）
Bipartition（二分）completebipartite（完全二分）subgraph（子图）Complementofagrap（补图）Ramseynumber（Ramsey数）
10.2通路，路径与圈
walk（通路）initialvertex（始点）
directedwalk（有向通路）
lengthofadirectedwalk（有向通路长度）u-vdirectedwalk（u-v有向通路）closeddirectedwalk（闭合有向通路）opendirectedwalk（开放有向通路）path（路径）trivialwalk（平凡通路）
10.3图的矩阵表示
adjacency（相邻矩阵）incidencematrix（关联矩阵）
10.4特殊回路
Eulercircuit（欧拉回路）Eulertrail（欧拉迹）
Hamiltoniangraph（汉密尔顿图）Eulergraph（欧拉图）
Hamiltoniancycle（汉密尔顿圈）Hamiltonianpath（汉密尔顿路径）
10.5同构
isomorphic（同构）different（不同）
10.6图算法
weight（权）weightedgraph（加权图）weightmatrix（加权矩阵）
lengthofapath（路径长度）shortestpathalgorithm（最短路径算法）
greedyalgorithm（贪婪算法）topologicalordering（拓扌卜排序）
queue（队列）
immediatesuccessor（直接后继）
rear（队尾）
10.7平面图和图着色
planargraph（平面图）exteriorface（外面）
propervertexcoloring正常顶点着色）planegraph（平面图）
interiorface（内面）chromaticnumber（色数）
planarrepresentationofagraph图的平面表示）subdivisionofagraph图的细分）edgecoloring（边着色）
faces（面）homeomorphic（同胚）
properedgecoloring正常边着色）boundary（边界）
vertexcoloring（顶点着色）chromaticindex（色索弓丨）
第十一章树与网络
11.1树
tree（树）
acyclicgrap（h无环图）
11.2有根树
rootedtree（有根树）
binarytree（二叉树）
postordertraversa（l后序遍历）
lever（层）
trivialtree（平凡树）
inordersequence中序顺序）
child（子节点）
leftchild（左子节点）
preordersequenc（e前序顺序）
terminalvertex（终点）
rightchild右子节点）
postordersequence后序顺序）
leaf（叶子）
leftsubtree（左子树）
binarysearchtre（e二叉搜索树）
internalvertex（内顶点）
rightsubtree（右子树）
infix（中缀）
descendan（t后代）
fullbinarytree（完全二叉树）
prefix（前缀）
orderedrootedtre（e有序有根树）
inordertraversa（l中序遍历）
postfix（后缀）
height（高度）expressiontree（表达式树）
preordertraversa（l前序遍历）
11.3生成树
spanningtree生成树）
minimalspanningtree最小生成树）
weightedtree（加权树）weight（权）
Prim'
salgorithm（Prim算法）
11.4网络
single-sourc，esingle-sinknetwor（k单元单汇网络）
flowconservation（流量守恒）quasipath（拟路径）
source（源）flowinedge（边流）
forwardarc（正向弧）
flowinto（流入）
sink（汇）slack（松弛）conservationofflow（流量守恒）capacity（容量）
F-unsaturated（F不饱和）
s-tcutofnetwork（网络的s-t分害U）network（网络）
patent（父节点）minimalcut（最小分害U）capacityconstrain（t容量限制）
backwardarc（反向弧）flowoutof（流出）
s-tnetwork（s-t网络）F-saturated（F-饱和）valueofaflow（流值）transportnetwork（传输网络）flowaugmenting（流增广）capacityofans-tcu（s-t分害U容量）flow（流）
immediatepredecesso（r直接前驱）maximalflow（最大流）
升级会员 