离散数学

2021年1月25日发(作者：心里话)
《离散数学》双语专业词汇表

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
：条件式，蕴涵式

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
：传递闭包

Warshal
’s 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
：对合律