离散数学双语专业词汇表.doc

离散数学双语专业词汇表set：集合 subset：子集element, member：成员，元素 well-defined： 良定，完全确定brace：花括号 representation：表示sensible： 有意义的 rational number：有理数empty set：空集 Venn diagram：文氏图contain(in)：包含（于） universal set：全集finite (infinite) set：有限（无限）集 cardinality：基数，势power set：幂集 operation on sets：集合运算 disjoint sets： 不相交集 intersection：交 union： 并 complement of B with respect to A：A与B的差集symmetric difference：对称差 commutative： 可交换的associative：可结合的 distributive：可分配的idempotent：等幂的 de Morgans laws：德摩根律inclusion-exclusion principle：容斥原理 sequence：序列subscript：下标 recursive：递归explicit： 显式的 string：串，字符串set corresponding to a sequence：对应于序列的集合 linear array(list)：线性表 characteristic function： 特征函数countable(uncountable)：可数（不可数） alphabet：字母表word：词 empty sequence(string)：空串catenation：合并，拼接 regular expression：正则表达式division：除法 multiple：倍数 prime：素（数）algorithm：算法 common divisor：公因子 GCD(greatest common divisor)：最大公因子LCM(least common multiple)：最小公倍数Euclidian algorithm：欧几里得算法，辗转相除法pseudocode：伪码（拟码） matrix：矩阵 square matrix：方阵row：行 column：列entry(element)：元素 diagonal matrix：对角阵Boolean matrix：布尔矩阵 join：并meet：交 Boolean product：布尔乘积mathematical structure(system)：数学结构（系统）closed with respect to：对是封闭的binary operation：二元运算 unary operation：一元运算identity：么元，单位元 inverse：逆元statement, proposition：命题 logical connective：命题联结词compound statement：复合命题 propositional variable：命题变元negation：否定（式） truth table：真值表conjunction：合取 disjunction：析取quantifier：量词 universal quantification：全称量词化propositional function：命题公式 predicate：谓词existential quantification：存在量词化 converse：逆命题conditional statement, implication：条件式，蕴涵式consequent, conclusion：结论，后件 contrapositive：逆否命题 hypothesis： 假设，前提，前件biconditional, equivalence：双条件式，等价logically equivalent：（逻辑）等价的 contingency：可满足式tautology：永真(重言)式 contradiction, absurdity：永假(矛盾)式logically follow：是的逻辑结论 rules of reference：推理规则modus ponens：肯定律 modus tollens：否定律 indirect method：间接证明法 proof by contradiction：反证法counterexample；反例 basic step：基础步principle of mathematical induction：（第一）数学归纳法induction step：归纳步 strong induction：第二数学归纳法relation：关系 digraph：有向图ordered pair：有序对，序偶 product set, Caretesian set：叉积，笛partition, quotient set：划分，商集 block, cell：划分块，单元domain：定义域 range：值域R-relative set：R相关集 vertex(vertices)：结点，顶点edge：边 in-degree：入度out-degree：出度 path：通路，路径cycle：回路 connectivity relation：连通性关系reachability relation：可达性关系 composition：复合reflexive：自反的 irreflexive：反自反的empty relation：空关系 symmetric：对称的asymmetric：非对称的 antisymmetric：反对称的graph：无向图 undirected edge：无向边adjacent vertices：邻接结点 connected：连通的transitive：传递的 equivalent relation：等价关系congruent to：与同余 modulus：模equivalence class：等价类 linked list：链表storage cell：存储单元 pointer：指针complementary relation：补关系 inverse：逆关系closure：闭包 symmetric closure：对称闭包reflexive closure：自反闭包 composition：关系的复合transitive closure：传递闭包 Warshals algorithm：Warshall算法function, mapping, transformation：函数，映射，变换 argument：自变量 value, image：值，像，应变量labeled digraph：标记有向图 identity function on A：A上的恒等函数everywhere defined：处处有定义的 onto：到上函数，满射one to one：单射，一对一函数 bijection, one-to-one correspondence：双射，一一对应invertible function：可逆函数 floor function：下取整函数ceiling function：上取整函数 Boolean function：布尔函数base 2 exponential function：以2为底的指数函数logarithm function to the base n：以n为底的对数 hashing function：杂凑函数 key：键growth of function：函数增长 same order：同阶lower order：低阶 running time：运行时间permutation：置换，排列 cyclic permutation：循环置换，轮换transposition：对换 odd(even) permutation：奇（偶）置换order relation：序关系 partial order：偏序关系partially ordered set, poset：偏序集 dual：对偶comparable：可比较的 linear order(total order)：线序，全序linearly ordered set, chain：线（全）序集，链 product partial order：积偏序lexicographic order：字典序 Hasse diagram：哈斯图topological sorting：拓扑排序 isomorphism：同构maximal(minimal) element：极大(小)元 extremal element：极值元素greatest(least) element：最大(小)元 unit element：么(单位)元zero element：零元 upper(lower) bound：上(下)界least upper(greatest lower) bound：上(下)确界 lattice：格join：，保联，并 meet：保交，交sublattice：子格 absorption property：吸收律bounded lattice：有界格 distributive lattice：分配格complement：补元 modular lattice：模格Boolean algebra：布尔代数 involution property：对合律Boolean polynomial, Boolean expression：布尔多项式（表达式）or(and, not) gate：或(与，非)门 inverter：反向器circuit design：线路设计 minterm：极小项Karnaugh map：卡诺图tree：树 root：根，根结点rooted tree：（有）根树 level：层，parent：父结点 offspring：子女结点siblings：兄弟结点 height：树高leaf(leave)：叶结点 ordered tree：有序树n-tree：n-元树 complete n-tree：完全n-元树(complete) binary tree：(完全)二元(叉)树 descendant：后代subtree：子树 positional tree：位置树positional binary tree：位置二元(叉)树 doubly linked list：双向链表tree searching：树的搜索（遍历） traverse：遍历，周游preorder search：前序遍历 Polish form：（表达式的）波兰表示inorder search：中序遍历 postorder search：后序遍历reverse Polish form：（表达式的）逆波兰表示 linked-list representation：链表表示undirected tree：无向树 undirected edge：无向边adjacent vertices：邻接结点 simple path：简单路径（通路）simple cycle：简单回路 acyclic：无（简单）回路的spanning tree：生成树，支撑树 Prims algorithm：Prim算法minimal spanning tree：最小生成树 weighted graph：（赋）权图weight：树 distance：距离nearest neighbor：最邻近结点 greedy algorithm：贪婪算法optimal solution：最佳方法 Kruskals algorithm：Kruskal算法graph：(无向)图 vertex(vertices)：结点 edge：边end point：端点 relationship：关系 connection：连接degree of a vertex：结点的度 loop：自回路 path：路径isolated vertex：孤立结点 adjacent vertices：邻接结点circuit：回路 simple path(circuit)：基本路径(回路)connected：连通的 disconnected：不连通的 component：分图discrete graph(null graph)：零图 complete graph：完全图regular graph：正规图，正则图 linear graph：线性图subgraph：子图 Euler path(circuit)：欧拉路径(回路)Konisberg Bridge problem：哥尼斯堡七桥问题 ordinance：法规recycle：回收，再循环 bridge：桥，割边Hamiltonian path(circuit)：哈密尔顿路径(回路)dodecahedron：正十二面体 weight：权TSP(traveling salesperson problem)：货郎担问题transport network：运输网络 capacity：容量maximum flow：最大流 source：源sink：汇 conversation of flow：流的守恒value of a flow：流的值 excess capacity：增值容量cut：割 the capacity of a cut：割的容量matching problems：匹配问题 matching function：匹配函数compatible with：与相容 maximal match：最大匹配complete match：完全匹配 coloring graphs：图的着色proper coloring：正规着色 chromatic number of G：G的色数map-coloring problem：地图着色问题 conjecture：猜想planar graph：(可)平面图 bland meats：未加调料的肉chromatic polynomial：着色多项式 binary operation on a set A：集合A上的二元运算closed under the operation：运算对是封闭的commutative：可交换的 associative：可结合的idempotent：幂等的 distributive：可分配的semigroup：半群 product：积free semigroup generated by A：由A生成的自由半群identity(element)：么（单位）元 monoid：含么半群，独异点subsemigroup：子半群 submonoid：子含么半群isomorphism：同构 homomorphism：同态homomorphic image：同态像 Kernel：同态核congruence relation：同余关系 natural homomorphism：自然同态group：群 inverse：逆元 quotient group：商群Abelian group：交换（阿贝尔）群 cancellation property：消去律multiplication table：运算表 finite group：有限（阶）群order of a group：群的阶 symmetric group：对称群subgroup：子群 alternating group：交替群Klein 4 group：Klein四元群 coset：陪集(left) right coset：(左)右陪集 normal subgroup：正规(不变)子群prerequisite：预备知识 virtually：几乎 informal brand：不严格的那种 notation：标记sensible：有意义的 logician：逻辑学家extensively：广泛地，全面地 commuter：经常往来于两地的人by convention：按常规，按惯例 dimension：维(数)compatible：相容的discipline：学科 reasoning：推理declarative sentence：陈述句 n-tuple：n-元组component sentence：分句 tacitly：默认generic element：任一元素 algorithm verification：算法证明counting：计数 factorial：阶乘combination：组合 pigeonhole principle：鸽巢原理existence proof：存在性证明 constructive proof：构造性证明category：类别，分类 factor：因子consecutively：相继地 probability(theory)：概率(论)die：骰子 probabilistic：概率性的sample space：样本空间 event：事件certain event：必然事件 impossible event：不可能事件mutually exclusive：互斥的，不相交的 likelihood：可能性frequency of occurrence：出现次数(频率) summarize：总结，概括plausib