离散数学总复习资料.pdf
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_05.gif)
《离散数学总复习资料.pdf》由会员分享,可在线阅读,更多相关《离散数学总复习资料.pdf(10页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、1/10 离散数学总复习资料 一、鸽笼原理与容斥原理 1求证边长为 1 的正方形中放 9 个点,由这些点构成的三角形中,必有一个三角形面积小于18。证:把该正方形均分成四个相同的小正方形,则由鸽笼原理知,必有一个小正方形内存在三个点,且这三个点构成的三角形面积小于18。#2对一列21n 个不同整数,任意排列,证明一定存在长为1n的上升子序列或下降子序列。证:设此序列为:2121,kna aaa,从ka开始上升子序列最长的长度为kx,下降子序列最长的长度为ky,每一个ka2(1,2,1)kn都对应了(,)kkxy。若不存在长为1n的上升子序列或下降子序列,那么,kkxn yn,形如(,)kkxy
2、的不同点对至多有2n个,而ka有21n 个,则由鸽笼原理知,必有,ija a2(11)ijn 同时对应(,)iix y(,)jjxy,由于ijaa,若ijaa,则ix至少比jx大 1,若ijaa,则iy至少比jy大 1,这均与(,)iix y(,)jjxy矛盾。故原命题成立。#3求100,2,1中不被 3、4、5 整除的个数。解:设A表示100,2,1中被 3 整除的数的集合,B表示100,2,1中被 4 整除 的 数 的 集 合,C表 示100,2,1中 被5整 除 的 数 的 集 合,则20,25,33CBA 6,5,8ACCBBA,1CBA,进而有 CBAACCBBACBACBA 601
3、658202533 故有4060100CBAUCBA 即100,2,1中不被 3、4、5 整除的个数为 40。#2/10 4有 100 个学生,其中 60 个爱看小说,30 个爱下棋,10 个既爱看小说,又爱下棋,5 个既爱看小说,又爱跳舞,没有既爱下棋,又爱跳舞的,三种活动都不爱的有 10 个,问有几个学生爱跳舞?解:设全体学生的集合为U,爱看小说的学生集合为A,爱下棋的学生集合为B,爱跳舞的学生集合为C,则依题意有100,60,30,10,5,0UABABACBC,10ABC,BC,从而()ABCABC,1001090ABCUABC。另一方面,根据容斥原理,我们有ABCABCABACBCA
4、BC,即有90603010500C ,故15C,即有 15 个学生爱跳舞。#二、数理逻辑 5求QP 的主析取、主合取范式。解:QP 取 真 为:(1,1),(0,0),(0,1);故QP 的 主 析 取 范 式 为)()()(QPQPQP;QP 取假为:(1,0);故QP 的主合取范式为:QP。6求RQP)(的主析取、主合取范式。解:RQP)(取真为:(1,1,1),(0,0,1),(0,1,1),(1,0,0),(1,0,1);故RQP)(的主析取范式为)()()()()(RQPRQPRQPRQPRQP;RQP)(取假为:(1,1,0),(0,1,0),(0,0,0);故RQP)(的主合取范
5、式为:)()()(RQPRQPRQP。7(1)将式子“并非跑的最快的马吃的最多”翻译成用谓词和量词表达的逻辑式子。(2)将式子“爱因斯坦于 1952 年写完狭义与广义相对论浅说”翻译成用谓词和量词表达的逻辑式子。解:(1)x:马;)(xA:跑的最快的马;)(xB:吃的最多的马。上式表示为:)()(xBxAx 3/10(2)设a:爱因斯坦;b:1952;c:狭义与广义相对论浅说;),(zyxA:x于y年写完z;则原式子可翻译成逻辑式子),(cbaA。8求下述公式的前束范式和 Skolem 标准形。)()(),()(zQzyxPx 解:)()(),()(zQzyxPx=),()()()()()()
6、,()(yxPxzQzzQzyxPx=),()()()()()(),()(yxPxzQzzQzyxPx=),()()()()()(),()(yxPxzQzzQzyxPx=),()()()()(),()()(yxPzQxzzQyxPzx=),()()()()(),()()(yvPuQvuzQyxPzx=),()()(),()()()()(yvPuQzQyxPvuzx 故该公式的前束范式为),()()(),()()()()(yvPuQzQyxPvuzx;Skolem 标准形为),(),()(),(yzxgPzxfQzQyxP。#9将下列命题符号化,并证明其论证是否正确。不存在白色的乌鸦;北京鸭是白
7、色的。因此,北京鸭不是乌鸦。解:令xxP:)(是白色的;)(xQ:x是乌鸦;)(xR:x是北京鸭。则上述命题可符号化为:)()()()()()(),()()(xQxRxxPxRxxQxPx 下面,我们证明上述命题是正确的。(1))()()(xPxRx (P)(2))()(yPyR (US)(3))(yR (CP)(4))(yP (分离规则)(5))()()()()()(xQxPxxQxPx (量词转换律)(6))()(yQyP (US)(7))(yQ (T,(4)4/10(8))()(yQyR (9))()()(xQxRx (UG)#三、二元关系 10(1)举出正整数集上一种关系,它是等价关系
8、但不是偏序关系;(2)举出正整数集上一种关系,它是偏序关系但不是等价关系。(3)画出集合24,12,8,6,4,3,2,1A上整除关系的 Hasse 图。(4)等价关系与划分关系 解:(1)正整数集上模 3 的同余关系。(2)正整数集上的整除关系。(3)24 12 8 6 4 3 2 1 11(1)举出正整数集上一种二元关系,它是等价关系又是偏序关系;(2)画出(,),Rab ababA的 Hasse 图,其中6,4,3,2,1A。解:(1)正整数集上的恒等关系。(2)6 4 3 2 1 12设4,3,2,1A,定义A上的一个二元关系R如下:4,3,3,2,1,2,2,1R(1)画出R的关系图
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 复习资料
![提示](https://www.taowenge.com/images/bang_tan.gif)
限制150内