离散数学复习要点.docxVIP

离散数学复习 2018.1.3 第?1?章?数学语言与证明方法 知识点?1：幂集的定义 幂集的元素个数计算，如果?A?有?n?个元素，那么?P（A）有?2?的?n?次方个元素 例?1 ??的幂集?P（??）的元素个数?为?1，因为?2?的?0?次方为?1.即?{??}。 {??}的幂集?P（{??}）元素个数为?2，其幂集为{??，{??}} 知识点?2：?集合的运算 P8?的公式，特别要注意下面的公式： A-B=A?U?~B ~~A=A ~(A?U?B)=?~A?I?~B ~(A?I?B)?=?~A?U?~B A???B=（A?-?B）?U?(B?-?A) 知识点?3?文氏图 P7?用文氏图表达集合运算 第?2?章?命题逻辑 1?成真赋值，成假赋值 例?1：求?(p???q)???r?的成假赋值 若上式子成假，必须(p???q)为?1，r?为?0 故成假赋值为?110?，100，010 2?可满足式，矛盾式，永真式的定义 3?合取范式，析取范式的定义 4?极大项，极小项的定义。 例?2?求(p???q)???r?的合取范式的极大项，析取范式的极小项 解?成假赋值为?110，100，010，故此有三项极大项， (p???q)???r???M2???M4???M6 成真赋值为?000，001，011，101，111，故此析取范式有五项极小项 (p???q)???r???m0???m1???m3???m5???m7 5?联接词完备集 {???，???，???}是完备的，因为???和???都可以用前三个符号来表达 例如?p???q???（p???q）???（q???p） （p???q）?????p???q {???，???}也是完备的 因为?p???q?????(???(p???q))  ????(???p?????q) 但{???，???}就不是完备的 6?命题符号化和定理证明 例如?小王学过英语或者日语。如果小王学过英语，则他去过英国，如果他去过英国，他 也去过日本。所以小王学过日语或者去过日本。 证明： 1）p：小王去过英语；?q：小王学过英语 r?:?小王去过英国 s：小王去过日本 2）前提：?p???q，p???r，r???s 结论?：q???s 3）构造证明过程： 1?p???r 前提引入 2?r???s 前提引入 3?p???s 1，2?假言三段伦 4?p???q 前提引入 5?????p???q 4?置换 6???q???p 5?置换 7???q???s 6，3?假言三段 8?q???s 7?置换 7?归结法证明： 例子：用归结法证明上述命题 1）p：小王去过英语；?q：小王学过英语 r?:?小王去过英国 s：小王去过日本 2）前提：?p???q，p???r，r???s 结论?：q???s 用归结法改写为下述形式： 前提：p???q，???p???r，???r???s，???q，???s 结论?0 证明： 1???r???s?前提引入 2???s 前提引入 3???r 1，2?归结 4???p???r 前提引入 5 ??p 3，4?归结 6?p???q 前提引入 7?q 6，7?归结 8 ??q 前提引入 9?0 7，8?归结 第?3?章 一阶逻辑 知识点?1?公式符号化 例如?所有的汽车比飞机慢 例如?有的汽车比有的飞机慢 例如?有的汽车比所有的飞机慢 知识点?2?前束范式的定义，及转换 例：将上述转换为前束范式 P85?3.32 第四章??关系 1?笛卡尔积的定义 例子： 求{1，2，3}?×{4，5} 2?二元关系的矩阵表示与图表示 3?关系的传递性，对称性，反对称性，自反性。 （判断法则） 4?关系的交，并，关系的合成，关系的幂运算。 5?传递闭包，对称闭包，自反闭包，tsr?闭包 4?等价关系，偏序关系与哈斯图，集合的划分 例?1 {1，2，3}有多少种划分 {1,2,3,4}有多少种划分 例?2?A={1，2，3，4，5，6，7，8，9，10}如果整除关系为偏序关系，画出哈斯图。 并求{2，3}在该偏序关系的上界和下界 第?5?章?函数 知识点?1：函数，恒等函数，单射，满射，双射函数 例子?判断下列映射是否是函数，是否是双射函数 例子?|A|=m?|B|=n,求?A?到?B?上函数的个数，A?到?B?上双射函数的个数 A?到?B?上函数有?n^m?个，因为每个自变量都有?n?种选择。 A?到?B?的双射函数，如果当?n?不等于?m?时，为?0.因为双射函数必须一一对应。 如果?m=n，则有?n! 知识点?2?函数的像，完全原像。 知识点?3?函数的合成，?f??g?的定义 第?6?章图 1?握手定理 2?完全图?Kn?圈图?Cn，轮图?Wn，各有多少顶点，多少边 3?生成子图的定义和性质。 4