软件技术学院试卷-离散数学a卷

《软件技术学院试卷-离散数学a卷》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、郑州大学软件技术学院《离散数学》课程2009-2010学年第二学期期末试题（A卷）（适用专业：09本各专业考试时间：120分钟）题号一二三四五六七总分分数合分人：复查人：一、填空：（每空2分，共20分）（说明：将答案写在试卷后面的答题纸上）分数评卷人1.设，，则,,.2.集合上的偏序关系具有性质：,,.3.个结点的无向完全图的边数为,每个节点的次数都是.4.给出无向树的两种不同定义：,.二、计算：（10分）（说明：将答案写在试卷后面的答题纸上）分数评卷人设上的二元关系，1.画出的关系图；2.求的自反闭包，对称闭包和传递闭包.第1页共1页三、计算：（15分）（说明：将

2、答案写在试卷后面的答题纸上）分数评卷人设上的二元关系，1.写出的序偶的集合；2.画出的关系图；3.求出的关系矩阵；4.判断具有哪些性质，并说明理由；5.是否是等价关系？四、计算：（10分）(说明：将答案写在试卷后面的答题纸上)分数评卷人对命题公式，1.做出公式的真值表，并据此判断公式的类型；2.将公式化为只含有联结词的等价公式.五、解答：（15分）(说明：将答案写在试卷后面的答题纸上)分数评卷人1.设为命题变元，证明逻辑恒等式：2.用谓词和量词符号下列命题：“并非一切鸟都会飞”.六、计算：（10分）(说明：将答案写在试卷后面的答题纸上)分数评卷人一棵无向树中有1个次

3、数为4的结点，2个次数为3的结点，2个次数为2的结点，其余节点皆为树叶，求有几片树叶？第1页共1页七、计算：（20分）（说明：将答案写在试卷后面的答题纸上）分数评卷人对于有向图：1.求各结点的引入次数及引出次数；2.求的邻接矩阵；3.求，并据此说明从到的长度为2，3的通路有几条；4.判断是哪种连通图（强连通、单向连通、弱连通）？第1页共1页