离散数学B.docVIP

湖南人文科技学院2010—2011学年第2学期 计算机系计科、网工专业09、10级离散数学课程期末考试试卷 考核方式:（闭卷） 考试时量：120分钟 题 号 一 二 三 四 五 六 总分 合分人 复查人 得 分 得 分 评卷 人 一、判断题（本大题共5道小题，每小题2分，共10分）。你认为正确的在下面方格内打“√”，错误的在下面方格内打“×”。 题号 1 2 3 4 5 答案 1、 设为任意集合,则。 2、 若,则 。 3、 完全图K4是欧拉图。 4、，， 则是的函数。 5、 设上的二元关系,则的对称闭包 得 分 评卷 人 二、单项选择题（本大题共8道小题，每小题3分，共24分）。在每小题列出的四个备选项中只有一个是符合要求的，请将其代码填写在下面的方格内。 题号 1 2 3 4 5 6 7 8 答案 1、集合1. 设，, 则从到共有不同的函数个数是 ( A) ( B) (C ) ( D) 2、设，则下列为真的是 (A ) ( B) ( C ) ( D) 3、下列联结词集合中，最小联结词组是 （A）｛,｝ （B）｛,∧｝ （C）｛∧｝ （D）｛∧，→｝ 4、给定A=｛1，2，3｝上的关系R=｛〈3，3〉，〈2，2〉，〈2，3〉， 〈3，2〉｝，则R是（ ） (A)自反 (B)对称 (C)反自反 (D)不传递 5、设A(x)：x是人，B(x)：x犯错误，命题“没有不犯错误的人”可符号化为 (A) （B） （C） （D） 6、，则domR= (A)、 (B)、 ( C)、 (D)、 7、重言式的否定为（ ）。 （A）重言式 （B）矛盾式 （C）可满足式 （D）蕴含式 8、设R为实数集，函数f：R→R，f(x)=3x，则f是（ ）。 (A)单射而非满射 (B)满射而非单射 (C)双射 (D)既非单射也非满射 得 分 评卷 人 三、填空题（本大题共8道小题，每小题3分，共24分）。 1、设集合，则的幂集 。 2、设是人，爱 唱歌，命题“有的人不爱唱歌”的符号化形式 为 。 3、设集合， 上的二元关系 , 4、公式p∨（q∧r）→S.在赋值0011下的真值是 _。 5、在图中，所有顶点度数的和等于边的 倍。 6、若{{1}，{2，3，4}}是集合A={1,2,3,4}的一个划分，其等价关系 R= 。 7、设；则 。 8、树是连通的且不含 路。 得 分 评卷 人 四、简答题（本大题共4道小题，每小题8分，共32分）。 求公式（p→q）→r 的主析取范式，并指出它们的成真赋值。 2、设R是X={1,2,3,4，5}上的二元关系，R={〈1,2〉,〈2,1〉,〈1,5〉,〈5,1〉,〈2,5〉,〈5,2〉,〈3,4〉,〈4,3〉}∪I A。请给出关系矩阵；若R是等价关系， 则求出等价类。 3、偏序集〈A，≤〉的哈斯图如图所示。 （1）用列举元素法求R； （2）求A关于R的最大元和最小元； （3）求子集{c，d，e}的上界和上确界 4、T是一棵树,有两个顶点度数为2，一个顶点度数为3，三个顶点度数为4，T有几片树叶？ 得 分 评卷 人 五、证明题（本大题共10分）。 前提： p→（q→r）， s∨p， q 结论： s→r 共页第1页 共页 第2页