离散数学.docx
- 文档编号:28222484
- 上传时间:2023-07-09
- 格式:DOCX
- 页数:10
- 大小:20.88KB
离散数学.docx
《离散数学.docx》由会员分享,可在线阅读,更多相关《离散数学.docx(10页珍藏版)》请在冰豆网上搜索。
离散数学
离散数学
《离散数学》双语专业词汇表
set:
集合subset:
子集
element,member:
成员,元素well-defined:
良定,完全确定
brace:
花括号representation:
表示
sensible:
有意义的rationalnumber:
有理数
emptyset:
空集Venndiagram:
文氏图
contain(in):
包含(于)universalset:
全集
finite(infinite)set:
有限(无限)集cardinality:
基数,势
powerset:
幂集operationonsets:
集合运算
disjointsets:
不相交集intersection:
交
union:
并complementofBwithrespecttoA:
A与B的差集
symmetricdifference:
对称差commutative:
可交换的
associative:
可结合的distributive:
可分配的
idempotent:
等幂的deMorgan’slaws:
德摩根律
inclusion-exclusionprinciple:
容斥原理sequence:
序列
subscript:
下标recursive:
递归
explicit:
显式的string:
串,字符串
setcorrespondingtoasequence:
对应于序列的集合
lineararray(list):
线性表characteristicfunction:
特征函数
countable(uncountable):
可数(不可数)alphabet:
字母表
word:
词emptysequence(string):
空串
catenation:
合并,拼接regularexpression:
正则表达式
division:
除法multiple:
倍数prime:
素(数)
algorithm:
算法commondivisor:
公因子
GCD(greatestcommondivisor):
最大公因子
LCM(leastcommonmultiple):
最小公倍数
Euclidianalgorithm:
欧几里得算法,辗转相除法
pseudocode:
伪码(拟码)matrix:
矩阵squarematrix:
方阵
row:
行column:
列
entry(element):
元素diagonalmatrix:
对角阵
Booleanmatrix:
布尔矩阵join:
并
meet:
交Booleanproduct:
布尔乘积
mathematicalstructure(system):
数学结构(系统)
closedwithrespectto:
对…是封闭的
binaryoperation:
二元运算unaryoperation:
一元运算
identity:
么元,单位元inverse:
逆元
statement,proposition:
命题logicalconnective:
命题联结词
compoundstatement:
复合命题propositionalvariable:
命题变元
negation:
否定(式)truthtable:
真值表
conjunction:
合取disjunction:
析取
quantifier:
量词universalquantification:
全称量词化
propositionalfunction:
命题公式predicate:
谓词
existentialquantification:
存在量词化converse:
逆命题
conditionalstatement,implication:
条件式,蕴涵式
consequent,conclusion:
结论,后件
contrapositive:
逆否命题hypothesis:
假设,前提,前件
biconditional,equivalence:
双条件式,等价
logicallyequivalent:
(逻辑)等价的contingency:
可满足式
tautology:
永真(重言)式contradiction,absurdity:
永假(矛盾)式
logicallyfollow:
是…的逻辑结论rulesofreference:
推理规则
modusponens:
肯定律modustollens:
否定律
indirectmethod:
间接证明法proofbycontradiction:
反证法
counterexample;反例basicstep:
基础步
principleofmathematicalinduction:
(第一)数学归纳法
inductionstep:
归纳步stronginduction:
第二数学归纳法
relation:
关系digraph:
有向图
orderedpair:
有序对,序偶productset,Caretesianset:
叉积,笛
partition,quotientset:
划分,商集block,cell:
划分块,单元
domain:
定义域range:
值域
R-relativeset:
R相关集vertex(vertices):
结点,顶点
edge:
边in-degree:
入度
out-degree:
出度path:
通路,路径
cycle:
回路connectivityrelation:
连通性关系
reachabilityrelation:
可达性关系composition:
复合
reflexive:
自反的irreflexive:
反自反的
emptyrelation:
空关系symmetric:
对称的
asymmetric:
非对称的antisymmetric:
反对称的
graph:
无向图undirectededge:
无向边
adjacentvertices:
邻接结点connected:
连通的
transitive:
传递的equivalentrelation:
等价关系
congruentto:
与…同余modulus:
模
equivalenceclass:
等价类linkedlist:
链表
storagecell:
存储单元pointer:
指针
complementaryrelation:
补关系inverse:
逆关系
closure:
闭包symmetricclosure:
对称闭包
reflexiveclosure:
自反闭包composition:
关系的复合
transitiveclosure:
传递闭包Warshal’salgorithm:
Warshall算法
function,mapping,transformation:
函数,映射,变换
argument:
自变量value,image:
值,像,应变量
labeleddigraph:
标记有向图identityfunctiononA:
A上的恒等函数
everywheredefined:
处处有定义的onto:
到上函数,满射
onetoone:
单射,一对一函数
bijection,one-to-onecorrespondence:
双射,一一对应
invertiblefunction:
可逆函数floorfunction:
下取整函数
ceilingfunction:
上取整函数Booleanfunction:
布尔函数
base2exponentialfunction:
以2为底的指数函数
logarithmfunctiontothebasen:
以n为底的对数
hashingfunction:
杂凑函数key:
键
growthoffunction:
函数增长sameorder:
同阶
lowerorder:
低阶runningtime:
运行时间
permutation:
置换,排列cyclicpermutation:
循环置换,轮换
transposition:
对换odd(even)permutation:
奇(偶)置换
orderrelation:
序关系partialorder:
偏序关系
partiallyorderedset,poset:
偏序集dual:
对偶
comparable:
可比较的linearorder(totalorder):
线序,全序
linearlyorderedset,chain:
线(全)序集,链
productpartialorder:
积偏序
lexicographicorder:
字典序Hassediagram:
哈斯图
topologicalsorting:
拓扑排序isomorphism:
同构
maximal(minimal)element:
极大(小)元extremalelement:
极值元素
greatest(least)element:
最大(小)元unitelement:
么(单位)元
zeroelement:
零元upper(lower)bound:
上(下)界
leastupper(greatestlower)bound:
上(下)确界lattice:
格
join:
,保联,并meet:
保交,交
sublattice:
子格absorptionproperty:
吸收律
boundedlattice:
有界格distributivelattice:
分配格
complement:
补元modularlattice:
模格
Booleanalgebra:
布尔代数involutionproperty:
对合律
Booleanpolynomial,Booleanexpression:
布尔多项式(表达式)
or(and,not)gate:
或(与,非)门inverter:
反向器
circuitdesign:
线路设计minterm:
极小项
Karnaughmap:
卡诺图
tree:
树root:
根,根结点
rootedtree:
(有)根树level:
层,
parent:
父结点offspring:
子女结点
siblings:
兄弟结点height:
树高
leaf(leave):
叶结点orderedtree:
有序树
n-tree:
n-元树completen-tree:
完全n-元树
(complete)binarytree:
(完全)二元(叉)树descendant:
后代
subtree:
子树positionaltree:
位置树
positionalbinarytree:
位置二元(叉)树doublylinkedlist:
双向链表
treesearching:
树的搜索(遍历)traverse:
遍历,周游
preordersearch:
前序遍历Polishform:
(表达式的)波兰表示
inordersearch:
中序遍历postordersearch:
后序遍历
reversePolishform:
(表达式的)逆波兰表示
linked-listrepresentation:
链表表示
undirectedtree:
无向树undirectededge:
无向边
adjacentvertices:
邻接结点simplepath:
简单路径(通路)
simplecycle:
简单回路acyclic:
无(简单)回路的
spanningtree:
生成树,支撑树Prim’salgorithm:
Prim算法
minimalspanningtree:
最小生成树weightedgraph:
(赋)权图
weight:
树distance:
距离
nearestneighbor:
最邻近结点greedyalgorithm:
贪婪算法
optimalsolution:
最佳方法Kruskal’salgorithm:
Kruskal算法
graph:
(无向)图vertex(vertices):
结点edge:
边
endpoint:
端点relationship:
关系connection:
连接
degreeofavertex:
结点的度loop:
自回路path:
路径
isolatedvertex:
孤立结点adjacentvertices:
邻接结点
circuit:
回路simplepath(circuit):
基本路径(回路)
connected:
连通的disconnected:
不连通的component:
分图
discretegraph(nullgraph):
零图completegraph:
完全图
regulargraph:
正规图,正则图lineargraph:
线性图
subgraph:
子图Eulerpath(circuit):
欧拉路径(回路)
KonisbergBridgeproblem:
哥尼斯堡七桥问题ordinance:
法规
recycle:
回收,再循环bridge:
桥,割边
Hamiltonianpath(circuit):
哈密尔顿路径(回路)
dodecahedron:
正十二面体weight:
权
TSP(travelingsalespersonproblem):
货郎担问题
transportnetwork:
运输网络capacity:
容量
maximumflow:
最大流source:
源
sink:
汇conversationofflow:
流的守恒
valueofaflow:
流的值excesscapacity:
增值容量
cut:
割thecapacityofacut:
割的容量
matchingproblems:
匹配问题matchingfunction:
匹配函数
compatiblewith:
与…相容maximalmatch:
最大匹配
completematch:
完全匹配coloringgraphs:
图的着色
propercoloring:
正规着色chromaticnumberofG:
G的色数
map-coloringproblem:
地图着色问题conjecture:
猜想
planargraph:
(可)平面图blandmeats:
未加调料的肉
chromaticpolynomial:
着色多项式
binaryoperationonasetA:
集合A上的二元运算
closedundertheoperation:
运算对…是封闭的
commutative:
可交换的associative:
可结合的
idempotent:
幂等的distributive:
可分配的
semigroup:
半群product:
积
freesemigroupgeneratedbyA:
由A生成的自由半群
identity(element):
么(单位)元monoid:
含么半群,独异点
subsemigroup:
子半群submonoid:
子含么半群
isomorphism:
同构homomorphism:
同态
homomorphicimage:
同态像Kernel:
同态核
congruencerelation:
同余关系naturalhomomorphism:
自然同态
group:
群inverse:
逆元quotientgroup:
商群
Abeliangroup:
交换(阿贝尔)群cancellationproperty:
消去律
multiplicationtable:
运算表finitegroup:
有限(阶)群
orderofagroup:
群的阶symmetricgroup:
对称群
subgroup:
子群alternatinggroup:
交替群
Klein4group:
Klein四元群coset:
陪集
(left)rightcoset:
(左)右陪集normalsubgroup:
正规(不变)子群
prerequisite:
预备知识virtually:
几乎
informalbrand:
不严格的那种notation:
标记
sensible:
有意义的logician:
逻辑学家
extensively:
广泛地,全面地commuter:
经常往来于两地的人
byconvention:
按常规,按惯例dimension:
维(数)
compatible:
相容的
discipline:
学科reasoning:
推理
declarativesentence:
陈述句n-tuple:
n-元组
componentsentence:
分句tacitly:
默认
genericelement:
任一元素algorithmverification:
算法证明
counting:
计数factorial:
阶乘
combination:
组合pigeonholeprinciple:
鸽巢原理
existenceproof:
存在性证明constructiveproof:
构造性证明
category:
类别,分类factor:
因子
consecutively:
相继地probability(theory):
概率(论)
die:
骰子probabilistic:
概率性的
samplespace:
样本空间event:
事件
certainevent:
必然事件impossibleevent:
不可能事件
mutuallyexclusive:
互斥的,不相交的likelihood:
可能性
frequencyofoccurrence:
出现次数(频率)summarize:
总结,概括
plausible:
似乎可能的equallylikely:
等可能的,等概率的
randomselection(chooseanobjectatrandom):
随机选择
terminology:
术语expectedvalue:
期望值
backtracking:
回溯characteristicequation:
特征方程
linearhomogeneousrelationofdegreek:
k阶线性齐次关系
binaryrelation:
二元关系prescribe:
命令,规定
coordinate:
坐标criteria:
标准,准则
gender:
性别graduateschool:
研究生院
generalize:
推广notion:
概念
intuitively:
直觉地verbally:
用言语
approach:
方法,方式conversely:
相反地
pictorially:
以图形方式restriction:
限制
directflight:
直飞航班tedious:
冗长乏味的
maindiagonal:
主对角线remainder:
余数
randomaccess:
随机访问sequentialaccess:
顺序访问
custom:
惯例polynomial:
多项式
substitution:
替换multi-valuedfunction:
多值函数
collision:
冲突analysisofalgorithm:
算法分析
sophisticated:
复杂的
setinclusion(containment):
集合包含distinguish:
区分
analogous:
类似的orderedtriple:
有序三元组
recreationalarea:
游乐场所
multigraph:
多重图pumpingstation:
抽水站
depot:
货站,仓库relaystation:
转送站
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学