摘要： 群，群直积，商群 群(Groups) 如果独异点(G, )中的每个元素均存在逆元(必定是唯一的)，那么它便升级为群 集合S + 二元运算(自带封闭性) $(G, )$，如果$(G, )$满足结合律，那么$(G, )$升级为半群 $(G, )$存在单位元e(必定是唯一的)，那么$(G, )$升级为独异 阅读全文

摘要： Groups and Coding（群与编码） 编码理论:通过引入冗余信息(检验位)来帮助检测和纠正错误 基础定义: 通过定义在mod2加法上的群B来定义群$B^m$: 在信号传输通道(Transmission channel)中，可能会产生噪声(Noise)，使得接收到错误的码字 编码函数(Enc 阅读全文

摘要： 集合运算基本规律： 直接赋大佬链接: "集合运算基本法则" 阅读全文

摘要： 半群与群(Semigroups and Groups) 半群(Semigroup) 非空集合S 和 定义在集合S上的具有结合律(封闭性显然)的二元运算$ $组成了一个半群(S, ); 通常记为(S, )或者S a b称为a和b的积 如果$ $具有交换律，那么(S, )称为交换半群(阿贝尔半群) 如: 阅读全文

摘要： 代数结构(Mathematical Structures) 定义:具有在对象上定义操作的对象集合及其附带属性构成代数结构或代数系统。(Note:这里我们只处理离散的代数结构) 如:[sets, ∩, ∪, ]； [ 3 × 3的矩阵, +, , T]等 二元运算(Binary operation) 阅读全文

摘要： 9.4 关系的闭包 闭包的定义: 关系R对于性质P的闭包，是加入最小数量的序偶，使得R恰好符合性质P所得到的集合 R的闭包R1具有如下3个特点: ①. R1 包含 R ②. R1具有性质P ③. 如果R2具有性质P且R2包含R， 那么R2包含R1 就R的有向图而言: 1. 找其自反闭包(reflex 阅读全文

摘要： 9.5等价关系(Equivalence Relations) 定义:定义在集合A上的关系R是等价关系iff(当且仅当)R具有 1. 自反性(reflexive) 2. 对称性(symmetric) 3. 传递性(transitive) 这些利用图都易证 想证明某个关系是等价关系，也只需证明其具有这三 阅读全文

摘要： 9.6偏序关系(Partial Order) 偏序(Partial Order) 定义: 偏序(Partial order)：定义在A上的集合R是偏序关系iff(当且仅当)其具有以下性质: 1. 自反性(reflexive) 2. 反对称性(antisymmetric) 3. 传递性(transti 阅读全文

摘要： n元关系 由于~~🐎👴~~说9.2太简单了，所以 阅读全文

摘要： 9.3 关系的表示 关系的一般表示方法： 将所有关系列出； 用一个到{T, F}的映射 关系的特殊表示方法 用0 1矩阵(zero one matrix)来表示； 用有向图(directed graph)来表示 用邻接矩阵表示关系 称0 1矩阵MR为R的邻接矩阵, 定义如下： 1. 通过以下观察0 阅读全文

摘要： 9.1 Relations and Their Properties（关系及关系性质） 1.基本概念 Ordered pair(序偶) 当且仅当a1 = a2并且b1 = b2时， 才有序偶对(a1, b1)=(a2, b2) Cartesian product(笛卡尔积) 如果A和B是两个非空集， 阅读全文