离散数学复习提纲Word文档下载推荐.doc
《离散数学复习提纲Word文档下载推荐.doc》由会员分享，可在线阅读，更多相关《离散数学复习提纲Word文档下载推荐.doc（9页珍藏版）》请在冰点文库上搜索。
（1）；
（2）
（
）
2．用真值表判断下列公式是恒真？
恒假？
可满足？
（1）（PÙ
Ø
P）«
Q
（2）Ø
（P®
Q）Ù
（3）（（P®
（Q®
R））®
R）
解：
（1）真值表
PQ
PPÙ
P（PÙ
00
101
01
100
10
001
11
000
因此公式
（1）为可满足。
（2）真值表
P®
QØ
Q）Ø
010
因此公式
（2）为恒假。
（3）真值表
PQR
QQ®
RP®
R（（P®
R）
000
1111
001
010
1011
011
100
0101
101
0111
110
1001
111
1111
因此公式（3）为恒真。
3．┐QÙ
（P→Q）蕴涵┐P
（an:
法1：
真值表
法2：
若┐QÙ
（P→Q）为真，则┐Q，P→Q为真，
所以Q为假，P为假，所以┐P为真。
法3：
若┐P为假，则P为真，再分二种情况：
①若Q为真，则┐QÙ
（P→Q）为假
②若Q为假，则P→Q为假，则┐QÙ
根据①②，所以┐QÙ
（P→Q）蕴涵┐P。
4．利用基本等价式证明下列命题公式为恒真公式。
（（P®
（（PÚ
（Ø
PÙ
QÚ
R）））Ú
Q）Ú
（1、证明：
（（P®
=（（Ø
PÚ
=Ø
（（Ø
R））Ú
=（PÙ
（QÙ
R）Ú
R
=（（PÙ
P）Ú
（（QÙ
=（1Ù
P））Ú
（（QÚ
R）Ù
1）
=Ø
R
=（Ø
Q）Ú
PÚ
R
=1Ú
=1
（（PÚ
=（（PÚ
（PÚ
R））
=（PÚ
QÙ
=1）
5．用形式演绎法证明：
{}蕴涵
证明：
（1）规则P
（2）规则Q
（1）
（3）规则P
（4）规则Q（3）
（5）规则Q
（2）（4）
（6）R®
S规则P
（7）P®
S规则Q（5）（6））
6．用形式演绎法证明：
（蕴涵A
（改（）
（1）A规则D
（2）A∨B规则Q
（1）
（3）规则P
（4）规则Q
（2）（3）
（5）D规则Q（4）
（6）规则Q（5）
（7）规则P
（8）E规则Q（6）（7）
（9）规则Q
（1）（8））
7．┐（P∧┐Q），┐Q∨R，┐R蕴涵┐P
（1）┐Q∨R
（2）┐R
（3）┐Q
（4）┐（P∧┐Q）
（5）┐P∨Q
（6）┐P）
8．某案涉及甲、乙、丙、丁四个，根据已有线索，已知：
（1）若甲、乙均未作案，则丙、丁也均未作案；
（2）若丙、丁均未作案，则甲、乙也均未作案；
（3）若甲与乙同时作案，则丙与丁有一人且只有一人作案；
（4）若乙与丙同时作案，则甲与丁同时作案或同未作案。
办案人员由此得出结论：
甲是作案者。
这个结论是否正确？
为什么？
解：
对问题中的四个简单命题用P1，P2，P3，P4分别表示甲，乙，丙，丁作案，则办案人员的推理如下：
前提：
1）Ø
P1Ù
P2®
P3Ù
P4
2）Ø
P4®
P2
3）P1Ù
P4）Ú
（P3Ù
P4）
4）P3Ù
P2）Ú
（P1Ù
P2）
结论：
P1。
P4）Ù
（Ø
P2）Ù
（P1Ù
P4））Ù
（P3Ù
P2））®
P1
不是永真式，比如：
P1取假，P2取真，P3取假，P4取真时，上式为假
所以P1不是前提的有效结论，
所以甲是作案者的结论是错误的）
二、谓词逻辑
[复习知识点]
1、谓词、量词、个体词（一阶逻辑3要素）、个体域、变元（约束出现与自由出现）
2、谓词公式与解释，谓词公式的类型（永真、永假、可满足）
3、谓词公式的等值式（代换实例、消去量词、量词否定和量词辖域收与扩）和置换规则（置换规则、换名规则和代替规则）
谓词与量词、公式与解释
1、理解谓词、量词、个体词、个体域、变元的概念；
理解用谓词、量词、逻辑联结词描述一个简单命题；
了解命题符号化。
2、理解公式与解释的概念；
掌握在有限个体域下消去公式量词，求公式在给定解释下真值的方法；
了解谓词公式的类型。
[疑难解析]
1、谓词与量词
理解谓词与量词引入的意义，概念的含义及在谓词与量词作用下变量的自由性、约束性与改名规则（即换名规则和代替规则）。
2、公式与解释
能将一阶逻辑公式表达式中的量词消除，写成与之等价的公式，然后将解释中的数值代入公式，求出真值。
三、集合
1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集
2、集合的交、并、差、补以及对称差等运算及其运算律（交换律、结合律、分配律、吸收律、德摩根律等），文氏（Venn）图
集合的概念、集合的运算性质、集合恒等式的证明。
1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。
2、掌握集合的表示法和集合的交、并、差、补、对称差等基本运算。
3、掌握集合运算基本规律，证明集合等式的方法。
1、集合的概念
重点对幂集加以掌握，一是掌握幂集的构成，一是掌握幂集元数为2n。
2、集合恒等式的证明
对集合恒等式证明的练习，加深对集合性质的理解与掌握。
四、二元关系
1、序偶、迪卡尔积，迪卡尔积的运算。
2、关系表达式、关系矩阵与关系图
3、复合关系（右复合）与逆关系
3、关系的性质（自反性、反自反性、对称性、反对称性、传递性）
4、关系的闭包（自反闭包、对称闭包、传递闭包）
5、等价关系与等价类
6、偏序关系与哈斯图、极大/小元、最大/小元
7、函数及其性质（单射、满射、双射）
8、复合函数与反函数
二元关系的概念、关系的性质、关系的闭包、等价关系、偏序关系和映射的概念
1、了解序偶与迪卡尔积的概念，掌握迪卡尔积的运算。
2、理解关系的概念：
二元关系、空关系、全域关系、恒等关系；
掌握关系的集合表示、关系矩阵和关系图、关系的运算。
3、掌握求复合关系与逆关系的方法。
4、理解关系的性质（自反性、反自反性、对称性、反对称性、传递性），掌握其判别方法（定义、图）。
4、掌握求关系的闭包（自反闭包、对称闭包、传递闭包）的方法。
5、理解等价关系和偏序关系的概念，掌握等价类的求法和偏序关系做哈斯图的方法，极大/小元、最大/小元的求法。
6、理解函数概念：
函数、函数相等、A到B的函数、复合函数和反函数。
7、理解单射、满射、双射等概念，掌握其判别方法。
1、关系的概念
熟练掌握二元关系的概念及关系矩阵、关系图表示。
2、关系的性质及其判定
关系的性质既是对关系概念的加深理解与掌握，又是关系的闭包、等价关系、偏序关系的基础。
对于五种性质的判定，可以依据教材上总结的规律。
这其中对传递性的判定，难度稍大一点，这里要提及两点：
一是不破坏传递性定义，可认为具有传递性。
如空关系具有传递性，同时空关系具有对称性与反对称性，但是不具有自反性。
3、关系的闭包
在理解掌握关系闭包概念的基础上，主要掌握闭包的求法。
关键是熟记定理7.10和7.11
4、偏序关系及偏序集中特殊元素的确定
理解与掌握偏序关系与偏序集概念的关键是哈斯图。
哈斯图画法掌握了，对于确定任一子集的最大（小）元，极大（小）元也就容易了。
这里要注意，最大（小）元与极大（小）元只能在子集内确定。
5、映射的概念与映射种类的判定
映射的种类主要指单射、满射、双射与非单非满射。
判定的方法除定义外，可借助于关系图，而实数集的子集上的映射也可以利用直角坐标系表示进行，尤其是对各种初等函数。
五、图论
1、图的基本概念：
无向图与有向图、顶点与边的关联关系、顶点（边）与顶点（边）之间邻接关系、简单图与多重图、顶点度数（度）与握手定理、图的同构、完全图、子（补）图；
2、通路与回路、简单通（回）路与初级通（回）路；
连通图与非连通图、连通分支、强连通图、单向连通图与弱连通图、二部图；
点割集、边割集、点（边）连通度；
3、图的矩阵表示：
邻接矩阵、关联矩阵、可达矩阵；
4、欧拉通（回）路、（半）欧拉图；
哈密尔顿通（回）路、（半）哈密尔顿图；
5、无向树、生成树、带权树、最小生成树，基本回路、基本回路系统、基本割集、基本割集系统、避圈法（Kruskal算法）；
6、有向树、树根、有序树、二叉树、前缀码、最佳前缀码、霍夫曼（Huffman）算法、带权图的最优二分树、二叉树的周游；
握手定理、点（边）割集、特殊图（欧拉图与哈密顿图、无（有）向树）
1、理解图的有关概念：
图、完全图、子图、母图、生成子图、图的同构等。
2、深刻理解握手定理及其推论的内容，并能熟练地应用它们。
3、理解图的矩阵表示（关联矩阵、相邻矩阵）和性质以及熟练掌握用有向图的邻接矩阵及各次幂求图中通路与回路数的方法。
4、深刻理解欧拉图、哈密顿图的定义及判别定理，对于给定的图，应用各定理准确判断；
会用破坏哈密顿图应满足的某些必要条件的方法判断某些图不是哈密顿图；
会用满足哈密顿的充分条件的方法判断某些图是哈密顿图。
5、深刻理解无向树的定义，熟练掌握无向树的主要性质，并能灵活应用它们。
6、深刻理解生成树的有关概念与性质；
理解基本回路、基本回路系统、基本割集、基本割集系统；
用Kruskal算法求权图中最小生成树的方法。
7、深刻理解有向树、根树、二叉树和前缀码的有关概念；
掌握用霍夫曼（Huffman）算法求带权图的最优二分树，掌握求最佳前缀码方法，二叉树的中序和前序行遍法。
考试说明
考核方式
1、期末笔试为120分钟的闭卷考试，占总评成绩的70％。
2、平时成绩根据作业完成情况、半期考成绩、出勤情况和课堂表现确定，占总评成绩30％。
各章比例
数理逻辑30分集合30分图论40分
考题类型
单项选择题16分填空题18分证明题12分计算分析（包括综合分析）题54分
大题详细分析
1.命题逻辑自然推理证明，综合分析题或证明题；
2.用等值演算法求解主析取范式或主合取范式，并用真值表法验证，计算分析题；
3.集合恒等式的证明或化简，证明题或计算分析题；
4.集合中有穷集的计数；
5.偏序关系与哈斯图及极大、极小元、最大、最小元；
计算分析题；
6.基本回路系统、基本割集系统或邻接矩阵及各次幂的运算；
7.利用握手定理和树的性质求解图或树的顶点数；
8.最优二叉树产生的最佳前缀码（根树的应用）；
综合分析题。
升级会员 