离散复习知识总结

1.函数

1.1 函数的定义

（定义域，值域和陪域）
函数：X、Y是任何两个集合，f是从X到Y的关系，如果对于任何x∈X，都存在唯一的y∈Y，使得<x,y>∈f,则称f是从X到Y的函数（变换、映射），记作f:X—>Y
定义域（domain)：记作dom,在<x,y>∈f中，dom f=x。
值域(range)：记作ran,在<x,y>∈f中，ran f=y。
陪域：映射定义为集合A到B的对应关系，并且满足对于每一个A中的元素（原象）都存在惟一的B中的元素（象）与之对应。那么我们把A称为这个映射的定义域，把B称为陪域。 把B中的一个特殊的子集：所有A中元素在B中的象的集合叫做值域。 所以，形象地说，值域就是象集合，陪域是包含值域的任意集合。陪域>值域。

例如在上图中，Y中所有元素可称为陪域，而红框中的元素为值域。

1.2 函数的运算

复合运算（形式化描述、具体计算）

2.代数结构

2.1 同余关系

定义：设整数集I上的任意两个数a和b，R为I上的二元关系，当且仅当（a-b)/n∈I时，有<a,b>∈R，称R是模n的同余关系，记作a≡b(mod n)。
例：计算 9⁵⁰⁰的个位数。
解 :9⁵⁰⁰的个位数就是9⁵⁰⁰除以 10 的余数,9⁵⁰⁰是一个很大的数，难以展开和相除，如何计算余数呢？可以利用同余关系来计算余数。
首先，等式 a^k( mod n ) = ( a ( mod n ) )^k( mod n )显然成立，利用该等式可得
9⁵⁰⁰ ( mod 10 ) = ( 9²( mod 10 ) )²⁵⁰( mod 10 ) = 1²⁵⁰ ( mod 10 ) = 1
所以 9⁵⁰⁰ 除以 10 的余数为 1。

2.2 循环群

生成元：p199

2.3 对称差运算

定义：p92

对称差运算的性质：

2.4 逆元，幺元

（定义，具体计算）
幺元：p180

逆元：

2.5 拉格朗日定理

（p209定理结论）

m|n表示H的阶整除G的阶。

2.6 域与环

p229题（4），（7）
环的定义：p222

环+乘法幺元+乘法交换律+乘法消去律（无零因子）=整环
域：整环+“除零元外，每个元素都有逆元”
p229 题(4)、(7)

2.7 同态与同构

（化简。见同态或同构的意义)
同态：

2.8 群

（证明一个代数系统为群（严格按定义），注意非空与运算为二元运算的证明。）
定义：p190

2.9 子群

（求给定群的子群）

2.10 左陪集

（已知运算表，求左陪集）

eg:

3 格

3.1 有界格

（定义）
定义：

3.2 信息流的格模型

3.3 伴随格

例2 设 T是一棵有 n 个结点的根树，V 是 T 的结点集合，设 0 ∉ V，令 L = V ⋃ { 0 }，定义 L 上的一个二元关系 ≼ 为：
(a) 规定 0 ≼ 0，且对∀a ∈ V,0 ≼ a；
(b) ∀a,b ∈ V,a ≼ b 当且仅当 b 到 a 存在一条通路或 a = b。证明 < L,≼ >为格（此格称为根树 T 的伴随格）。

4 布尔代数

4.1 有穷布尔格

(推论 6 —4.1、6 —4.2）

布尔格：有补分配格
有穷布尔格定义：



原子：p254

4.2 电路分析

（布尔表达电路断与通）