软件技术学院试卷-离散数学A卷.docVIP

郑州大学软件技术学院《离散数学》课程 2009-2010学年第二学期期末试题（A卷） （适用专业： 09本各专业 考试时间： 120 分钟） 题号 一 二 三 四 五 六 七 总分 分数 合分人： 复查人： 一、填空：（每空2 分，共 20 分） （说明：将答案写在试卷后面的答题纸上） 分数 评卷人 设，，则 {（0，a）,(0,{a}),(1,a),(1,{a}) } {0,1} , {空集，{a},{{a}},B} . 集合上的偏序关系具有性质： 自反性 , 反对称性 , 传递性 . 个结点的无向完全图的边数为 n(n-1)/2 ,每个节点的次数都是 n-1 . 给出无向树的两种不同定义： 树是没有回路的连通图 , 图G的每对结点之间只有一条通路 . 二、 计算 ：（10分） （说明：将答案写在试卷后面的答题纸上） 分数 评卷人 设上的二元关系， 画出的关系图； 求的自反闭包，对称闭包和传递闭包. 三、 计算 ：（15分） （说明：将答案写在试卷后面的答题纸上） 分数 评卷人 设上的二元关系， 写出的序偶的集合； R={(-2,-2), (-1,-1), (0,0), (1,1), (2,2), (-2,2), (-1,1), (2,-2), (1,-1)} 画出的关系图； 。-2 。-1 。0 。1 。2 求出的关系矩阵； 4. 判断具有哪些性质，并说明理由； 自反性，对称性，传递性 是否是等价关系？是 四、 计算 ：（10分） (说明：将答案写在试卷后面的答题纸上) 分数 评卷人 对命题公式， 做出公式的真值表，并据此判断公式的类型； P Q T T T F T T F F T T F T T F T F F T F T 2 将公式化为只含有联结词的等价公式. 五、 解答 ：（15分） (说明：将答案写在试卷后面的答题纸上) 分数 评卷人 设为命题变元，证明逻辑恒等式： 六、 计算 ：（10分） (说明：将答案写在试卷后面的答题纸上) 分数 评卷人 一棵无向树中有1个次数为4的结点，2个次数为3的结点，2个次数为2的结点，其余节点皆为树叶，求有几片树叶？ 设树叶数为x，则树的所有结点的次数之和(即边数的2倍)为 4*1+2*3+2*2+x=14+x，结点数为1+2+2+x=5+x,则 (14+x)/2=5+x-1=4+x, x=6 (m=n-1,边数等于结点数减1) 七、计算 ：（20分） （说明：将答案写在试卷后面的答题纸上） 分数 评卷人 对于有向图： 求各结点的引入次数及引出次数； 求的邻接矩阵； 求，并据此说明从到的长度为2，3的通路有几条； 判断是哪种连通图（强连通、单向连通、弱连通）？ 郑州大学软件技术学院《离散数学》课程试卷 答 题 纸 题号 一 二 三 四 五 六 七 总分 分数 （适用专业： 09本各专业 考试时间： 120 分钟） 合分人： 复查人： 一、填空：（每空2 分，共 20 分） 分数 评卷人 设，，则 , , . 集合上的偏序关系具有性质： , ,