《keyword》由会员分享，可在线阅读，更多相关《keyword（13页珍藏版）》请在金锄头文库上搜索。
1、set：集合 subset：子集representation：表示sensible： 有意义的 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：对
2、称差 commutative： 可交换的associative：可结合的 distributive：可分配的idempotent：等幂的 de Morgans laws：德摩根律inclusion-exclusion principle：容斥原理 sequence：序列recursive：递归explicit： 显式的 matrix：矩阵 square matrix：方阵row：行 column：列Boolean matrix：布尔矩阵 join：并meet：交 Boolean product：布尔乘积binary operation：二元运算 unary operation：一元运算stat
3、ement, proposition：命题 logical connective：命题联结词compound statement：复合命题 propositional variable：命题变元negation：否定（式） truth table：真值表conjunction：合取 disjunction：析取quantifier：量词 universal quantification：全称量词化propositional function：命题公式 predicate：谓词existential quantification：存在量词化 converse：逆命题conditional sta
4、tement, implication：条件式，蕴涵式consequent, conclusion：结论，后件contrapositive：逆否命题 hypothesis： 假设，前提，前件biconditional, equivalence：双条件式，等价logically equivalent：（逻辑）等价的 contingency：可满足式tautology：永真(重言)式 contradiction, absurdity：永假(矛盾)式rules of reference：推理规则indirect method：间接证明法 proof by contradiction：反证法relat
5、ion：关系 digraph：有向图ordered pair：有序对，序偶 product set, Caretesian set：叉积，笛partition, quotient set：划分，商集 domain：定义域 range：值域R-relative set：R 相关集 vertex(vertices)：结点，顶点edge：边 in-degree：入度out-degree：出度 path：通路，路径cycle：回路 connectivity relation：连通性关系reachability relation：可达性关系 composition：复合reflexive：自反的 irr
6、eflexive：反自反的empty relation：空关系 symmetric：对称的asymmetric：非对称的 antisymmetric：反对称的graph：无向图 undirected edge：无向边adjacent vertices：邻接结点 connected：连通的transitive：传递的 equivalent relation：等价关系equivalence class：等价类 complementary relation：补关系 inverse：逆关系closure：闭包 symmetric closure：对称闭包reflexive closure：自反闭包 c
7、omposition：关系的复合transitive closure：传递闭包 Warshals algorithm：Warshall 算法Boolean function：布尔函数order relation：序关系 partial order：偏序关系partially ordered set, poset：偏序集 dual：对偶comparable：可比较的 Hasse diagram：哈斯图isomorphism：同构maximal(minimal) element：极大(小)元 extremal element：极值元素greatest(least) element：最大(小)元 u
8、pper(lower) bound：上(下)界least upper(greatest lower) bound：上(下)确界 lattice：格Boolean algebra：布尔代数 Boolean polynomial, Boolean expression：布尔多项式（表达式）or(and, not) gate：或(与，非)门 inverter：反向器circuit design：线路设计 minterm：极小项tree：树 root：根，根结点rooted tree：（有）根树 level：层，parent：父结点 offspring：子女结点siblings：兄弟结点 height
9、：树高leaf(leave)：叶结点 ordered tree：有序树n-tree：n-元树 complete n-tree：完全 n-元树(complete) binary tree：(完全)二元(叉)树 descendant：后代subtree：子树 tree searching：树的搜索（遍历） traverse：遍历，周游preorder search：前序遍历 Polish form：（表达式的）波兰表示inorder search：中序遍历 postorder search：后序遍历reverse Polish form：（表达式的）逆波兰表示undirected tree：无向树
10、 undirected edge：无向边adjacent vertices：邻接结点 simple path：简单路径（通路）simple cycle：简单回路 spanning tree：生成树，支撑树 Prims algorithm：Prim 算法minimal spanning tree：最小生成树 weighted graph：（赋）权图weight：树 distance：距离Kruskals algorithm：Kruskal 算法graph：(无向)图 vertex(vertices)：结点 edge：边end point：端点 relationship：关系 connection
11、：连接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)：欧拉路径(回路)Koni
12、sberg Bridge problem：哥尼斯堡七桥问题 bridge：桥，割边Hamiltonian path(circuit)：哈密尔顿路径(回路)weight：权maximum flow：最大流 source：源sink：汇 conversation of flow：流的守恒value of a flow：流的值 excess capacity：增值容量cut：割 the capacity of a cut：割的容量coloring graphs：图的着色planar graph：(可)平面图 commutative：可交换的 associative：可结合的idempotent：幂等的 distributive：可分配的 isomorphism：同构 homomorphism：同态reasoning：推理declarative sentence：陈述句 n-tuple：n-元组pigeonhole principle：鸽巢原理category：类别，分类 factor：因子binary relation：二元关系
