离散数学 基础知识

基础知识

集合 set
聚集 collection
特性 property
空集合 empty set
单元（素）集 singleton
有穷集合 finite set
基数 cardinality
无穷集合 infinite set
子集 subset
幂集 power set
并 union
交换的 commutative
结合的 associative
交 intersection
不交 disjoint
分配的 distributive
差 difference
补 complement
对称差 symmetric difference
论域或全域 universe of discourse
吸收律 absorption laws
加法原理 addition principle
交迭 overlap
包含排斥原理 Inclusion-Exclusion Principle
多重集合 multi-sets
子多重集合 sub multi-set
列表 list
序列 sequence
有限的 finite
无限的 infinite
紧符号 compact symbol
递归的 recursive
初始项 starting item
显式 explicit
串 string
线性数组 linear array
表 list
值的序列 sequence of values
特征函数 characteristic function
可数的 accountable
不可数集合 unaccountable
反证法 contradiction
对角线方法 diagonal method
字母表 alphabet
字 word
空序列 empty sequence
空串 empty string
衔接 catenation
（集合A上）正则表达式 regular expression（over A）
RE
正则子集 regular subset
正则集 regular set
商 quotient
余数 remainder
素数 prime number
算法 algorithm
欧几里得 Euclid
公因数 common division
最大公因数 greatest common division
分块矩阵 partitioned matrix
公倍数 common multiple
最小公倍数 least common multiple
伪代码 pseudocode
矩阵 matrix
行 row
列 column
阶 order
方（矩）阵 square matrix
主对角线 main diagonal
项 entry
和 sum
零矩阵 zero matrix
单位矩阵 identity matrix
对称的 symmetric
布尔矩阵 boolean matrix
语法结构 syntactic structure
语义 semantic
赋值 assignment
选择 selection
逻辑表达式 logic expression
迭代 iteration
无限循环 infinite loop
过程 procedures
数学结构methematical structure
数学系统 methematical system
关于这个运算是闭的 closed with respect to the operation
二元运算 binary operation
一元运算 unary operation
左分配的 left distributive
右分配的 right distributive
单位元 identity
逆元 inverse