。
-可编辑修改- 总结 离散数学知识点
第二章 命题逻辑
1.→，前键为真，后键为假才为假；<—>，相同为真，不同为假；
2.主析取范式：极小项(m)之和；主合取范式：极大项(M)之积；
3.求极小项时，命题变元的肯定为1，否定为0，求极大项时相反；
4.求极大极小项时，每个变元或变元的否定只能出现一次，求极小项时变元不够合取真，求极大项时变元不够析取假；
5.求范式时，为保证编码不错，命题变元最好按P,Q,R的顺序依次写；
6.真值表中值为1的项为极小项，值为0的项为极大项；
7.n个变元共有n2个极小项或极大项，这n2为(0~n2-1)刚好为化简完后的主析取加主合取；
8.永真式没有主合取范式，永假式没有主析取范式；
9.推证蕴含式的方法(=>)：真值表法；分析法(假定前键为真推出后键为真，假定前键为假推出后键也为假)
10.命题逻辑的推理演算方法：P规则，T规则
①真值表法；②直接证法；③归谬法；④附加前提法；
第三章 谓词逻辑
1.一元谓词：谓词只有一个个体，一元谓词描述命题的性质；
多元谓词：谓词有n个个体，多元谓词描述个体之间的关系；
2.全称量词用蕴含→，存在量词用合取^; 。
-可编辑修改- 3.既有存在又有全称量词时，先消存在量词，再消全称量词；
第四章 集合
1.N，表示自然数集，1,2,3……，不包括0；
2.基：集合A中不同元素的个数，|A|；
3.幂集：给定集合A，以集合A的所有子集为元素组成的集合，P(A)；
4.若集合A有n个元素，幂集P(A)有n2个元素，|P(A)|=||2A=n2；
5.集合的分划：(等价关系)
①每一个分划都是由集合A的几个子集构成的集合；
②这几个子集相交为空，相并为全(A)；
6.集合的分划与覆盖的比较：
分划：每个元素均应出现且仅出现一次在子集中；
覆盖：只要求每个元素都出现，没有要求只出现一次；
离散数学要求知识点：
第一章
1、幂集的计算；
2、二维笛卡尔积的计算。
第二章
1、关系的三种表示法；
2、关系的重要性质；
3、关系的三种闭包运算；
4、几种特殊关系的概念；
5、偏序关系的哈斯图，最元和极元的计算。
第三、四章（不要求）
第五章
1、代数系统的常见性质；
2、验证运算满足规律（如交换律，结合律），同态和同构只作了解。
第六、七章
1、群的定义和性质；
2、特殊群的单位元；
3、置换的定义及其运算；
4、n元对称群Sn的结论；
5、循环群的定义，常见循环群的生成元；
6、子群的阶与群的阶的关系，有限子群的判定；
7、环的定义；
8、特殊环的零元和单位元；
9、域的概念；常见的有限域。
（格与布尔代数不要求）
第八章
1、图的表示法：集合法，图法，矩阵表示法（重点），会求邻接矩阵；
2、完全图中结点n和边数m的关系；
3、基本通路和基本回路长度定理；
4、欧拉图和哈密顿图不要求。
第九章
1、树的定义；
2、树的性质；
3、外向树的定义；
4、二元树的定义及其应用：用二元树表示表达式；
5、生成树的定义；
6、生成树的边数与图的边数的关系；
7、求最小生成树。
第十章
1、命题的概念及判定； 2、五个联结词的真值表；
3、命题的符号化；
4、公式的分类；
5、简单的基本等式；
6、构造真值表，求成真赋值，成假赋值，判定公式的类型；求主范式；
7、命题推理。
十一章
1、个体、谓词和量词的概念；
2、命题的符号化；
3、约束变元和自由变元的判定；
4、有限个体域上量词的消去规则；
离散数学第二版屈婉玲
简介
《离散数学第二版》是由屈婉玲编写的离散数学教材。离散数学是计算机科学中的一门基础课程，主要研究离散对象及其结构、性质和相互关系。这本教材系统地介绍了离散数学的各个方面，具有循序渐进、清晰易懂的特点，适合计算机科学及相关专业本科生使用。
目录
• 离散数学概论
– 离散数学的基本概念
– 命题逻辑
– 谓词逻辑与推理
– 集合与命题逻辑的应用
• 图论基础
– 图的基本概念
– 有向图与无向图
– 图的遍历
– 最短路径
• 关系与函数
– 二元关系
– 关系的闭包与等价关系
– 函数与映射关系
– 函数的复合与反函数
• 计数原理
– 基本计数原理
– 排列与组合
– 生成函数
– 容斥原理
• 离散数学中的数论
– 整数与整除性
– 模运算与同余关系
– 素数与因子分解
– 公约数与最大公约数
• 离散结构中的代数系统
– 代数系统的基本概念 – 半群与幺半群
– 群与子群
– 环与域
内容概述
离散数学概论
第一章介绍了离散数学的基本概念和离散对象的性质。包括集合论、命题逻辑和谓词逻辑等内容。后续讲解了命题逻辑的推理规则，以及如何应用集合论和命题逻辑解决实际问题。
图论基础
第二章介绍了图论的基本概念和图的表示方法。包括有向图和无向图的概念、图的遍历算法和最短路径算法。通过实例讲解了如何使用图论解决实际问题。
关系与函数
第三章介绍了关系与函数的概念和性质。包括二元关系的定义和性质、关系的闭包和等价关系的概念，以及函数与映射关系的概念和性质。通过实例讲解了如何使用关系和函数解决实际问题。
计数原理
第四章介绍了计数原理的基本概念和计数方法。包括基本计数原理、排列与组合、生成函数和容斥原理等内容。通过实例讲解了如何使用计数原理解决实际问题。
离散数学中的数论
第五章介绍了离散数学中的数论知识。包括整数与整除性、模运算与同余关系、素数与因子分解、公约数与最大公约数等内容。通过实例讲解了如何使用数论知识解决实际问题。
离散数学代数系统中的群与域知识梳理
离散数学是研究不连续量的数学分支，而代数系统是离散数学的基础概念之一。在代数系统中，群与域是两个重要的概念。本文将对离散数学代数系统中的群与域的相关知识进行梳理。
一、群的定义及性质
群是代数系统中一种基本的代数结构，它是一个集合与一个二元运算的组合，满足四个条件：封闭性、结合律、单位元和逆元。
1.1 封闭性
在群中的任意两个元素进行运算后，结果仍然属于这个群。即对于群 G 中任意的 a、b，有 a * b ∈ G。
1.2 结合律
在群中进行运算的结果不受运算元素的顺序影响。即对于群 G 中任意的 a、b、c，有 (a * b) * c = a * (b * c)。
1.3 单位元
群中存在一个特殊元素，称为单位元，它与群中的任意元素进行运算后得到这个元素本身。即对于群 G 中任意的 a，有 a * e = e * a = a，其中 e 是群 G 的单位元。
1.4 逆元 对于群 G 中的每个元素 a，群中存在一个元素 b，使得 a * b = b * a
= e，其中 e 是群 G 的单位元，并且称元素 b 是元素 a 的逆元，记作 b
= a^(-1)。
二、群的例子
2.1 整数环（Z，+）
整数环是一个群，其中的运算为加法。整数环满足群的四个条件：封闭性、结合律、单位元和逆元。例如，对于整数环中的任意两个整数 a、b，其和仍然为整数，满足封闭性；整数的加法满足结合律；0
是整数环的单位元，对于任意整数 a，有 a + 0 = 0 + a = a；对于任意整数 a，存在一个整数 -a，使得 a + (-a) = (-a) + a = 0。
2.2 二进制群（Zn，⊕）
二进制群是一个有限集合，其中的运算为模 n 的加法（⊕）。二进制群也满足群的四个条件：封闭性、结合律、单位元和逆元。例如，对于二进制群中的任意两个元素 a、b，其模 n 的和仍然在这个群中，满足封闭性；模 n 的加法满足结合律；0 是二进制群的单位元，对于任意元素 a，有 a ⊕ 0 = 0 ⊕ a = a；对于任意元素 a，存在一个元素 b，使得 a ⊕ b = b ⊕ a = 0。
