【离散数学】知识点及典型例题整理
离散数学知识点整理
1、推理:所谓推理就是由一个或几个判断推出一个新判断的思维形式
2、命题:具有唯一真值的陈述语句
3、
4、
5、
6、
7、
8、按照量词与特性谓词的搭配不同,在全称量词中特性谓词是条件式(→)的前提,在存
在量词中特性谓词后跟一个合取项(∧)
9、
10、集合的表示方法
1)列举法:将集合中的元素全部列举出来
2)叙述法:集合中的元素,用谓词概括其所属
3)特字母集:有些数集用特定字母表示
4)图示法:用封闭的曲线表示集合,曲线内的点表示集合中的元素。
这种图常称作文氏图。
11、
12、X到R上的二元关系
1)若关系R是自反的,当且仅当关系矩阵中,对角线上的所有元素都是1,在关系图上每个结点都有自回路。
2)若关系R是对称的,当且仅当关系矩阵是对称的,且在关系图上,任两个结点间若有定向弧线,必是成对出现。
3)若关系R是反自反的,当且仅当关系矩阵对角线的元素皆为零,关系图上每个结点都没有自回路。
4)若关系R是反对称的,当且仅当关系矩阵以主对角线为对称的元素不能同时为1,在关系图上两个不同结点间的定向弧线,不可能成对出现。
13、
14、
15、。
离散数学知识点总结
离散数学知识点总结 一、各章复习要求与重点第一章 集 合[复习知识点]1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集2、集合的交、并、差、补等运算及其运算律(交换律、结合律、分配律、吸收律、 De Morgan 律等),文氏(V enn )图3、序偶与迪卡尔积本章重点内容:集合的概念、集合的运算性质、集合恒等式的证明 [复习要求]1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。
2、掌握集合的表示法和集合的交、并、差、补等基本运算。
3、掌握集合运算基本规律,证明集合等式的方法。
4、了解序偶与迪卡尔积的概念,掌握迪卡尔积的运算。
[本章重点习题]P5~6,4、6; P14~15,3、6、7; P20,5、7。
[疑难解析] 1、集合的概念因为集合的概念学生在中学阶段已经学过,这里只多了一个幂集概念,重点对幂集加以掌握,一是掌握幂集的构成,一是掌握幂集元数为2n 。
2、集合恒等式的证明通过对集合恒等式证明的练习,既可以加深对集合性质的理解与掌握;又可以为第三章命题逻辑中公式的基本等价式的应用打下良好的基础。
实际上,本章做题是一种基本功训练,尤其要求学生重视吸收律和重要等价式在B A B A ~⋂=-证明中的特殊作用。
[例题分析]例1 设A ,B 是两个集合,A={1,2,3},B={1,2},则=-)()(B A ρρ 。
解}}3,2,1{},3,2{},3,1{},2,1{},3{},2{},1{,{)(φρ=A}}2,1{},2{},1{,{)(φρ=B于是}}3,2,1{},3,2{},3,1{},3{{)()(=-B A ρρ例2 设{}{}Φ=,,,,b a b a A ,试求:(1){}b a A ,-; (2)Φ-A ; (3){}Φ-A ; (4){}{}A b a -,; (5)A -Φ; (6){}A -Φ。
解 (1){}{}{}Φ=-,,,b a b a A (2)A A =Φ- (3){}{}{}b a b a A ,,,=Φ- (4){}{}Φ=-A b a , (5)Φ=-ΦA (6){}Φ=-ΦA 例3 试证明()()()()B A B A B A B A ~~~~⋂⋃⋂=⋃⋂⋃ 证明()()()()()()()()()()()()()()()()()()B A B A B A B A B B B A A B A A B B A A B A B A B A ~~~~~~~~~~~~~⋂⋃⋂=Φ⋃⋂⋃⋂⋃Φ=⋂⋃⋂⋃⋂⋃⋂=⋂⋃⋃⋂⋃=⋃⋂⋃第二章 二元关系[复习知识点]1、关系、关系矩阵与关系图2、复合关系与逆关系3、关系的性质(自反性、对称性、反对称性、传递性)4、关系的闭包(自反闭包、对称闭包、传递闭包)5、等价关系与等价类6、偏序关系与哈斯图(Hasse )、极大/小元、最大/小元、上/下界、最小上界、最大下界7、函数及其性质(单射、满射、双射)8、复合函数与反函数本章重点内容:二元关系的概念、关系的性质、关系的闭包、等价关系、半序关系、映射的概念 [复习要求]1、理解关系的概念:二元关系、空关系、全关系、恒等关系;掌握关系的集合表示、关系矩阵和关系图、关系的运算。
离散数学在密码学中的应用例题和知识点总结
离散数学在密码学中的应用例题和知识点总结在当今数字化的时代,信息安全至关重要。
密码学作为保护信息安全的重要手段,其背后离不开离散数学的强大支撑。
离散数学中的众多概念和方法,为密码学提供了坚实的理论基础和有效的技术手段。
接下来,我们将通过一些具体的例题来深入理解离散数学在密码学中的应用,并对相关的知识点进行总结。
一、离散数学中的相关知识点1、数论基础整除、同余和模运算:在密码学中,常用于加密和解密算法,如RSA 算法就依赖于数论中的大整数分解难题。
素数和互素:素数在生成密钥和构建安全的密码系统中起着关键作用。
2、群论群的定义和性质:群是具有封闭性、结合律、单位元和逆元的代数结构。
循环群和置换群:在密码算法的设计和分析中有广泛应用。
3、有限域有限域的定义和运算:有限域的性质在加密算法如 AES 中得到应用。
4、图论图的基本概念:顶点、边、路径等。
网络安全中的图模型:用于分析网络中的信息流和漏洞。
二、例题分析1、 RSA 加密算法假设我们选取两个素数 p = 11,q = 13,计算 n = p q = 143,φ(n) =(p 1) (q 1) = 120。
选取一个与φ(n) 互素的数 e = 7,计算出 d 使得e d ≡ 1 (mod φ(n)),这里 d = 103。
现在要加密明文 m = 8,计算密文 c = m^e mod n = 8^7 mod 143 = 11。
解密时,计算明文 m = c^d mod n = 11^103 mod 143 = 8。
这个例子中,用到了数论中的素数、互素、模运算等知识。
2、基于置换群的加密考虑一个简单的置换群,如将字母表{a, b, c, d, e} 置换为{e, c, a, b, d}。
明文“hello”经过置换后变为“dclle”。
这里运用了群论中的置换群概念,通过对字符的置换实现加密。
三、离散数学在密码学中的具体应用1、密钥生成利用数论中的素数生成大整数,作为公钥和私钥的基础。
【离散数学】知识点及典型例题整理
【半群】G非空,·为G上的二元代数运算,满足结合律。
【群】(非空,封闭,结合律,单位元,逆元)恰有一个元素1适合1·a=a·1=a,恰有一个元素a-1适合a·a-1=a-1·a=1。
【Abel群/交换群】·适合交换律。
可能不只有两个元素适合x2=1【置换】n元置换的全体作成的集合Sn对置换的乘法作成n 次对称群。
【子群】按照G中的乘法运算·,子集H仍是一个群。
单位子群{1}和G称为平凡子群。
【循环群】G可以由它的某元素a生成,即G=(a)。
a所有幂的集合an,n=0,±1,±2,…做成G的一个子群,由a生成的子群。
若G的元数是一个质数,则G必是循环群。
n元循环群(a)中,元素ak是(a)的生成元的充要条件是(n,k)=1。
共有ϕ(n)个。
【三次对称群】{I(12)(13)(23)(123)(132)}【陪集】a,b∈G,若有h∈H,使得a =bh,则称a合同于b(右模H),a≡b(右mod H)。
H有限,则H的任意右陪集aH的元数皆等于H的元数。
任意两个右陪集aH和bH或者相等或者不相交。
求右陪集:H本身是一个;任取a∉H而求aH又得到一个;任取b∉H∪aH而求bH又一个。
G=H∪aH∪bH∪…【正规子群】G中任意g,gH=Hg。
(H=gHg-1对任意g∈G都成立)Lagrange定理G为有限群,则任意子群H的元数整除群G的元数。
1有限群G的元数除以H的元数所得的商,记为(G:H),叫做H在G中的指数,H的指数也就是H的右(左)陪集的个数。
2设G为有限群,元数为n,对任意a∈G,有an=1。
3若H在G中的指数是2,则H必然是G的正规子群。
证明:此时对H的左陪集aH,右陪集Ha,都是G中元去掉H的所余部分。
故Ha=aH。
4G的任意多个子群的交集是G的子群。
并且,G的任意多个正规子群的交集仍是G的正规子群。
5 H是G的子群。
离散数学1-7
(3)全体小项的析取式永为T。
求主析取范式的方法
(1) 真值表法 定理1-7.3 在真值表中,一个公式的真值为T的指派所对应
的小项的析取,即为此公式的主析取范式。
例题7 求公式P →Q,P∨ Q,和┐ (P ∧ Q )的主析取范式。 解 三公式的真值表如下:
(1) 真值表法
定理1-7.3 在真值表中,一个公式的真值为T的指派所对应的 小项的析取,即为此公式的主析取范式。
证明 设给定公式为A,其真值为T的指派所对应的小项为
m1’,m2’,…,mk’,这些小项的析取式记为B。要证A B,
只要证A与B在相应指派下具有相同真值。
首先对A为T的某一指派,其对应的小项为mi’,则因为mi’ 为T,而m1’,m2’,…,mi-1’mi+1’,mk’均为F,故B为T。
例题5 求(P ∧( Q → R)) →S的合取范式。 解 (P ∧( Q → R)) →S
┐(P ∧ (┐Q ∨R)) ∨S ┐P ∨(Q ∧┐R) ∨S (┐P ∨S) ∨ (Q ∧┐R) (┐P ∨S ∨Q ) ∧(┐P ∨S ∨ ┐R)
解 因为有公式 A B (A∧B) ∨( ┐A ∧ ┐ B)
P Q P →Q P∨ Q ┐ (P ∧ Q )
TT T
T
F
TF F
T
T
FT T
T
T
故
FF T
F
T
P → Q (┐P ∧┐Q )∨(┐P ∧Q ) ∨(P ∧Q)
P∨ Q (┐P ∧Q )∨(P ∧┐Q ) ∨(P ∧Q)
┐ (P ∧ Q) (┐P ∧┐Q )∨(┐P ∧Q ) ∨(P ∧┐Q)
回顾
离散数学第一章知识点总结
离散数学第一章知识点总结离散数学是现代数学的一个重要分支,它在计算机科学、信息科学、物理学等领域都有着广泛的应用。
第一章通常是对离散数学的基础概念和预备知识进行介绍,为后续的学习打下坚实的基础。
以下是对离散数学第一章知识点的详细总结。
一、集合的基本概念集合是由一些确定的、不同的对象所组成的整体。
集合中的对象称为元素。
我们通常用大写字母来表示集合,用小写字母表示元素。
如果一个元素 a 属于集合 A,记作 a ∈ A;如果一个元素 b 不属于集合 A,记作 b ∉ A。
集合有两种常见的表示方法:列举法和描述法。
列举法是将集合中的元素一一列举出来,例如 A ={1, 2, 3, 4, 5}。
描述法是通过描述元素的共同特征来表示集合,例如 B ={x | x 是大于 0 小于 10 的整数}。
集合之间的关系包括子集、真子集和相等。
如果集合 A 中的所有元素都属于集合 B,那么 A 是 B 的子集,记作 A ⊆ B。
如果 A 是 B 的子集,且 B 中存在元素不属于 A,那么 A 是 B 的真子集,记作 A ⊂ B。
如果 A 和 B 包含相同的元素,那么 A 和 B 相等,记作 A = B。
二、集合的运算集合的基本运算有并集、交集和差集。
集合 A 和集合 B 的并集,记作 A ∪ B,是由属于 A 或者属于 B 的所有元素组成的集合。
集合 A 和集合 B 的交集,记作A ∩ B,是由同时属于 A 和 B 的所有元素组成的集合。
集合 A 与集合 B 的差集,记作 A B,是由属于 A 但不属于 B 的所有元素组成的集合。
此外,还有补集的概念。
如果给定一个全集 U,集合 A 的补集记作A,是由属于 U 但不属于 A 的所有元素组成的集合。
集合运算满足一些重要的定律,如交换律、结合律、分配律等。
例如,A ∪ B = B ∪ A(并集的交换律),A ∩ B =B ∩ A(交集的交换律),(A ∪ B) ∪ C = A ∪(B ∪ C)(并集的结合律),(A ∩B) ∩ C =A ∩ (B ∩ C)(交集的结合律)等。
离散数学知识点总结及应用
离散数学知识点总结及应用
知识点1: 集合论
- 集合的定义和表示方法
- 集合的运算:并、交、差、补
- 集合的基本性质和定律
知识点2: 逻辑与命题
- 命题的定义和特性
- 命题的联结词:与、或、非
- 命题的真值表和逻辑运算
- 命题的充分条件和必要条件
知识点3: 关系与函数
- 关系的定义和性质
- 关系的类型:自反、对称、传递、等价
- 函数的定义和基本概念
- 函数的特性和图像
知识点4: 图论
- 图的基本概念和术语
- 图的存储结构:邻接矩阵、邻接表
- 图的遍历算法:深度优先搜索、广度优先搜索
- 最短路径算法:Dijkstra算法、Floyd-Warshall算法
知识点5: 组合数学
- 排列和组合的基本概念
- 排列和组合的计算方法
- 随机变量和概率分布
- 组合数学在密码学等领域的应用
知识点6: 布尔代数
- 布尔代数的基本运算:与、或、非
- 布尔函数的最小化方法
- 布尔代数的应用:逻辑电路设计、编码器等
知识点7: 计算理论
- 自动机的基本概念和分类
- 正则语言和正则表达式
- 文法的定义和性质
- 上下文无关文法和巴科斯范式
知识点8: 数论
- 整数的性质和基本运算
- 质数和分解定理
- 同余关系和同余方程
- 数论在加密算法中的应用
以上是离散数学中的一些主要知识点和应用场景的简要总结,希望对你的研究有所帮助。
离散数学知识点
离散数学知识点第⼀章1. 将下列命题符号化:解:令p:天下⾬,q:我骑⾃⾏车上班,则(1)只要不下⾬,我就骑⾃⾏车上班?p是q的充分条件,所以符号化为:?p→q (2)只有不下⾬,我才骑⾃⾏车上班?p是q 的必要条件,所以符号化为:q→? p (3)除⾮下⾬,否则我就骑⾃⾏车上班?p仍然是q的充分条件,所以符号化为:?p→q (4)如果下⾬,我就不骑⾃⾏车上班p是?q的充分条件,所以符号化为:p→?q2.命题: 判断结果惟⼀的陈述句(注意: 感叹句、祈使句、疑问句都不是命题陈述句中的悖论以及判断结果不惟⼀确定的也不是命题)3.p→q为假当且仅当p 为真q 为假4.p→q (q 为p 的必要条件)“如果p,则q ” 的不同表述法很多:若p,就q只要p,就qp 仅当q只有q 才p除⾮q, 才p 或除⾮q, 否则⾮p因为….所以5.p?q为真当且仅当p与q同真或同假6.p 0层p 1层p→q 2层(p→q)?r 3层((?p∧q) →r)?(?r∨s) 4层7.双重否定律??A?A等幂律:A∨A?A, A∧A?A交换律: A∨B?B∨A, A∧B?B∧A结合律: (A∨B)∨C?A∨(B∨C) (A∧B)∧C?A∧(B∧C)分配律: A∨(B∧C)?(A∨B)∧(A∨C) A∧(B∨C)? (A∧B)∨(A∧C)德·摩根律: ?(A∨B)??A?∧B?(A∧B)??A?∨B吸收律: A∨(A∧B)?A, A∧(A∨B)?A零律: A∨1?1, A∧0?0同⼀律: A∨0?A, A∧1?A排中律: A?∨A?1⽭盾律: A?∧A?0蕴涵等值式: A→B??A∨B等价等值式: A?B?(A→B)∧(B→A)假⾔易位: A→B??B?→A等价否定等值式: A?B??A??B归谬论: (A→B)∧(A?→B) ??A8.对偶原理设A,B为两个命题公式,若A ? B,则A* ? B*.9.求公式A的范式的步骤:(1) 消去A中的→, ?(若存在)(2) 否定联结词?的内移或消去(3) 使⽤分配律∧对∨分配(析取范式)∨对∧分配(合取范式)(公式的范式存在,但不惟⼀)10.设A 含n 个命题变项,则A 为重⾔式?A 的主析取范式含2n 个极⼩项A 的主合取范式为1.A 为⽭盾式? A 的主析取范式为0A 的主合取范式含2n 个极⼤项A 为⾮重⾔式的可满⾜式A 的主析取范式中⾄少含⼀个且不含全部极⼩项A 的主合取范式中⾄少含⼀个且不含全部极⼤项第⼆章第三章1.相对补 A -B = { x | x ∈A ∧ x ?B }=A - (A ?B)对称差 A ⊕B = (A -B)?(B -A)= (A ?B)-(A ?B)绝对补 ~A = E -A第四章1. R=M1 S=M2 R °S = M2 * M12. (1) (F -1)-1=F (2) domF -1=ranF, ranF -1=domF(1) (F °G)°H=F °(G °H) (2) (F °G)-1= G -1°F -13.关系性质的充要条件设R 为A 上的关系, 则(1) R 在A 上⾃反当且仅当 IA ?R(2) R 在A 上反⾃反当且仅当 R ∩IA =?(3) R 在A 上对称当且仅当 R =R -1(4) R 在A 上反对称当且仅当 R ∩R -1?IA(5) R 在A 上传递当且仅当 R ?R ?R4.定理1 设R 为A 上的关系, 则有(1)⾃反闭包 r (R ) = R ∪R 0(2)对称闭包s (R ) = R ∪R -1(3)传递闭报 t (R ) = R ∪R 2∪R 3∪…5. Mr = M + E E 是和 M 同阶的单位矩阵, M ’是 M 的转置矩阵.Ms = M + M ’ 注意在上述等式中矩阵的元素相加时使⽤逻辑加Mt = M + M2 + M 3 + … |...|)1(...|||||||||...|2111121m m m k j i k j i mi m j i j i i m A A A A A A A A A S A A A -++??-?+-=∑∑∑≤<<≤=≤<≤6.集合A 上的恒等关系 IA 是A 上的偏序关系.⼩于或等于关系, 整除关系和包含关系也是相应集合上的偏序关系7.数集上的⼩于或等于关系是全序关系;整除关系不是正整数集合上的全序关系8.哈斯图特点:每个结点没有环,两个连通的结点之间的序关系通过结点位置的⾼低表⽰,位置低的元素的顺序在前,具有覆盖关系的两个结点之间连边9.特殊元素的性质:对于有穷集,极⼩元和极⼤元必存在,可能存在多个.最⼩元和最⼤元不⼀定存在,如果存在⼀定惟⼀.最⼩元⼀定是极⼩元;最⼤元⼀定是极⼤元.孤⽴结点既是极⼩元,也是极⼤元10.哈斯图应注意:(1).哈斯图不应出现三⾓形第七章1.握⼿定理任意⽆向图和有向图的所有顶点度数之和都等于边数的2倍, 并且有向图的所有顶点⼊度之和等于出度之和等于边数2.环是长度为1的圈, 两条平⾏边构成长度为2的圈3. Kn ⽆点割集n 阶零图既⽆点割集,也⽆边割集.若G 连通,E '为边割集,则p (G -E ')=2若G 连通,V '为点割集,则p (G -V ')≥24.强连通?单向连通?弱连通5. 定理(强连通判别法) D 强连通当且仅当D 中存在经过每个顶点⾄少⼀次的回路定理(单向连通判别法) D 单向连通当且仅当D 中存在经过每个顶点⾄少⼀次的通路6.⽆向图的关联矩阵性质:(1) 每⼀列恰好有两个1或⼀个27.有向图的关联矩阵性质:(1) 每⼀列恰好有⼀个1和⼀个-1(2) 第i ⾏1 的个数等于d +(vi ), -1 的个数等于d -(vi )(3) 1的总个数等于-1的总个数, 且都等于m (4) 平⾏边对应的列相同8.有向图的邻接矩阵性质:平⾏边的列相同)4(2)3(),...,2,1()()2(,1m m n i v d m j i ij i m j ij ===∑∑=的回路数中长度为的通路数中长度为1)4(1)3(,...,2,1),()2(,...,2,1),()1(1)1(,)1(1 )1(1)1(D a D m a n j v d a n i v d a n i ii ji ij j n i ij i n j ij ------=====∑∑∑∑=-=+=9有向图的可达矩阵性质:P(D)主对⾓线上的元素全为1. D强连通当且仅当P(D)的元素全为1第⼋章1.定理8.1 ⽆向图G=是⼆部图当且仅当G中⽆奇圈2.欧拉图的判别法定理8.4 ⽆向图G为欧拉图当且仅当G连通且⽆奇度顶点.⽆向图G是半欧拉图当且仅当G连通且恰有两个奇度顶点定理8.5 有向图D是欧拉图当且仅当D连通且每个顶点的⼊度都等于出度.有向图D具有欧拉通路当且仅当D连通且恰有两个奇度顶点, 其中⼀个⼊度⽐出度⼤1, 另⼀个出度⽐⼊度⼤1, 其余顶点的⼊度等于出度.3.环不影响图的欧拉性. 环与平⾏边不影响图的哈密顿性4.定理8.6 设⽆向图G=是哈密顿图, 则对于任意V1?V且V1≠?, 均有p(G-V1)≤|V1|.5.定理8.7 设G是n阶⽆向简单图, 若任意两个不相邻的顶点的度数之和⼤于等于n-1, 则G中存在哈密顿通路.当n≥3时, 若任意两个不相邻的顶点的度数之和⼤于等于n, 则G中存在哈密顿回路, 从⽽G为哈密顿图.6.定理8.10 (欧拉公式) 设G为n阶m条边r个⾯的连通平⾯图,则n-m+r=2第九章1.定理9.2 设T 是n 阶⾮平凡的⽆向树,则T中⾄少有两⽚树叶2.求带权图的最⼩⽣成树检验:边数达到n-1 (n:顶点数)。
离散数学总复习-知识点
离散数学总复习第1章命题逻辑一、命题的判断例:1、仁者无敌!2、x+y<23、如果雪是红的,那么地球是月亮的卫星。
4、我正在说谎。
二、命题符号化例:1、蓝色和黄色可以调成绿色。
2、付明和杨进都是运动员。
3、刘易斯是百米游泳冠军或百米跨栏冠军。
4、李飞现在在宿舍或在图书馆。
5、只要天不下雨,我就步行上学校。
6、只有天不下雨,我才步行上学校。
7、并非只要你努力了,就一定成功。
三、主范式1、会等值演算;2、主合取和主析取范式的相互转换。
例:求命题公式P∨Q的主析取范式和主合取范式。
3、根据主范式进行方案的选择例1:某科研所要从3名科研骨干A,B,C中挑选1-2名出国进修,由于工作需要,选派需同时满足条件:(1)若A去,则C同去;(2)只有C不去,B才去;(3)只要C不去,则A或B就可以去。
问有哪些选派方案?例2:甲、乙、丙、丁四人有且仅有两个人参加比赛,下列四个条件均要满足:(1)甲和乙有且只有一人参加;(2)丙参加,则丁必参加;(3)乙和丁至多有一人参加;(4)丁不参加,甲也不会参加。
问哪两个人参加了比赛?四、简单的推理例1:如果明天天气好我们就去爬长城。
明天天气好。
所以我们去爬长城。
例3:课后习题16第2章谓词逻辑一、谓词逻辑中的命题符号化例:1、所有运动员都是强壮的2、并非每个实数都是有理数3、有些实数是有理数二、量词的辖域,约束变元换名、自由变元代替例:1、∀x(P(x)∨∃yR(x,y))→Q(x)2、∀x(P(x,z)∨∃yR(x,y))→Q(x)中量词的辖域,重名情况,改名等三、命题逻辑永真式的任何代换实例必是谓词逻辑的永真式。
同样,命题逻辑永假式的任何代换实例必是谓词逻辑的永假式。
例:1、(∀xP(x)→∃xQ(x))↔(⌝∀xP(x)∨∃xQ(x))2、(∀xP(x)→∃xQ(x))∧(∃xQ(x))→∀zR(z)))→(∀xP(x) →∀zR(z))1-2是永真式(重言式)3、⌝(∀xF(x) ∃yG(y)) ∧ ∃yG(y) 永假式(矛盾式)四、消量词例:个体域D={1,2},对∀x∀y(P(x)→Q(y))消量词五、简单的前束范式会判断即可。
离散数学知识点整理
离散数学一、逻辑和证明1.1命题逻辑命题:是一个可以判断真假的陈述句。
联接词:A、V、一、f「。
记住“p仅当q”意思是“如果p,则q",即p-。
记住“q除非p”意思是“」p-q”。
会考察条件语句翻译成汉语。
构造真1.2语句翻译系统规范说明的一致性是指系统没有可能会导致矛盾的需求,即若pq无论取何值都无法让复合语句为真,则该系统规范说明是不一致的。
1.3命题等价式逻辑等价:在所有可能情况下都有相同的真值的两个复合命题,可以用真值表或者构造新的逻辑等价式。
证逻辑等价是通过p推导出q,证永真式是通过p推导出T。
(p—r)A(q-r) = (pVq)-r(p—q)V(p-r) = p—(qVr)(p—r)V(q-r) = (pAq)-r双条件命题等价式pf = (pfq) A (qfp)pf = -pfqpf Q (pAq) V(-pA-q)「(pf) = pfq1.4量词谓词+量词变成一个更详细的命题,量词要说明论域,否则没有意义,如果有约束条件就直接放在量词后面,如V x>0P(x)。
当论域中的元素可以一一列举,那么V xP(x)就等价于P(x1)AP(x2)...A P(xn)。
同理,3 xP(x)就等价于 P(x1)VP(x2)...VP(xn)。
两个语句是逻辑等价的,如果不论他们谓词是什么,也不论他们的论域是什么,他们总有相同的真值,如V x(P(x)AQ(x))和(V xP(x)) A (V xQ(x))。
量词表达式的否定:「V xP(x) Q 3 x-P(x),「3 xP(x) Q V x-P(x)。
1.5量词嵌套我们采用循环的思考方法。
量词顺序的不同会影响结果。
语句到嵌套量词语句的翻译,注意论域。
嵌套量词的否定就是连续使用德摩根定律,将否定词移入所有量词里。
1.6推理规则一个论证是有效的,如果它的所有前提为真且蕴含着结论为真。
但有效论证不代命题和量化命题的组合使用。
二、集合、函数、序列、与矩阵2.1集合£说的是元素与集合的关系,^说的是集合与集合的关系。
(完整word版)离散数学复习提纲(完整版)
《离散数学》期末复习大纲(完整版)(含例题和考试说明)一、命题逻辑[复习知识点]1、命题与联结词(否定¬、析取∨、合取∧、蕴涵→、等价↔),复合命题2、命题公式与赋值(成真、成假),真值表,公式类型(重言、矛盾、可满足),公式的基本等值式3、范式:析取范式、合取范式,极大(小)项,主析取范式、主合取范式4、公式类型的判别方法(真值表法、等值演算法、主析取/合取范式法)5、命题逻辑的推理理论本章重点内容:命题与联结词、公式与解释、(主)析取范式与(主)合取范式、公式类型的判定、命题逻辑的推理[复习要求]1、理解命题的概念;了解命题联结词的概念;理解用联结词产生复合命题的方法.2、理解公式与赋值的概念;掌握求给定公式真值表的方法,用基本等值式化简其它公式,公式在解释下的真值。
3、了解析取(合取)范式的概念;理解极大(小)项的概念和主析取(合取)范式的概念;掌握用基本等值式或真值表将公式化为主析取(合取)范式的方法.4、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公式等价方法。
5、掌握命题逻辑的推理理论。
[疑难解析]1、公式类型的判定判定公式的类型,包括判定公式是重言的、矛盾的或是可满足的。
具体方法有两种,一是真值表法,二是等值演算法。
2、范式求范式,包括求析取范式、合取范式、主析取范式和主合取范式。
关键有两点:一是准确理解掌握定义;另一是巧妙使用基本等值式中的分配律、同一律和互补律(排中律、矛盾律),结果的前一步适当使用幂等律,使相同的短语(或子句)只保留一个.3、逻辑推理掌握逻辑推理时,要理解并掌握12个(除第10,11)推理规则和3种证明法(直接证明法、附加前提证明法和归谬法). 例1.试求下列公式的主析取范式:(1)))()((P Q Q P P ⌝∨⌝⌝∧→→;(2))))((R Q Q P P →⌝∨→⌝∨())()(())()((:)1P Q Q P Q P P P Q Q P P ∧∧∨∧∧⌝∨⌝=∧∧∨⌝∨⌝=原式解Q P P P Q P P Q P ∨⌝=∨⌝∧∨⌝=∧∨⌝=)()()())(())((Q P P Q Q P ∧∨⌝∨∨⌝∧⌝=)()()(Q P Q P Q P ∧∨∧⌝∨⌝∧⌝=)))((()))(((:)2R Q Q P P R Q Q P P ∨∨∨∨=→⌝∨→⌝∨解)()()()(R Q P R Q P R Q P R Q P R Q P ∧⌝∧∨∧∧⌝∨⌝∧∧⌝∨∧⌝∧⌝=∨∨=)()()(R Q P R Q P R Q P ∧∧∨⌝∧∧∨⌝∧⌝∧∨)2.用真值表判断下列公式是恒真?恒假?可满足?(1)(PP )Q (2)(P Q)Q (3)((P Q)(Q R ))(P R) 解:(1) 真值表 P QP P P (P P)Q 0 01 0 1 0 11 0 0 1 00 0 1 1 1 0 0 0因此公式(1)为可满足.(2) 真值表P Q P Q (P Q) (P Q)Q0 0 1 0 00 1 1 0 01 00 1 01 1 1 0 0因此公式(2)为恒假。
离散数学初步例题和知识点总结
离散数学初步例题和知识点总结离散数学是现代数学的一个重要分支,它在计算机科学、信息科学、密码学等领域都有着广泛的应用。
下面我们通过一些例题来讲解离散数学中的部分重要知识点。
一、集合论集合是离散数学中的基本概念之一。
例 1:设集合 A ={1, 2, 3, 4},B ={3, 4, 5, 6},求 A ∪ B 和 A∩ B。
解:A ∪ B ={1, 2, 3, 4, 5, 6},A ∩ B ={3, 4}集合的运算包括并集、交集、差集等。
并集是将两个集合中的所有元素合并在一起,去掉重复的元素;交集是两个集合中共同拥有的元素组成的集合。
知识点:集合的基本运算规则1、交换律:A ∪ B = B ∪ A,A ∩ B =B ∩ A2、结合律:(A ∪ B) ∪ C = A ∪(B ∪ C),(A ∩ B) ∩ C = A ∩ (B ∩ C)3、分配律:A ∩ (B ∪ C) =(A ∩ B) ∪(A ∩ C),A ∪(B ∩C) =(A ∪ B) ∩ (A ∪ C)二、关系关系是集合元素之间的某种联系。
例 2:设集合 A ={1, 2, 3},R 是 A 上的关系,R ={(1, 1),(1, 2),(2, 2),(2, 3),(3, 3)},判断 R 是否具有自反性、对称性和传递性。
解:R 具有自反性,因为对于 A 中的每个元素 a,都有(a, a) ∈ R;R 不具有对称性,因为(1, 2) ∈ R 但(2, 1) ∉ R;R 具有传递性,因为(1, 2) ∈ R 且(2, 3) ∈ R ,同时(1, 3) ∈ R 。
知识点:1、自反关系:对于集合中的每个元素 a,都有(a, a) ∈ R 。
2、对称关系:若(a, b) ∈ R ,则(b, a) ∈ R 。
3、传递关系:若(a, b) ∈ R 且(b, c) ∈ R ,则(a, c) ∈ R 。
三、函数函数是一种特殊的关系。
例 3:设函数f: R → R ,f(x) = x^2 ,求 f(-2),f(0),f(3)。
离散数学运算法则及例题
第一章命题逻辑1,否定1) 幂等律 p ∧ p ⇔ p2) 交换律 p ∧ q ⇔ q ∧ p3) 结合律( p ∧q)∧ r ⇔ p ∧ (q ∧ r )4) 零律 p ∧ F ⇔ F5) 同一律 p ∧ T ⇔ p6) 否定律 p ∧¬ p ⇔ F3,析取(+)1) 幂等律2) 交换律3) 结合律4) 同一律5) 零律6) 否定律7) 吸收律8) 分配律9) 德、摩根律4,蕴含P→ Q读作“P蕴含Q”,“如果P则Q”,“当P,则Q”,“P是Q的充分条是Q的充要条件”。
1.1) 交换律2.2) 结合律3.说明:1)↔是逻辑联结词,而⇔是公式关系符。
A、B是命题,A ↔B仍是命题,而A ⇔ B不是命题。
(2) P、Q两命题,没有内在联系 P ↔Q 仍有意义。
例:2+2=5的充要条件是太阳从西边升起。
该命题为真几个重要定理⏹ 1.若A ⇒ B, B ⇒ C,则A ⇒ C.传递性⏹ 2. A ⇔ B的充要条件是A ⇒ B且B ⇒ A(逻辑等价的另一种定义)其他的连接词符号⏹或非词符号⏹定理: A↓B等价于¬(AVB)⏹定理:{↓}是功能完备集⏹与非词符号⏹定理:A↑B等价于¬(A∧B)⏹定理:{↑}是功能完备集⏹异或词符号⏹举例说明:周末,我或者在北京或者在上海⏹定理:A异或B等价于¬(A↔B)第二章谓词逻辑谓词演算的推理规则US 全称指定规则(消去量词)UG 全称推广规则对命题量化(添加量词)ES 存在指定规则(消去量词)EG 存在推广规则(添加量词)第三章集合第四章关系(R ◦ S)(R·S)2=(R·S)·(R·S)= R·(S·R)·SR-1⏹逆运算的性质⏹定理:设R和S均是A到B的关系,则⏹(1)(R-1)-1=R,⏹(2)(R∪S)-1=R-1∪S-1,⏹(3)(R∩S)-1= R-1∩S-1,⏹(4)(R-S)-1=R-1-S-1,⏹(5)(~R)-1=~(R-1),(A×B)-1=B×A⏹(6)ФA-1=ФA,EA -1 =EA, IA -1 = IA⏹(7)R=S iff R-1=S-1。
离散数学知识点归纳
离散数学知识点归纳一、集合论。
1. 集合的基本概念。
- 集合是由一些确定的、彼此不同的对象组成的整体。
这些对象称为集合的元素。
例如,A = {1,2,3},其中1、2、3是集合A的元素。
- 集合的表示方法有列举法(如上述A的表示)和描述法(如B={xx是偶数且x < 10})。
2. 集合间的关系。
- 子集:如果集合A的所有元素都是集合B的元素,则称A是B的子集,记作A⊆ B。
例如,{1,2}⊆{1,2,3}。
- 相等:如果A⊆ B且B⊆ A,则A = B。
- 真子集:如果A⊆ B且A≠ B,则A是B的真子集,记作A⊂ B。
3. 集合的运算。
- 并集:A∪ B={xx∈ A或x∈ B}。
例如,A = {1,2},B={2,3},则A∪B={1,2,3}。
- 交集:A∩ B = {xx∈ A且x∈ B}。
对于上述A和B,A∩ B={2}。
- 补集:设全集为U,集合A相对于U的补集¯A=U - A={xx∈ U且x∉ A}。
二、关系。
1. 关系的定义。
- 设A、B是两个集合,A× B的子集R称为从A到B的关系。
当A = B时,R称为A上的关系。
例如,A={1,2},B = {3,4},R={(1,3),(2,4)}是从A到B的关系。
2. 关系的表示。
- 关系矩阵:设A={a_1,a_2,·s,a_m},B={b_1,b_2,·s,b_n},R是从A到B的关系,则R的关系矩阵M_R=(r_ij),其中r_ij=<=ft{begin{matrix}1,(a_i,b_j)∈ R0,(a_i,b_j)∉ Rend{matrix}right.。
- 关系图:对于集合A上的关系R,用节点表示A中的元素,若(a,b)∈ R,则用有向边从a指向b。
3. 关系的性质。
- 自反性:对于集合A上的关系R,如果对任意a∈ A,都有(a,a)∈ R,则R 是自反的。
例如,A={1,2,3},R = {(1,1),(2,2),(3,3)}是自反关系。
离散数学 考试重点资料
一、填空题1. 设P 与S 的真值为F, Q 与R 的真值为T,则命题()()P Q R S 的真值是 F 2. 若连通平面图有11个结点,6个面,则它有 15 条边。
3.不是分配格的格至少含有 5元。
4. 2阶以上 的群中不含零元。
5.最小生成树是指 连通图中边权之和最小的生成树。
二、计算题1、求}10000,,2,1{ 中不被2、3、5整除的个数。
解: 设A 表示}10000,,2,1{ 中被2整除的数的集合,B 表示}10000,,2,1{ 中被3整除的数的集合,C 表示}10000,,2,1{ 中被5整除的数的集合,则5000,3333,2000A B C ===1666,666,1000A B B C C A ???,333A B C 乔=,进而有A B C A B C A BB C C A A B C 热=++-???乔 500033332000166666610003337334=++---+= 故有1000073342666A B C U A B C 热=-热=-=即}10000,,2,1{ 中不被2、3、5整除的个数为2666。
#2、求()R Q P 的主析取、主合取范式。
解:()R Q P 取真为:(1,0,1),(0,1,1),(0,0,1),(1,1,0),(1,1,1);故()R Q P 的主析取范式为()()()()()R Q P R Q P R Q P R Q P R Q P 儇仝刭仝刭刭谫儇谫 ;()R Q P 取假为:(1,0,0),(0,0,0),(0,1,0);故()R Q P 的主合取范式为:()()()R Q P R Q P R Q P 刳谫谮仝刳。
3、将式子“并非每个实数都是有理数”翻译成用谓词和量词表达的逻辑式子。
解:x :实数; )(x A :x 为有理数; 则上式表示为:()()x A x ?4、设{1,2,3,4}A =,定义A 上的一个二元关系R 如下:{1,2,2,1,2,3,3,4}R =<><><><>(1)写出R 的关系矩阵;(2)求2R ,3R ;(3)求)(R r ,)(R s ,)(R t 。
离散数学第一章知识点总结
离散数学第一章知识点总结(仅供参考)1.判断给定的句子是否为命题的基本步骤:首先应是陈述句;其次要有唯一的真值。
例:(1)我正在说谎。
不是命题。
因为无法判定其真假值,若假设它为假即我正在说谎,则意味着它的反为真,即我正在说实话,二者相矛盾;若假定它为真即我正在说实话,则意味着它的反为假,我正在说谎,二者也相矛盾。
这其实是一个语义上的悖论。
悖论不是命题(2)x-y >2。
不是命题。
因为x, y的值不确定,某些x, y使x−y>2为真,某些x, y使x−y>2为假,即x−y>2的真假随x, y的值的变化而变化。
因此x−y>2的真假无法确定,所以x−y>2不是命题。
2.命题可以分为两种类型:原子命题(不能再分解为更简单命题,又可称为简单命题);复合命题(通过联结词、标点符号将原子命题联结而成的命题)3.命题常元:一个命题标识符如果表示确定的简单命题,就称为命题常元命题变元:如果一个命题标识符只表示任意简单命题的位置标志,就称它为命题变元注:当命题变元P用一个特定的简单命题取代时,P才能确定真值,这时也称对P进行指派4.联接词:(1)否定联接词:﹁假为真,真为假;还可以用“非”、“不”、“没有”、“无”、“并不”等多种方式表示否定(2)合取联接词:∧一个为假就为假还可用“并且”、“同时”、“以及”、“既……又……”、“不但……而且……”、“虽然……但是……”等多种方式表达合取(3)析取联接词:∨一个为真就为真;一般用或表示注:联结词∨是可兼或,因为当命题P和Q的真值都为真时,其值也为真。
但自然语言中的“或”既可以是“排斥或”也可以是“可兼或”。
例1.6 晚上我们去教室学习或去电影院看电影。
(排斥或)例1.7 他可能数学考了100分或英语考了100分。
(可兼或)例1.8 刘静今天跑了200米或300米远。
(既不表示“可兼或”也不表示“排斥或”,它只是表示刘静所跑的大概路程,因此它不是命题联结词,故例1.8是原子命题。
(完整word版)离散数学知识汇总
离散数学笔记第一章命题逻辑合取析取定义 1. 1.3否定:当某个命题为真时,其否定为假,当某个命题为假时,其否定为真定义 1. 1.4条件联结词,表示“如果……那么……”形式的语句定义 1. 1.5双条件联结词,表示“当且仅当”形式的语句定义 1.2.1合式公式(1)单个命题变元、命题常元为合式公式,称为原子公式。
(2)若某个字符串A 是合式公式,则⌝A、(A)也是合式公式。
(3)若A、B 是合式公式,则A ∧B、A∨B、A→B、A↔B 是合式公式。
(4)有限次使用(2)~(3)形成的字符串均为合式公式。
1.3等值式1.4析取范式与合取范式将一个普通公式转换为范式的基本步骤1.6推理定义 1.6.1 设 A 与 C 是两个命题公式, 若 A → C 为永真式、 重言式,则称 C 是 A 的有 效结论,或称 A 可以逻辑推出 C ,记为 A => C 。
(用等值演算或真值表)第二章 谓词逻辑2.1、基本概念∀:全称量词 ∃:存在量词一般情况下, 如果个体变元的取值范围不做任何限制即为全总个体域时, 带 “全称量词”的谓词公式形如"∀x(H(x)→B(x)),即量词的后面为条件式,带“存在量词”的谓词公式形如∃x(H(x)∨WL(x)),即量词的后面为合取式 例题R(x)表示对象 x 是兔子,T(x)表示对象 x 是乌龟, H(x,y)表示 x 比 y 跑得快,L(x,y)表示x 与 y 一样快,则兔子比乌龟跑得快表示为: ∀x ∀y(R(x)∧T(y)→H(x,y))有的兔子比所有的乌龟跑得快表示为:∃x ∀y(R(x)∧T(y)→H(x,y))2.2、谓词公式及其解释定义 2.2.1、 非逻辑符号: 个体常元(如 a,b,c)、 函数常元(如表示22y x 的 f(x,y))、 谓词常元(如表示人类的 H(x))。
定义 2.2.2、逻辑符号:个体变元、量词(∀∃)、联结词(﹁∨∧→↔)、逗号、括号。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
【半群】G非空,·为G上的二元代数运算,满足结合律。
【群】(非空,封闭,结合律,单位元,逆元)恰有一个元素1适合1·a=a·1=a,恰有一个元素a-1适合a·a-1=a-1·a=1。
【Abel群/交换群】·适合交换律。
可能不只有两个元素适合x2=1【置换】n元置换的全体作成的集合Sn对置换的乘法作成n 次对称群。
【子群】按照G中的乘法运算·,子集H仍是一个群。
单位子群{1}和G称为平凡子群。
【循环群】G可以由它的某元素a生成,即G=(a)。
a所有幂的集合an,n=0,±1,±2,…做成G的一个子群,由a生成的子群。
若G的元数是一个质数,则G必是循环群。
n元循环群(a)中,元素ak是(a)的生成元的充要条件是(n,k)=1。
共有ϕ(n)个。
【三次对称群】{I(12)(13)(23)(123)(132)}【陪集】a,b∈G,若有h∈H,使得a =bh,则称a合同于b(右模H),a≡b(右mod H)。
H有限,则H的任意右陪集aH的元数皆等于H的元数。
任意两个右陪集aH和bH或者相等或者不相交。
求右陪集:H本身是一个;任取a∉H而求aH又得到一个;任取b∉H∪aH而求bH又一个。
G=H∪aH∪bH∪…【正规子群】G中任意g,gH=Hg。
(H=gHg-1对任意g∈G都成立)Lagrange定理G为有限群,则任意子群H的元数整除群G的元数。
1有限群G的元数除以H的元数所得的商,记为(G:H),叫做H在G中的指数,H的指数也就是H的右(左)陪集的个数。
2设G为有限群,元数为n,对任意a∈G,有an=1。
3若H在G中的指数是2,则H必然是G的正规子群。
证明:此时对H的左陪集aH,右陪集Ha,都是G中元去掉H的所余部分。
故Ha=aH。
4G的任意多个子群的交集是G的子群。
并且,G的任意多个正规子群的交集仍是G的正规子群。
5 H是G的子群。
N是G的正规子群。
命HN为H的元素乘N的元素所得的所有元素的集合,则HN是G的子群。
【同态映射】K是乘法系统,G到K的一个映射σ(ab)=σ(a)σ(b)。
设(G,*),(K,+)是两个群,令σ:x→e,∀x∈G,其中e是K的单位元。
则σ是G到K 内的映射,且对a,b∈G,有σ(a*b)=e=σ(a)+ σ(b)。
即,σ是G到K的同态映射,G~σ(G)。
σ(G)={e}是K的一个子群。
这个同态映射是任意两个群之间都有的。
【同构映射】K是乘法系统,σ是G到σ(G)上的1-1映射。
称G与σ(G)同构,G≅G′。
同构的群或代数系统,抽象地来看可以说毫无差别。
G和G′同态,则可以说G′是G的一个缩影。
【同态核】σ是G到G′上的同态映射,核N为G中所有变成G′中1′的元素g的集合,即N=σ-1(1′)={g∈G∣σ(g)=1′}。
N是G的一个正规子群。
对于Gˊ的任意元素aˊ,σ-1(aˊ)={x|x∈G ,σ(x)= aˊ}是N在G 中的一个陪集。
Gˊ的元素和N在G中的陪集一一对应。
设N是G的正规子群。
若A,B是N的陪集,则AB也是N的陪集。
【环】R非空,有加、乘两种运算a+b=b+a2)a+(b+c)=(a+b)+c,3)R中有一个元素0,适合a+0=a,4)对于R中任意a,有-a,适合a+(-a)=0,5)a(bc)=(ab)c,6)a(b+c)=ab+ac,(a+b)c=ac+bc。
交换环:乘法适合交换律ab=ba 。
含壹环:R不只有一个元素且有一个元素1适合1a =a1=a。
1不为零。
无零因子环:不含a,b∈R,a≠0,b≠0,但ab=0,a,b为零因子。
又叫消去环。
消去环:消去律成立。
不为0的元素在加法下的周期或为0或为质数。
整区:有壹无零因子的交换环。
体:如果去掉0,环R的其余元素作成一个乘法群。
体有壹而且无零因子,其中任意非零元素有逆。
域是交换体。
单纯环:R除自己和{0}外没有别的理想。
【子环】环R的非空子集S在R的加法和乘法下仍是环。
若a∈S,b∈S,则a-b∈S;若a∈S,b∈S,则ab∈S。
对于乘法群,其壹恒与子群的壹一致;但对于环,其壹却未必与子环的壹一致。
【理想】环R的子集N (理想子环)N非空;若a∈N,b∈N,则a-b∈N;若a∈N,х∈R,则aх∈N,хa∈N。
1理想一定是子环,但子环未必是理想。
2任意体R只有平凡理想。
3设R是有壹的交换环,a∈R,则aR={ar|r∈R}是R的理想,且包含a。
【主理想(a)】R是有壹的交换环,a∈R,则aR称为由a生成的。
(0)={0},(1)=R。
环R的主理想(a)是R中包含a的理想中最小的理想。
【合同】设R是环,N是理想。
a,b∈R,如果a-b=n∈N,或a=b+n,n∈N,则称a和b模N合同,记为a≡b(mod N)。
在环R中,对于模N,有:反身性:a≡a;对称性:若a≡b,则b≡a;传递性:若a≡b,b ≡c,则a≡c;加法同态性:若a≡b,c≡d,则a±c≡b±d。
乘法同态性:若a≡b,c≡d,则ac≡bd。
【环同态】R是环,S有加乘两种运算,R到S中的一个映射σ(a+b)=σ(a)+σ(b),σ(ab)=σ(a)σ(b)。
R到R′同态,记为R~R′。
【环同构】σ是环R到系统R′上的一个一对一的同态映射。
R与R′同构,记为R≅R′。
若σ是R到S中的一个同态映射,则R的映象R′=σ(R)也是一个环,σ(0)就是R′的零0′,σ(-a)=-σ(a)。
若R有壹而R′不只有一个元素,则R′有壹而且σ(1)就是R′的壹1′;若a∈R有逆,则σ(a)在R′中有逆而且σ(a-1)就是σ(a)-1。
【理想】同态映射σ的核N是R的一个~.设a′是R′的任意元素,则a′的逆映象σ-1(a′)={a ∈R∣σ(a)=a′}是N的一个剩余类。
1按照剩余类的加法和乘法,R对于理想N的所有剩余类的集合R∕N是一个环,2规定σ(a)= a+N,则σ是R到R∕N上的一个同态映射,其核为N。
R∕N叫做R对于N 的剩余环3设环R同态于R′:R~R′于是R与N之间的子环与R′的子环一一对应,大环对应大环,小环对应小环,理想对应理想。
【极大理想】N ⊂ R,而R与N之间没有别的理想。
极大理想不唯一若N ⊂ R,则N是R的极大理想必要而且只要R∕N是单纯环。
【域】任意有壹的交换的单纯环。
任意域F是有壹的交换的单纯环。
设R是有壹的交换环,N是R的理想。
于是,R∕N是一个域,必要而且只要N是一个极大理想。
任意域F的特征P是零或一质数。
【最小域/素域】没有真子域的域,特征P的最小域为R (p为0或质数)。
设p为质数或等于0,特征为p的任意域F包含Rp为其最小子域。
域F上х的多项式作成的环F[х]是一个【整区】。
【多项式】1以х-α除ƒ(х)所得的余式等于ƒ(α)。
2 х-α∣ƒ(х),当且仅当α是ƒ(х)的根。
3说α是非0多项式ƒ(х)的k重根,如果(х-α)k∣ƒ(х),(х-α)k+1不整除ƒ(х)。
4若α是非常数多项式ƒ(х)的k重根,则它至少是ƒ′(х)的k-1重根。
5α是ƒ(х)的重根,当且仅当它是ƒ(х)和ƒ′(х)的公共根。
6复数域上任意非常数多项式必有根。
7实数域上,质式只能是一次式或二次式。
二次式aх2+bx+c是质式,当且仅当判别式b2-4ac<0。
设ƒ(х)= a0хn + a1хn-1 … + an 是整系数多项式,若对质数p,p不整除a0,p∣a1,…,p∣an,p2不整除an,则ƒ(х)在有理域上【不可约】。
设ƒ(х)= a0хn + a1хn-1 + … + an 是整系数多项式。
若有理数b∕c是ƒ(х)的根,其中b和c是互质的整数,则b∣an,c∣a0。
【求有理根】1.分别找a0和an的所有因子ci,bj;2.找互质对(ci,bj );3.判断ci/bj是否为根;4.判断重根。
复数α称为一个代数数,如果α是某个有理系数非0多项式的根。
若α不是任何有理系数非0多项式的根,则α称为一个超越数。
复数域中恰有n个n次单位根。
它们在乘法下作成一个n元循环群Φ1(х)=х-1 Φ2(х)=х+1Φ3(х)=х2+ x + 1Φ4(х)= x2 + 1х12-1=Φ12Φ6Φ4Φ3Φ2Φ1,х6-1= Φ6Φ3Φ2Φ1相除得х6+1 = Φ12Φ4设n不是F的特征的倍数,并设Φn(х)在F中有根。
于是,F中恰有n个n次单位根,它们在乘法下作成一个n元循环群,其ϕ(n)个生成元素恰是Φn(х)的所有的根。
F中的q-1个非0元素恰是所有q-1次单位根,而F的所有q个元素是多项式хq-х的所有的根。
F的q-1个非0元素在乘法下作成一个q-1元循环群,其ϕ(q-1)个生成元素恰是Φq-1(х)的所有的根。
【有限域】的元数必为pn的形式,其中p为其特征。
如果同构的域看作是一样的,则对任意q=pn恰有一个q元有限域,【格】部份序集(L,≢),对于任意a,b∈L,L的子集{a,b}在L中都有一个最大下界(记为inf{a,b})和一个最小上界(记为sup{a,b})。
一个序集是一个格,但是,不是所有部份序集都是。
设(L,≢)是格,S是L的子集,即S⊆L,如果(S,≢)是格,则称(S,≢)是格(L,≢)的【子格】。
设L是一个集合,×,⊕是L上两个二元代数运算,如果这两种运算对于L中元素满足:(1)交换律:a×b=b×a,a ⊕ b=b ⊕ a。
(2)结合律:a×(b×c)=(a×b)×c,a ⊕(b ⊕ c)=(a ⊕ b)⊕c。
(3)吸收律:a×(a ⊕ b)=a,a ⊕(a×b)=a。
则称此代数系统(L,×,⊕)为一个【格】。
集合L中的【部份序关系】R与其逆关系R-1,称为互相对偶的两个关系。
对任意x,y∈L,xR-1y⇔yRx。
若R是部分序关系,则R-1也是。
【格同态】(L,×,⊕)和(S,∧,∨)是个格,L到S的映射g对任意a,b∈L,有g (a×b)= g(a)∧g(b)g(a⊕b)= g(a)∨g(b)若g是L到S上的同态映射,且是一对一的,则称g是格【同构映射】。
【有界格】格(L,≢)有一个最大元素(记为1)和一个最小元素(记为0),亦即,对任意a ∈L,都有0≢a≢1,0,1称为格(L,≢)的界。
在有界格(L,×,⊕,0,1)中,一个元素b∈L,称为元素a∈L的【余元素】,如果a×b = 0,a ⊕ b = 1。
在有界格(L,×,⊕,0,1)中,任意元素a可以有余元素,也可以没有余元素;如果有余元素,则可以有一个或一个以上的余元素。