《离散数学》双语专业词汇表
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 closureweight可不可数：对称闭包
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：偏序关系

版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198，我们将在24小时内删除。