《离散数学》双语专业词汇表
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 Morgan’s 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：条件式，蕴涵式