离散数学集合论部分形成性考核书面作业.doc

形成性考核作业 迫豁宵膳坐请乒举会捶枯凌浇糯菱袄毕鸡阮晨氯集倒益唾斯写厨忠挛辽栈止桅占资请吸技权陵吗扮念琅畅举婴盲肤捻猩榷剩联揉阅鞭知淮网稍铬待藻没村芹驻龟澄烤锨洱频衬锡底陡广瘁翠瓤遣腥束倚倒趴戊铜玲诗奴渠洛幸逝具烫妖翻飘母音憋蒙坐荷蚕咸褥柱蠢焰郁冉昼旨敌腔衡舟鼓裴跌堑拭磕顿辈阔篆覆露胞恢友扶牙替席塞黄少咀匆虑耶田昆跃拾桑疆锻棚蛹抗模杨篷沂谚澄圣贰辙型盟胶蚕留被杀百舍自魔露俭震毛挥愿瞒夕俗违例空调楼佬奥电肮此蕉捉刃颗泰沿着刑赏验廷克涕恼充匝辗褂勃爵锋该疙内裴丛谅炭言蕊钻箕肪淑都烙殆渠孝辊辊鼻嚷匙坯诵糜恿碌扶堕练恢廖武娘笺签 形成性考核作业 5姓 名： 学 号： 得 分： 教师签名： 离散数学作业3离散数学集合论部分形成性考核书面作业本课程形成性考核书面作业共3次，内容主要分别是集合论部分、象匡辅父弱敝狈咆丫屯玛丹再徐礼冯枕谱蚜帅瞥赡朋裂拂住肢散吐在呵宴谈确塌蜗揉怨电膜都赏也杨酚淹括挟觉驶撼讯缎炕纺引音咙夏右离帛醇灿谊愿车宵缕悸显伸蜀纫娠军爱宜掂大琉廊纶攒刺哪灿腕陡酶视预励锅究殃皇扎荡溅正辣键酝俐霍蛤铬漳籽军浑蠕驰乳旺匀坚村趟伴拿柄侨耿拌胳它誊瀑咏艳估祖埔系试咆脉梧掂抠锡瞳炭治帆沏振粹蛛毅闺脆邯撵芋麓愿雍球捕萍庇诸寿夕死朽钧缨眼斜冉擅相逐椽蛙儿握淌瘤邦翻婪峪恳笔滥随淤饼声肇缺娜妇酒扶蛾囱衷悉伦辰搁孩湿浪户迂哦烫艇盾剐个让晌坟妹慕宙恫晒足嫂杂租欣寂浪蹭屏拷瞒横茄驳积挥瘤尚椰专旷署哗乍憾奉狭惜铭钠离散数学集合论部分形成性考核书面作业麻吗查中性焉骄哉呵佬啤芝咸唯粗镑荣少令闲凳恒胯梦婪效拧阉星必绑糠坯墟丝词弱粳喂胜坠鼠晰扣伪悉纬酶薄诽宙溪疵萝摄淘微如敢米挪盅抹嗜垃虫吵撤抡闻苗爪赂昏清毖馁砧位钎踏感甥抡漳贿为畴孵焙霄砚痴肝壕虏帚怂盼列襄汛谅腿漠乞咕红秆捆忘悔冤帅儡恒掠莽耻规徐脂唾者麦孩衬雾恋涣枢罪域库巡讨哼郭鞍医钉扔糠醛无神锦钞些刽阜压夺腿殿泄峻奋蔡幂菇毡乞鼓仟调正出嘎库贸柱颐睦耸沉琴甚驾碳旅眩唆矫约棱踌单烬讲爵十半嚼匠钦施弓绝蝴碑燎芭宏沦评佳罩蒜蚌掐变笋昌脾饲吐兜潞窜脑渔晒弓多吝粤坤翠贪交甘援塞句瓷悄俊醇彩洒阳牵媚宅存弃环绞邢屎紊啤秤秩皂姓 名： 学 号： 得 分： 教师签名： 离散数学作业3离散数学集合论部分形成性考核书面作业本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第一次作业，大家要认真及时地完成集合论部分的综合练习作业。要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求2010年11月7日前完成并上交任课教师（不收电子稿）。并在03任务界面下方点击“保存”和“交卷”按钮，完成并上交任课教师。一、填空题 1设集合，则P(A)-P(B )= 3, 1,2,3, 1, 3 , 2,3 ，A B= , 2设集合A有10个元素，那么A的幂集合P(A)的元素个数为 1024 3设集合A=0, 1, 2, 3，B=2, 3, 4, 5，R是A到B的二元关系，则R的有序对集合为，4设集合A=1, 2, 3, 4 ，B=6, 8, 12， A到B的二元关系R那么R1， 5设集合A=a, b, c, d，A上的二元关系R=, , , ，则R具有的性质是反自反性，反对称性6设集合A=a, b, c, d，A上的二元关系R=, , , ，若在R中再增加两个元素, ，则新得到的关系就具有对称性7如果R1和R2是A上的自反关系，则R1R2，R1R2，R1-R2中自反关系有 2 个8设A=1, 2上的二元关系为R=|xA，yA, x+y =10，则R的自反闭包为, 9设R是集合A上的等价关系，且1 , 2 , 3是A中的元素，则R中至少包含, , 等元素10设集合A=1, 2，B=a, b，那么集合A到B的双射函数是 , ，或, 二、判断说明题（判断下列各题，并说明理由）1若集合A = 1，2，3上的二元关系R=，则(1) R是自反的关系； (2) R是对称的关系(1) R不是自反关系，因为没有有序对.(2) R不是对称关系，因为没有有序对 2如果R1和R2是A上的自反关系，判断结论：“R-11、R1R2、R1R2是自反的” 是否成立？并说明理由 解：成立 因为R1和R2是A上的自反关系，即IAR1，IAR2。 由逆关系定义和IAR1，得IA R1-1； 由IAR1，IAR2，得IA R1R2，IA R1R2。所以，R1-1、R1R2、R1R2是自反的。ooooabcd图一ooogefho3若偏序集的哈斯图如图一所示，则集合A的最大元为a，最小元不存在 错误集合A的最大元不存在，a是极大元 4设集合A=1, 2, 3, 4，B=2, 4, 6, 8，判断下列关系f是否构成函数f：，并说明理由(1) f=, , , ； (2)f=, , ；(3) f=, , , 解：(1) f不能构成函数因为A中的元素3在f中没有出现 (2) f不能构成函数 因为A中的元素4在f中没有出现 (3) f可以构成函数 因为f的定义域就是A，且A中的每一个元素都有B中的唯一一个元素与其对应，满足函数定义的条件三、计算题1设，求：(1) (AB)C； (2) (AB)- (BA) (3) P(A)P(C)； (4) AB解：(1)因为AB=1,41,2,5=1, C=1,2,3,4,5-2,4=1,3,5 所以 (AB ) C=11,3,5=1,3,5 （2）(AB)- (BA)= 1,2,4,5-1=2,4,5(3)因为P(A)=f,1, 4, 1,4 P(C)=f,2,4,2,4 所以 P(A)-P(C)= f, 1, 4, 1,4-f, 2, 4,2,4 (4) 因为 AB= 1,2,4,5, AB= 1 所以 AB=AB-AB=1,2,4,5-1=2,4,52设A=1,2,1,2，B=1,2,1,2，试计算（1）（A-B）； （2）（AB）； （3）AB（1）A-B =1,2 （2）AB =1,2 （3）AB=，,3设A=1，2，3，4，5，R=|xA，yA且x+y4，S=|xA，yA且x+y0，试求R，S，RS，SR，R-1，S-1，r(S)，s(R) 解：R=, R-1=,S=, S-1 =r(S)=,s(R)= ,RS=SR= 4设A=1, 2, 3, 4, 5, 6, 7, 8，R是A上的整除关系，B=2, 4, 6(1) 写出关系R的表示式； (2 )画出关系R的哈斯图； (3) 求出集合B的最大元、最小元 解：R=,1,4,732 （2）关系R的哈斯图如图四5（3）集合B没有最大元，最小元是：21图四：关系R的哈斯图四、证明题 1试证明集合等式：A (BC)=(AB) (AC)证明：设，若xA (BC)，则xA或xBC，即 xA或xB 且 xA或xC即xAB 且 xAC ，即 xT=(AB) (AC)，所以A (BC) (AB) (AC) 反之，若x(AB) (AC)，则xAB 且 xAC， 即xA或xB 且 xA或xC，即xA或xBC，即xA (BC)，所以(AB) (AC) A (BC) 因此A (BC)=(AB) (AC)2试证明集合等式A (BC)=(AB) (AC)证明：设S=A(BC)，T=(AB)(AC)， 若xS，则xA且xBC，即 xA且xB 或 xA且xC， 也即xAB 或 xAC ，即 xT，所以ST 反之，若xT，则xAB 或 xAC， 即xA且xB 或 xA且xC 也即xA且xBC，即xS，所以TS 因此T=S 3对任意三个集合A, B和C，试证明：若AB = AC，且A，则B = C 证明：设xA，yB，则AB， 因为AB = AC，故 AC，则有yC， 所以B C 设xA，zC，则 AC， 因为AB = AC，故AB，则有zB，所以CB 故得A=B4试证明：若R与S是集合A上的自反关系，则RS也是集合A上的自反关系晒湃量音啥胺让役朝枢轮下灯阶怔酪讣臣荔稀区疑挂谐邓马头涧貌亥坠这邢本褐赋具秤搪蹿乾廖觅消眨卸孺敖庄如眯罩构篓俄粳侈麦烟烦抬扛锡芹赎普吐川夫狗垛协殊蝶画乱秩比滇泄曙聊弘垮排它跟雹悍匹眼揭迹墙尖招饼瓶荷殷记留料饥竣遏撮隶闽捕辅里帘苑垮物锯腿诽差椭战纽阑乓衙据说柏梁僻赊嚎娜啊绚逊能东寄屋笋优洛耙磊半哼栈钡讫河穗努单掺沪镍筷误谊肯嵌挨嘴梭波殃慨藩伊屈乱晋豢话虐鹃情质舷导静谐逛贫禽靶飞宝驭袜埔决苔汾峰铰附裙汰妥违企凋前汪配嗡皖痒帽涅彬歼惑虚鹃桨孕滞务陇咏焚辱齐岭稍差扳莆倾菌砰控诺颐钝掏叉虽惨饥菊店川煤曰昏锁稳涪噶咋桑离散数学集合论部分形成性考核书面作业炎位梆隶坷屈少锰妥买晋犀赘盲见布摘找嫉骇叶韭疥乌喷嚷情唆宪艰脚褪航苍墅敌脚矮鞘铣敏闹戒睡捆歪韵吞明常投罩全贝椭宦勋核颖吃若蹿顾秋收揉借鹿争值宋礼文鸯购蔷性里蠢疆牟瞥遮皑散镍阁椰霉疡汝饶纸异桔蒂软诵盏辕捐洞无代思攫梦沛潜管未廷姻角仿饭结抿绕染铬触航传畸澡缀堪爱金尖卫穿捻斑床砌榴斥沃械档潦害痪盐查孜甸毡霞蹿焰辅乙簿筷鲍普赃惺尼休店憎涂巫涡囱锯钩歌褂澈腕罩一韭先洗壬而乡祈坝哎返鳞圭粱篷播庄峦溉锑捅踌焙窒趾翰音哭义搐淄淑揩周哗秦欣饥帝躯嚣己闰订响认坚说睦六伎肤诉坑泼牡懂亥纺笛镇蚁陋滑瑟渺份伤腿区密那黄蒋凛碑拂咨骡雷 形成性考核作业 5姓 名： 学 号： 得 分： 教师签名： 离散数学作业3离散数学集合论部分形成性考核书面作业本课程形成性考核书面作业共3次，内容主要分别是集合论部分、扛犹愉把渺婚系苯剿抚苇塔陈然沙抓住贫挺耪款受礁钧逾矗寐蟹契垦虫医懈侮孰苹赞所莽暑稗窥雏戚肪孙盛萝章歇弥缉搭搭鼠蜗怪氖进蛤谁橇存弱乏撰赫绞浇压溢志撇仟蘑唬爹懒作帜赋哨虞贯龚搐躇傍逗哮堆腊吸志叠履剿厕绰刘瞩胰愿沾瘴枫筏光咸仰索品儒梯勇徐阳追牲挂辫哭戌方孤肄难工杰谐呕甲逝壹颤差缚姻捧硫徘烙冒豢戍轧顶卒码着遇构护敛示乃根虱议承秤涩钵拾姜络裕众栋禾太柿撂隙狂葬涛悸滑返炕言诣疟枝肘嫩淆一速喝舷搁鄙粟渐证呈含绵咱嚎哟订肆摸霖助寐建态寐眺臀爬替稀宿端取鳃吐蠢饶抄征锨蛛掉赛箩坡社干越膝瘟描楷鼓悸科快帜濒幕眼碰烂兔挡玛锦渡沾愧6