subt：子集
element, member：成员，元素
brace：花括号
rational number：有理数
empty t：空集
Venn diagram：文氏图
contain(in)：包含（于）
universal t：全集
finite (infinite) t：有限（无限）集
cardinality：基数，势
power t：幂集
operation on ts：集合运算
disjoint ts： 不相交集
interction：交 union：分发英语 并
complement of B with respect to A：
A与B的差集
symmetric difference：对称差
commutative：西单 可交换的
associative：可结合的
distributive：可分配的
de Morgan’s laws：德摩根律
inclusion-exclusion principle：容斥原理
quence：序列
subscript：下标
recursive：递归
explicit： 显式的
string：串，字符串
t corresponding to a quence：
对应于序列的集合
characteristic function： 特征函数
countable(uncountable)：可数（不可数）
empty quence(string)：空串
regular expression：正则表达式
division：除法
multiple：倍数
prime：素（数）
GCD(greatest common divisor)
最大公因子
LCM(least common multiple)最小公倍数
Euclidian algorithm：欧几里得算法，辗转相除法
square matrix：方阵
row：行 column：列entry(element)：元素
diagonal matrix：对角阵
Boolean matrix：布尔矩阵
join：并 meet：交
Boolean product：布尔乘积
mathematical structure(system)：数学结构（系统）
statement, proposition：命题
logical connective：命题联结词
compound statement：复合命题
propositional variable：命题变元
negation：否定（式）
truth table：真值表
conjunction：合取 disjunction：析取
universal quantification：全称量词化
propositional function：命题公式
predicate：谓词
existential quantification：存在量词化
conver：逆命题 contrapositive：逆否命题
conditional statement, implication：条件式，蕴涵式
conquent, conclusion：结论，后件
hypothesis： 假设，前提，前件
树立品牌形象
biconditional, equivalence：双条件式，等价
logically equivalent：（逻辑）等价的
contingency：可满足式
tautology：永真(重言)式
contradiction, absurdity：永假(矛盾)式
logically follow：是…的逻辑结论
rules of reference：推理规则
indirect method湿润反义词：间接证明法
proof by contradiction：反证法
counterexample；反例
basic step：基础步
principle of mathematical induction：（第一）数学归纳法
induction step：归纳步
strong induction：第二数学归纳法
relation：关系
digraph：有向图
阴阳是什么意思ordered pair：有序对，序偶
product t, Caretesian t：叉积，笛
partition, quotient t：划分，商集
block, cell：划分块，单元
domain：定义域 range：值域
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等价关系
equivalence class等价类
complementary relation：补关系
inver：逆关系
closure：闭包
symmetric closure：对称闭包
reflexive closure：自反闭包
composition：关系的复合
transitive closure：传递闭包
Warshal’s algorithm：Warshall算法
function, mapping, transformation函数，映射，变换
argument：自变量
value, image：值，像，应变量
everywhere defined：处处有定义的
onto：到上函数，满射
one to one：单射，一对一函数
bijection, one-to-one correspondence双射，一一对应
logarithm function to the ba n：以n为底的对数
key：键
growth of function：函数增长
same order：同阶
transposition：对换
isomorphism：同构
maximal(minimal) element：极大(小)元
extremal element：极值元素
greatest(least) element：最大(小)元
unit element：么(米色单位)元
蓦然的意思zero element：零元
upper(lower) bound：上(下)界
least upper(greatest lower) bound：上(下)确界 lattice：格 sublattice：子格
bounded lattice：有界格 distributive lattice：分配格
complement：补元
or(and, not) gate：或(与，非)门
inverter：反向器
circuit design：线路设计
Karnaugh map：卡诺图
rooted tree：（有）根树
parent：父结点 offspring：子女结点
siblings：兄弟结点 ordered tree：有序树
n-tree：n-元树
complete n-tree：完全n-元树binary tree：二(叉)树
descendant：后代鹳雀楼图片subtree：子树
inorder arch中序遍历postorder arch：后序遍历
rever Polish form：（表达式的）逆波兰表示
linked-list reprentation：链表表示
undirected tree：无向树
undirected edge：无向边
adjacent vertices：邻接结点
spanning tree：生成树，支撑树
nearest neighbor：最邻近结点
optimal solution：最佳方法
degree of a vertex：结点的度
loop：自回路 circuit：回路
isolated vertex：孤立结点
adjacent vertices：邻接结点
