离散数学双语专业词汇表

《离散数学双语专业词汇表》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、《离散数学》双语专业词汇表set：集合subset：子集element,member：成员，元素well-defined：良定，完全确定brace：花括号representation：表示sensible：有意义的rationalnumber：有理数emptyset：空集Venndiagram：文氏图contain(in)：包含（于）universalset：全集finite(infinite)set：有限（无限）集cardinality：基数，势powerset：幂集operationonsets：集合运算disjointsets：不相交集intersection：交union：并comp

2、lementofBwithrespecttoA：A与B的差集symmetricdifference：对称差commutative：可交换的associative：可结合的distributive：可分配的idempotent：等幂的deMorgan’slaws：德摩根律inclusion-exclusionprinciple：容斥原理sequence：序列subscript：下标recursive：递归explicit：显式的string：串，字符串setcorrespondingtoasequence：对应于序列的集合lineararray(list)：线性表characteristicf

3、unction：特征函数countable(uncountable)：可数（不可数）alphabet：字母表word：词emptysequence(string)：空串catenation：合并，拼接regularexpression：正则表达式division：除法multiple：倍数prime：素（数）algorithm：算法commondivisor：公因子GCD(greatestcommondivisor)：最大公因子LCM(leastcommonmultiple)：最小公倍数Euclidianalgorithm：欧几里得算法，辗转相除法pseudocode：伪码（拟码）matri

4、x：矩阵squarematrix：方阵row：行column：列entry(element)：元素diagonalmatrix：对角阵Booleanmatrix：布尔矩阵join：并meet：交Booleanproduct：布尔乘积mathematicalstructure(system)：数学结构（系统）closedwithrespectto：对…是封闭的binaryoperation：二元运算unaryoperation：一元运算identity：么元，单位元inverse：逆元statement,proposition：命题logicalconnective：命题联结词compound

5、statement：复合命题propositionalvariable：命题变元negation：否定（式）truthtable：真值表conjunction：合取disjunction：析取quantifier：量词universalquantification：全称量词化propositionalfunction：命题公式predicate：谓词existentialquantification：存在量词化converse：逆命题conditionalstatement,implication：条件式，蕴涵式consequent,conclusion：结论，后件contrapositiv

6、e：逆否命题hypothesis：假设，前提，前件biconditional,equivalence：双条件式，等价logicallyequivalent：（逻辑）等价的contingency：可满足式tautology：永真(重言)式contradiction,absurdity：永假(矛盾)式logicallyfollow：是…的逻辑结论rulesofreference：推理规则modusponens：肯定律modustollens：否定律indirectmethod：间接证明法proofbycontradiction：反证法counterexample；反例basicstep：基础步p

7、rincipleofmathematicalinduction：（第一）数学归纳法inductionstep：归纳步stronginduction：第二数学归纳法relation：关系digraph：有向图orderedpair：有序对，序偶productset,Caretesianset：叉积，笛partition,quotientset：划分，商集block,cell：划分块，单元domain：定义域ra