广东海洋大学离散数学历年考题_答案.doc

广东海洋大学2008——2009学年第二学期 《离散数学》课程试题 课程号： 1920015-0 考试 A卷 闭卷 □ 考查 □ B卷 □ 开卷 题 号 一 二 三 四 五 总分 阅卷教师 各题分数 20 10 15 35 20 100 实得分数 注：第一、第二和第三大题的答案直接写在试卷上指定空格内。只有计算题和证明题的答案写在答题纸上。 一、填空题（每空1分，共20分） 1、数理逻辑中公式的三种类型是 、 和 。 2、设：我说谎；：太阳从西边出来；则表示 ； 。 3、，则= ；而 。则 ， 。 5、，则 ， 。 6、若非空集合上的关系是 、 和 的，则称为偏序关系。 7、中 ， 。 8、，则的生成树中有 条边， 个顶点。 9、除顶点外， 的图称为平面图，平面图中的欧拉公式为 。 二、单项选择题（每题1分，共10分） 1、下列语句中，真命题是 ； A、是有理数； B、全体起立！； C、2是素数三角形有三条边； D、4是2的倍数或是3的倍数吗？ 2、：张三可做此事；：李四可做此事；“张三可做此事或李四不可做此事”符号化为 ； A、； B、； C、； D、 3、，则 ； A、； B、； C、； D、； 4、上的关系，则的性质为 ； A、自反； B、对称； C、传递、对称； D、反自反，传递； 5、对任意非空集合，的幺元（单位元）是 ； A、； B、； C、； D、； 6、下列矩阵，能够作为无向图关联矩阵的是 ； A、 B、 C、 D、 7、群必须满足 ； A、存在幺元； B、每个元素均有逆元； C、结合律和交换律； D、以上全是； 8、图有6个顶点，各顶点度数分别为1，4，4，3，5，5则边数为 ； A、11； B、12； C、22； D、23； 9、个顶点的图是强连通图当且仅当 ； A、中至少有一条通路； B、中有通过每个顶点至少一次的通路； C、中至少有一条回路； D、中有通过每个顶点至少一次的回路； 10、无向图是欧拉图，当且仅当中（ ）； A、每个顶点的度数相同； B、每个顶点的入度等于出度； C、每个顶点的度数均为奇数； D、每个顶点的度数均为偶数。 三、判断题（每题1分，共15分） 1、语句“豆沙包是由面粉和红小豆做成的”是命题逻辑中的复合命题（ ） 2、任何命题公式都存在唯一与之等值的主析取范式，相应的主合取范式则不唯一（ ） 3、所谓的“自然推理系统”是指，从任意给定的前提出发，应用系统中的推理规则进行推理演算，最后得到的命题公式是推理的结论，这个结论肯定是有效的结论。（ ） 4、在一阶逻辑（谓词逻辑）中，同一个公式在不同的解释下，其真假值可能不同（ ） 5、在一阶逻辑公式中，换名规则是对量词辖域