离散数学形成性考核作业5答案

20春国家开放⼤学离散数学形考任务5资料参考答案离散数学形考任务5单项选择题
题⽬1
下列公式( A )为重⾔式．
选择⼀项：
A.
B.
C.
D.
题⽬2
下列等价公式成⽴的为( A )．
选择⼀项：
A. ┐P∧P┐Q∧Q
B. ┐P∨P Q
C. P∧Q P∨Q
D. ┐Q→P P→Q
题⽬3
下列等价公式成⽴的为( D )．
选择⼀项：
A. Q→(P∨Q)┐Q∧(P∨Q)
B. ┐P∧┐Q P∨Q
C. ┐P∨(P∧Q)Q
D. P→(┐Q→P)┐P→(P→Q)
题⽬4
下列公式中( C )为永真式．
选择⼀项：
A.
B.
C.
D.
题⽬5
前提条件的有效结论是( C )．
选择⼀项：
A. ┐P
B. P
C. ┐Q
D. Q
题⽬6
设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是( B )．选择⼀项：
A. 0, 0, 0
B. 1, 0, 0
C. 0, 1, 0
D. 0, 0, 1
题⽬7
设个体域D是整数集合，则命题的真值是（ C ）．选择⼀项：
A. F
B. 不确定
C. T
D. 以上说法都不是
题⽬8
设个体域为整数集，则公式的解释可为( A )．选择⼀项：
A. 对任⼀整数x存在整数y满⾜x+y=0
B. 存在⼀整数x对任意整数y满⾜x+y=0
C. 存在⼀整数x有整数y满⾜x+y=0
D. 任⼀整数x对任意整数y满⾜x+y=0
题⽬9。

习题5.11.设A=⎨a,b,c⎬，B=⎨1,2,3⎬，试说明下列A到B二元关系，哪些能构成A到B的函数？⑴f1=⎨<a,1>,<a,2>,<b,1>,<c,3>⎬⑵f2=⎨<a,1>,<b,1>,<c,1>⎬⑶f3=⎨<a,2>,<c,3>⎬⑷f4=⎨<a,3>,<b,2>,<c,3>,<b,3>⎬⑸f5=⎨<a,2>,<b,1>,<b,2>⎬解：⑴不能构成函数。

因为<a,1>∈f1且<a,2>∈f1⑵能构成函数⑶不能构成函数。

因为dom f3≠A⑷不能构成函数。

因为<b,2>∈f4且<b,3>∈f4⑸能构成函数。

2.试说明下列A上的二元关系，哪些能构成A到A的函数？⑴A=N(N为自然数集合)，f1=⎨<a,b>| a∈A∧b∈A∧a＋b＜10⎬⑵A=R(R为实数集合)，f2=⎨<a,b>| a∈A∧b∈A∧b=a2⎬⑶A=R(R为实数集合)，f3=⎨<a,b>| a∈A∧b∈A∧b2=a⎬⑷A=N(N为自然数集合)，f4=⎨<a,b>| a∈A∧b∈A∧b为小于a的素数的个数⎬⑸A=Z(Z为整数集合)，f5=⎨<a,b>| a∈A∧b∈A∧b=|2a|＋1⎬解：⑴不能构成函数。

由于1+1＜10且1+2＜10，所以<1,1>∈f1且<1,2>∈f1。

⑵能构成函数。

⑶不能构成函数。

由于12=1且(-1)2=1，所以<1,1>∈f3且<1,-1>∈f3。

⑷能构成函数。

⑸能构成函数。

3. 回答下列问题。

⑴设A=⎨a,b⎬，B=⎨1,2,3⎬。

求B A，验证|B A|= |B||A|。

国开形成性考核《离散数学(本)》形考任务(1-3)试题及答案（课程ID：50501，整套相同，如遇顺序不同，Ctrl+F查找，祝同学们取得优异成绩！）形考任务1 集合论部分概念及性质一、单项选择题题目：1、设A={a，b}，B={1，2}，C={4，5}，从A到B的函数f={<a，1>, <b，2>}，从B到C的函数g={<1，5>, <2，4>}，则下列表述正确的是（）。

【A】：f°g ={<5，a >, <4，b >}【B】：g°f ={<a，5>, <b，4>}【C】：f°g ={<a，5>, <b，4>}【D】：g°f ={<5，a >, <4，b >}答案：g°f ={<a，5>, <b，4>}题目：2、设A={1, 2, 3, 4, 5, 6, 7, 8}，R是A上的整除关系，B={2, 4, 6}，则集合B的最大元、最小元、上界、下界依次为（）。

【A】：8、1、6、1【B】：无、2、无、2【C】：8、2、8、2【D】：6、2、6、2答案：无、2、无、2题目：3、设集合A={2, 4, 6, 8}，B={1, 3, 5, 7｝，A到B的关系R={<x, y>| y = x +1｝，则R= （）。

【A】：{<2, 1>, <4, 3>, <6, 5>}【B】：{<2, 1>, <3, 2>, <4, 3>}【C】：{<2, 3>, <4, 5>, <6, 7>}【D】：{<2, 2>, <3, 3>, <4, 6>}答案：{<2, 3>, <4, 5>, <6, 7>}题目：4、设集合A ={1 , 2, 3}上的函数分别为：（）。

2017年11月上交的离散数学形考任务一本课程的教学内容分为三个单元，其中第三单元的名称是（A ）．选择一项：A. 数理逻辑B. 集合论C. 图论D. 谓词逻辑题目2答案已保存满分10.00标记题目题干本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合，其中第2章关系与函数中的第3个知识点的名称是（D ）．选择一项：A. 函数B. 关系的概念及其运算C. 关系的性质与闭包运算D. 几个重要关系题目3答案已保存满分10.00标记题目题干本课程所有教学内容的电视视频讲解集中在VOD点播版块中，VOD点播版块中共有（B）讲．选择一项：A. 18B. 20C. 19D. 17题目4答案已保存满分10.00标记题目题干本课程安排了7次形成性考核作业，第3次形成性考核作业的名称是（ C）．选择一项：A. 集合恒等式与等价关系的判定B. 图论部分书面作业C. 集合论部分书面作业D. 网上学习问答题目5答案已保存满分10.00标记题目题干课程学习平台左侧第1个版块名称是：（C）．选择一项：A. 课程导学B. 课程公告C. 课程信息D. 使用帮助题目6答案已保存满分10.00标记题目题干课程学习平台右侧第5个版块名称是：（D）．选择一项：A. 典型例题B. 视频课堂C. VOD点播D. 常见问题题目7答案已保存满分10.00标记题目题干“教学活动资料”版块是课程学习平台右侧的第（ A ）个版块．选择一项：A. 6B. 7C. 8D. 9题目8答案已保存满分10.00标记题目题干课程学习平台中“课程复习”版块下，放有本课程历年考试试卷的栏目名称是：（D ）．选择一项：A. 复习指导B. 视频C. 课件D. 自测请您按照课程导学与章节导学中安排学习进度、学习目标和学习方法设计自己的学习计划，学习计划应该包括：课程性质和目标（参考教学大纲）、学习内容、考核方式，以及自己的学习安排，字数要求在100—500字．完成后在下列文本框中提交．解答：学习计划学习离散数学任务目标：其一是通过学习离散数学，使学生了解和掌握在后续课程中要直接用到的一些数学概念和基本原理，掌握计算机中常用的科学论证方法，为后续课程的学习奠定一个良好的数学基础；其二是在离散数学的学习过程中，培养自学能力、抽象思维能力和逻辑推理能力，解决实际问题的能力，以提高专业理论水平。

一、填空题1．已知图G中有1个1度结点，2个2度结点，3个3度结点，4个4度结点，则G的边数是15 ．2．设给定图G(如右由图所示)，则图G的点割集是{f，c} ．3．设G是一个图，结点集合为V，边集合为E，则G的结点度数等于边数的两倍．4．无向图G存在欧拉回路，当且仅当G连通且所有结点的度数全为偶数．5．设G=<V，E>是具有n个结点的简单图，若在G中每一对结点度数之和大于等于n-1 ，则在G中存在一条汉密尔顿路．6．若图G=<V, E>中具有一条汉密尔顿回路，则对于结点集V的每个非空子集S，在G中删除S中的所有结点得到的连通分支数为W，则S中结点数|S|与W满足的关系式为W≤|S|．7．设完全图Kn 有n个结点(n≥2)，m条边，当n为奇数时，Kn中存在欧拉回路．8．结点数v与边数e满足e=v-1 关系的无向连通图就是树．9．设图G是有6个结点的连通图，结点的总度数为18，则可从G中删去4 条边后使之变成树．10．设正则5叉树的树叶数为17，则分支数为i = 4 ．二、判断说明题（判断下列各题，并说明理由．）1．如果图G是无向图，且其结点度数均为偶数，则图G存在一条欧拉回路．．不正确，图G是无向图，当且仅当G是连通，且所有结点度数均为偶数，这里不能确定图G是否是连通的。

2．如下图所示的图G存在一条欧拉回路．错误．因为图G为中包含度数为奇数的结点．3．如下图所示的图G不是欧拉图而是汉密尔顿图．解：错，既不是欧拉图也不是汉密尔顿图，欧拉图要求所有结点度数均为偶数，这里结点bd各有三个节点；汉密尔顿图要求每一对结点度数之和大于等于总结点数，这里不满足。

4．设G是一个有7个结点16条边的连通图，则G为平面图．错，没有提到面5．设G是一个连通平面图，且有6个结点11条边，则G有7个面．对，由欧拉定理得到：结点-边+面=2 ，即为连通平面图，这里6-11+7=2三、计算题1．设G=<V，E>，V={ v1，v2，v3，v4，v5}，E={ (v1,v3)，(v2,v3)，(v2,v4)，(v3,v4)，(v3,v5)，(v4,v5) }，试(1) 给出G的图形表示；(2) 写出其邻接矩阵；(3) 求出每个结点的度数；(4) 画出其补图的图形．解：（1）G的图形如图十二（2）邻接矩阵：图十二⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡111111111111（3）v1，v2，v3，v4，v5结点的度数依次为1，2，4，3，2（4）补图如图十三：2．图G=<V, E>，其中V={ a, b, c, d, e}，E={ (a, b), (a, c), (a, e), (b, d), (b, e), (c, e), (c, d), (d, e) }，对应边的权值依次为2、1、2、3、6、1、4及5，试（1）画出G的图形；（2）写出G的邻接矩阵；（3）求出G权最小的生成树及其权值．解：（1）G的图形表示如图十四：图十四（2）邻接矩阵：⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡1111111111111111（3）粗线表示最小的生成树，如图十五如图十五最小的生成树的权为1+1+2+3=7：3．已知带权图G如右图所示．(1) 求图G的最小生成树；(2)计算该生成树的权值．4．设有一组权为2, 3, 5, 7, 17, 31，试画出相应的最优二叉树，计算该最优二叉树的权．四、证明题1．设G 是一个n 阶无向简单图，n 是大于等于3的奇数．证明图G 与它的补图G 中的奇数度顶点个数相等．2．设连通图G 有k 个奇数度的结点，证明在图G 中至少要添加2k 条边才能使其成为欧拉图．证明：由定理3.1.2，任何图中度数为奇数的结点必是偶数，可知k 是偶数．又根据定理4.1.1的推论，图G 是欧拉图的充分必要条件是图G 不含奇数度结点．因此只要在每对奇数度结点之间各加一条边，使图G 的所有结点的度数变为偶数，成为欧拉图． 故最少要加2k 条边到图G 才能使其成为欧拉图．。

第五版离散数学答案【篇一：2014离散数学作业5答案】散数学图论部分形成性考核书面作业本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。

本次形考书面作业是第二次作业，大家要认真及时地完成图论部分的综合练习作业。

要求：将此作业用a4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求本学期第15周末前完成并上交任课教师（不收电子稿）。

并在05任务界面下方点击“保存”和“交卷”按钮，以便教师评分。

一、填空题1．已知图g中有1个1度结点，2个2度结点，3个3度结点，4个4度结点，则g的边数是 15 ．2．设给定图g(如右由图所示)，则图g的点割集是．3．设g是一个图，结点集合为v，边集合为e，则 g的结点等于边数的两倍．4．无向图g存在欧拉回路，当且仅当g连通且 5．设g=v，e是具有n个结点的简单图，若在g中每一对结点度数之和大于等于n-1 ，则在g中存在一条汉密尔顿路．6．若图g=v, e中具有一条汉密尔顿回路，则对于结点集v的每个非空子集s，在g中删除s中的所有结点得到的连通分支数为w，则s中结点数|s|与w满足的关系式为w?|s|．7．设完全图kn有n个结点(n?2)，m条边，当n为奇数时，kn中存在欧拉回路．8．结点数v与边数e满足-关系的无向连通图就是树． 9．设图g是有6个结点的连通图，结点的总度数为18，则可从g中删去10．设正则5叉树的树叶数为17，则分支数为i二、判断说明题（判断下列各题，并说明理由．）1．如果图g是无向图，且其结点度数均为偶数，则图g存在一条欧拉回路．．错。

缺了一个条件，图g应该是连通图。

如反例，图g是一个有孤立结点的图。

2．如下图所示的图g存在一条欧拉回路．错。

图中有奇数度结点，所以不存在欧拉回路。

离散数学第5次作业参考答案一、(每问5分，共10分)设S Q Q =⨯，Q 是有理数集，*为S 上的二元运算，,,,a b x y S ∀<><>∈有：,*,,a b x y ax ay b <><>=<+>(1) *运算在S 上是否可交换、可结合？是否为幂等？ (2) *运算是否有单位元、零元？如果有，请指出，并求出S 中所有可逆元素的逆元。

. 解：(1) 因为,*,,a b x y ax ay b <><>=<+>， 而,*,,x y a b xa xb y <><>=<+>，所以，不具有交换律。

对任意的,,,,,a b x y w t S <><><>∈，有(,*,)*,,a b x y w t axw axt ay b <><><>=<++>，且 ,*(,*,),a b x y w t axw axt ay b <><><>=<++>。

因此，满足结合律。

因为2,*,,,a b a b a ab b a b <><>=<+>≠<>，所以不是幂等的。

(2)因为没有交换律，所以要求单位元，需要先求出左单位元，右单位元，当左单位元和右单位元相等的时候，那么就称为单位元。

零元也是一样，没有交换律，就要先求出左零元和右零元，如果左右零元相等，就叫做零元。

求零元：假设左零元为<a , b >.那么根据左零元的定义，对任意的,x y S <>∈，有,*,,,a b x y ax ay b a b ax a ay b b<><>=<+>=<>⇒=+=且，由于对任意的,x y <>都成立，所以左零元为0,,b b Q <>∈.但是,*0,0,x y b bx y <><>=<+>，对任意的,x y <>，显然0,0,bx y b <+>≠<>，因此，0,b <>不是右零元。

(精华版)国家开放大学电大本科《离散数学》网络课形考网考作业及答案(精华版)国家开放大学电大本科《离散数学》网络课形考网考作业及答案 100%通过考试说明：2020年秋期电大把该网络课纳入到“国开平台”进行考核，该课程共有5个形考任务，针对该门课程，本人汇总了该科所有的题，形成一个完整的标准题库，并且以后会不断更新，对考生的复习、作业和考试起着非常重要的作用，会给您节省大量的时间。

做考题时，利用本文档中的查找工具，把考题中的关键字输到查找工具的查找内容框内，就可迅速查找到该题答案。

本文库还有其他网核及教学考一体化答案，敬请查看。

课程总成绩 = 形成性考核×30% + 终结性考试×70% 形考任务1 单项选择题题目1 若集合A＝{ a，{a}，{1，2}}，则下列表述正确的是（）．选择一项：题目2 若集合A＝{2，a，{ a }，4}，则下列表述正确的是( )．选择一项：题目3 设集合A={1 , 2 , 3 , 4}上的二元关系R={<1, 1>，<2, 2>，<2, 3>，<4, 4>}，S={<1, 1>，<2, 2>，<2, 3>，<3, 2>，<4, 4>}，则S是R的（）闭包．选择一项：B. 对称题目4 设集合A={1, 2, 3}，B={3, 4, 5}，C={5, 6, 7}，则A∪B–C=( )．选择一项：D. {1, 2, 3, 4} 题目5 如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有（）个．选择一项：C. 2 题目6 集合A={1, 2, 3, 4}上的关系R={<x，y>|x=y且x, y∈A}，则R的性质为（）．选择一项：D. 传递的题目7 若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( )．选择一项：题目8 设A={a，b，c}，B={1，2}，作f：A→B，则不同的函数个数为（）．选择一项：C. 8 题目9 设A={1, 2, 3, 4, 5, 6, 7, 8}，R是A上的整除关系，B={2, 4, 6}，则集合B的最大元、最小元、上界、下界依次为 ( )．选择一项：B. 无、2、无、2 题目10 设集合A ={1 , 2, 3}上的函数分别为：f = {<1, 2>，<2, 1>，<3, 3>}，g = {<1, 3>，<2, 2>，<3, 2>}，h = {<1, 3>，<2,1>，<3, 1>}，则h =（）．选择一项：D. f◦g 判断题题目11 设A={1, 2}上的二元关系为R={<x, y>|xA，yA, x+y =10}，则R的自反闭包为{<1, 1>, <2, 2>}．（）选择一项：对题目12 空集的幂集是空集．（）选择一项：错题目13 设A={a, b}，B={1, 2}，C={a, b}，从A到B的函数f={<a, 1>, <b, 2>}，从B到C的函数g={<1, b>, <2, a >}，则g° f ={<1，2 >, <2，1 >}．（）选择一项：错题目14 设集合A={1, 2, 3, 4}，B={2, 4, 6, 8}，下列关系f = {<1, 8>, <2, 6>,<3, 4>, <4, 2,>}可以构成函数f：．（）选择一项：对题目15 设集合A={1, 2, 3}，B={2, 3, 4}，C={3, 4, 5}，则A∩(C-B )= {1, 2, 3, 5}．（）选择一项：错题目16 如果R1和R2是A上的自反关系，则、R1∪R2、R1∩R2是自反的．（）选择一项：对题目17 设集合A=｛a, b, c, d｝，A上的二元关系R={<a, b>, <b, a>, <b, c>, <c, d>}，则R具有反自反性质．（）选择一项：对题目18 设集合A={1, 2, 3}，B={1, 2}，则P(A)-P(B )={{3},{1,3},{2,3},{1,2,3}}．（）选择一项：对题目19 若集合A = {1，2，3}上的二元关系R={<1, 1>，<1, 2>，<3, 3>}，则R是对称的关系．（）选择一项：错题目20 设集合A={1, 2, 3, 4 }，B={6, 8, 12}， A到B的二元关系R＝那么R－1＝{<6, 3>，<8,4>}．（）选择一项：对形考任务2 单项选择题题目1 无向完全图K4是（）．选择一项：C. 汉密尔顿图题目2 已知一棵无向树T中有8个顶点，4度、3度、2度的分支点各一个，T的树叶数为( )．选择一项：D. 5 题目3 设无向图G的邻接矩阵为则G的边数为( )．选择一项：A. 7 题目4 如图一所示，以下说法正确的是 ( ) ．选择一项：C. {(d, e)}是边割集题目5 以下结论正确的是( )．选择一项：C. 树的每条边都是割边题目6 若G是一个欧拉图，则G一定是( )．选择一项：B. 连通图题目7 设图G＝<V, E>，v∈V，则下列结论成立的是 ( ) ．选择一项：题目8 图G如图三所示，以下说法正确的是 ( )．选择一项：C. {b, c}是点割集题目9 设有向图（a）、（b）、（c）与（d）如图五所示，则下列结论成立的是( )．选择一项：A. （a）是强连通的题目10 设有向图（a）、（b）、（c）与（d）如图六所示，则下列结论成立的是( )．选择一项：D. （d）只是弱连通的判断题题目11 设图G是有6个结点的连通图，结点的总度数为18，则可从G中删去4条边后使之变成树．( ) 选择一项：对题目12 汉密尔顿图一定是欧拉图．( ) 选择一项：错题目13 设连通平面图G的结点数为5，边数为6，则面数为4．( ) 选择一项：错题目14 设G是一个有7个结点16条边的连通图，则G为平面图．( ) 选择一项：错题目15 如图八所示的图G存在一条欧拉回路．( ) 选择一项：错题目16 设图G如图七所示，则图G的点割集是{f}．( ) 选择一项：错题目17 设G是一个图，结点集合为V，边集合为E，则( ) 选择一项：对题目18 设图G是有5个结点的连通图，结点度数总和为10，则可从G中删去6条边后使之变成树．( ) 选择一项：错题目19 如图九所示的图G不是欧拉图而是汉密尔顿图．( ) 选择一项：对题目20 若图G=<V, E>，其中V={ a, b, c, d }，E={ (a, b), (a, d),(b, c), (b, d)}，则该图中的割边为(b, c)．( ) 选择一项：对形考任务3 单项选择题题目1 命题公式的主合取范式是( )．选择一项：题目2 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )．选择一项：题目3 命题公式的主析取范式是( )．选择一项：题目4 下列公式成立的为( )．选择一项：题目5 设A（x）：x是书，B（x）：x是数学书，则命题“不是所有书都是数学书”可符号化为（）．选择一项：题目6 前提条件的有效结论是( )．选择一项：B. ┐Q 题目7 命题公式(P∨Q)→R的析取范式是 ( )．选择一项：D. (┐P∧┐Q)∨R 题目8 下列等价公式成立的为( )．选择一项：题目9 下列等价公式成立的为( )．选择一项：题目10 下列公式中 ( )为永真式．选择一项：C. ┐A∧┐B ↔ ┐(A∨B) 判断题题目11 设个体域D＝{1, 2, 3}，A(x)为“x小于3”，则谓词公式(∃x)A(x) 的真值为T．( ) 选择一项：对题目12 设P：小王来学校， Q：他会参加比赛．那么命题“如果小王来学校，则他会参加比赛”符号化的结果为P→Q．( ) 选择一项：对题目13 下面的推理是否正确．( ) (1) (∀x)A(x)→B(x) 前提引入(2) A(y)→B(y) US (1) 选择一项：错题目14 含有三个命题变项P，Q，R的命题公式P∧Q的主析取范式(P∧Q∧R)∨(P∧Q∧┐R)．( ) 选择一项：对题目15 命题公式P→(Q∨P)的真值是T．( ) 选择一项：对题目16 命题公式┐P∧P的真值是T．( ) 选择一项：错题目17 谓词公式┐(∀x)P(x)(∃x)┐P(x)成立．( ) 选择一项：对题目18 命题公式┐(P→Q)的主析取范式是P∨┐Q．( ) 选择一项：错题目19 设个体域D＝{a, b}，则谓词公式(∀x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b))．( ) 选择一项：对题目20 设个体域D＝{a, b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b)．( ) 选择一项：错形考任务4 要求：学生提交作业有以下三种方式可供选择：1. 可将此次作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，完成作业后交给辅导教师批阅． 2. 在线提交word文档. 3. 自备答题纸张，将答题过程手工书写，并拍照上传形考任务 5 网上学习行为（学生无需提交作业，占形考总分的10%）附：元宇宙（新兴概念、新型虚实相融的互联网应用和社会形态）元宇宙（Metaverse）是整合了多种新技术而产生的新型虚实相融的互联网应用和社会形态，通过利用科技手段进行链接与创造的，与现实世界映射与交互的虚拟世界，具备新型社会体系的数字生活空间。

电大离散数学作业答案3-7合集Array离散数学作业3离散数学集合论部分形成性考核书面作业本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。

本次形考书面作业是第一次作业，大家要认真及时地完成集合论部分的综合练习作业。

要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求2010年11月7日前完成并上交任课教师（不收电子稿）。

并在03任务界面下方点击“保存”和“交卷”按钮，完成并上交任课教师。

一、填空题1．设集合{1,2,3},{1,2}A B==，则P(A)-P(B )= {{3}，{1,3}，{2,3}，{1,2,3}} ，A⨯ B= {<1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3.2>} ．2．设集合A有10个元素，那么A的幂集合P(A)的元素个数为1024．3．设集合A={0, 1, 2, 3}，B={2, 3, 4, 5}，R是A到B的二元关系，∈x∈R⋂<且=且y∈>{B,,xAyAyBx}则R的有序对集合为{<2, 2>，<2, 3>，<3, 2>}，<3,3> ．4．设集合A={1, 2, 3, 4 }，B={6, 8, 12}，A到B的二元关系R＝}yyx∈=<>∈x2,x,,{ByA那么R－1＝{<6,3>,<8,4>}5．设集合A=｛a, b, c, d｝，A上的二元关系R={<a, b>, <b, a>, <b, c>, <c, d>}，则R具有的性质是没有任何性质．6．设集合A=｛a, b, c, d｝，A上的二元关系R={<a, a >, <b, b>, <b, c>, <c, d>}，若在R中再增加两个元素{<c,b>,<d,c>}，则新得到的关系就具有对称性．7．如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有 2 个．8．设A={1, 2}上的二元关系为R={<x, y>|x∈A，y∈A, x+y =10}，则R的自反闭包为{<1,1>,<2,2>} ．9．设R是集合A上的等价关系，且1 , 2 , 3是A中的元素，则R中至少包含<1,1>,<2,2>,<3,3> 等元素．10．设A ={1，2}，B ={a ，b }，C ={3，4，5}，从A 到B 的函数f ={<1, a >, <2, b >}，从B 到C 的函数g ={< a ，4>, < b ，3>}，则Ran(g ︒ f )= {3,4} ．二、判断说明题（判断下列各题，并说明理由．）1．若集合A = {1，2，3}上的二元关系R={<1, 1>，<2, 2>，<1, 2>}，则 (1) R 是自反的关系； (2) R 是对称的关系．（1） 错误。

离散数学集合论部分形成性考核书面作业本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握．本次形考书面作业是第一次作业，大家要认真及时地完成集合论部分的综合练习作业．要求：学生提交作业有以下三种方式可供选择：1. 可将此次作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，完成作业后交给辅导教师批阅．2. 在线提交word文档3. 自备答题纸张，将答题过程手工书写，并拍照上传．一、填空题1．设集合{1,2,3},{1,2}A B==，则P(A)-P(B )={{1,2},{2,3},{1,3},{1,2,3}} ，A⨯B={{1,2},{2,3},{1,3},{1,2,3}} ．2．设集合A有10个元素，那么A的幂集合P(A)的元素个数为1024 ．3．设集合A={0, 1, 2, 3}，B={2, 3, 4, 5}，R是A到B的二元关系，∈xyR⋂<且=且>∈∈{B,,xAyAyBx}则R的有序对集合为{{1,2},{2,3},{1,3},{1,2,3}} ．4．设集合A={1, 2, 3, 4 }，B={6, 8, 12}，A到B的二元关系R＝}yyx∈=<>∈A2,x,,xy{B那么R－1＝{{1,2},{2,3},{1,3},{1,2,3}} ．5．设集合A=｛a, b, c, d｝，A上的二元关系R={<a, b>, <b, a>, <b, c>, <c, d>}，则R具有的性质是反自反性．6．设集合A=｛a, b, c, d｝，A上的二元关系R={<a, a >, <b, b>, <b, c>, <c, d>}，若在R中再增加两个元素<c,b>,<d,c>，则新得到的关系就具有对称性．7．如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2，R1-R2中自反关系有 2 个．8．设A={1, 2}上的二元关系为R={<x, y>|x∈A，y∈A, x+y =10}，则R的自反闭包为{<1,1>,<2,2>} ．9．设R 是集合A 上的等价关系，且1 , 2 , 3是A 中的元素，则R 中至少包含 <1,1>,<2,2>,<3,3> 等元素．10．设A ={1，2}，B ={a ，b }，C ={3，4，5}，从A 到B 的函数f ={<1, a >, <2, b >}，从B 到C 的函数g ={< a ，4>, < b ，3>}，则Ran(g ︒ f )= {4，3} ．二、判断说明题（判断下列各题，并说明理由．）1．若集合A = {1，2，3}上的二元关系R ={<1, 1>，<2, 2>，<1, 2>}，则 (1) R 是自反的关系； (2) R 是对称的关系．解：(1) 结论不成立．因为关系R 要成为自反的，其中缺少元素<3, 3>． (2) 结论不成立．因为关系R 中缺少元素<2, 1>2．设A ={1，2，3}，R ={<1，1>, <2，2>, <1，2> ，<2，1>}，则R 是等价关系．解：不是等价关系因为3是A 的一个元素，由于<3,3>不在R 中，R 不具有自反性，等价关系R 必须有（对A 中任意元素a, R 含<a,a>），所以R 不是A 上的等价关系！3．若偏序集<A ，R >的哈斯图如图一所示，则集合A 的最大元为a ，最小元不存在．解：错误，按照定义，图中不存在最大元和最小元οο ο ο a b c d 图一ο ο ο ge f hο4．设集合A ={1, 2, 3, 4}，B ={2, 4, 6, 8}，，判断下列关系f 是否构成函数f ：B A →，并说明理由．(1) f ={<1, 4>, <2, 2,>, <4, 6>, <1, 8>}； (2) f ={<1, 6>, <3, 4>, <2, 2>}； (3) f ={<1, 8>, <2, 6>, <3, 4>, <4, 2,>}．解：(1) 不构成函数，因为它的定义域Dom(f)≠A(2) 也不构成函数，因为它的定义域Dom(f)≠A(3) 构成函数，首先它的定义域Dom(f) ={1, 2, 3, 4}= A ，其次对于A 中的每一个元素a ，在B 中都有一个唯一的元素b ，使<a,b>∈f三、计算题1．设}4,2{},5,2,1{},4,1{},5,4,3,2,1{====C B A E ，求：(1) (A ⋂B )⋃~C ； (2) (A ⋃B )- (B ⋂A ) (3) P (A )－P (C )； (4) A ⊕B ． 解：（1）(A ⋂B )⋃~C={1}⋃{1,3,5}={1,3,5}（2）(A ⋃B )- (B ⋂A ) = {1,2,4,5}-{1}={2,4,5} （3）P (A ) = {，{1}，{4}，{1,4}}P (C ) = {，{2}，{4}，{2,4}}P (A )－P (C )={{1}，{1,4}}（4） A ⊕B = (A ⋃B )- (B ⋂A )={2,4,5}2．设A ={{1},{2},1,2}，B ={1,2,{1,2}}，试计算（1）（A -B ）； （2）（A ∩B ）； （3）A ×B ． 解：（1）（A -B ）={{1},{2}}φφ（2）（A ∩B ）={1,2} （3）A ×B ={<{1},1>,<{1},2>,<{1},{1,2}>,<{2},1>,<{2},2>,<{2},{1,2}>,<1,1>,<1,2>,<1,{1,2}>,<2,1>,<2,2>,<2,{1,2}>}3．设A ={1，2，3，4，5}，R ={<x ，y >|x ∈A ，y ∈A 且x +y ≤4}，S ={<x ，y >|x ∈A ，y ∈A 且x +y <0}，试求R ，S ，R ∙S ，S ∙R ，R -1，S -1，r (S )，s (R )．解：R={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1>}S=R ∙S= S ∙R=R -1={<1,1>,<2,1>,<3,1>,<1,2>,<2,2>,<1,3>} S -1 =r (S )={<1,1>,<2,2>,<3,3>,<4,4>,<5,5>}s (R )={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1>}4．设A ={1, 2, 3, 4, 5, 6, 7, 8}，R 是A 上的整除关系，B ={2, 4, 6}． (1) 写出关系R 的表示式； (2 )画出关系R 的哈斯图； (3) 求出集合B 的最大元、最小元．解：(1) R={<1,1>,<1,2>,<1,3>,<1,4>,<1,5>,<1,6>,<1,7>,<1,8>,<2,2>,<2,4>,<2,6>,<2,8>,<3,3>,<3,6>,<4,4>,<4,8>,<5,5>,<6,6>,<7,7>,<8,8>}(2) (3) 集合B 没有最大元，最小元是2.φφφφ四、证明题1．试证明集合等式：A ⋃ (B ⋂C )=(A ⋃B ) ⋂ (A ⋃C )．解：设，若x ∈A ⋃ (B ⋂C )，则x ∈A 或x ∈B ⋂C 即x ∈A 或x ∈B 且x ∈A 或x ∈C 即x ∈A ⋃B 且x ∈A ⋃C 即x ∈T=(A ⋃B ) ⋂ (A ⋃C )所以A ⋃ (B ⋂C )(A ⋃B ) ⋂ (A ⋃C )反之 若x ∈(A ⋃B ) ⋂ (A ⋃C )，则x ∈A ⋃B 且x ∈A ⋃C即x ∈A 或x ∈B 且x ∈A 或x ∈C 即x ∈A 或x ∈B ⋂C 即x ∈A ⋃ (B ⋂C )所以(A ⋃B ) ⋂ (A ⋃C )A ⋃ (B ⋂C ) 因此A ⋃ (B ⋂C )=(A ⋃B ) ⋂ (A ⋃C )2．试证明集合等式A ⋂ (B ⋃C )=(A ⋂B ) ⋃ (A ⋂C )．解：设S=A ⋂ (B ⋃C ),T = (A ⋂B ) ⋃ (A ⋂C ) 若x ∈S ，则x ∈A 且x ∈B ⋃C 即x ∈A 且x ∈B 或x ∈A 且x ∈C ，也即x ∈A ⋂B 或x ∈A ⋂C 即x ∈T 所以S T 反之，若x ∈T ，则x ∈A ⋂B 或x ∈A ⋂C 即x ∈A 且x ∈B 或x ∈A 且x ∈C也即x ∈A 且x ∈B ⋃C 即x ∈S 所以T S 因此T=S.3．对任意三个集合A , B 和C ，试证明：若A B = A C ，且A ，则B = C ．解：设x ∈A ，y ∈B,则<x,y>∈AxB,因为AxB = AxC ，故<x,y>∈AxC,则y ∈C ， 所以B C ，⊆⊆⊆⊆⊆设x ∈A ，z ∈C ，则<x,z>∈ZxB,因为AxB = AxC ，故<x,z>∈AxB,则z ∈B 所以C B 故得 A=B4．试证明：若R 与S 是集合A 上的自反关系，则R ∩S 也是集合A 上的自反关系．解：R 1和R 2 是自反的，x ∈A ，<x ，x>∈R 2, 则<x ，x>∈R 1∩R 2 ， 所以是R 1∩R 2自反的。