广东海洋大学离散数学0-809年考试试卷A.docxVIP

PAGE 1第 PAGE 2 页 共 NUMPAGES 4 页GDOU-B-11-302GDOU-B-11-302广东海洋大学2008——2009学年第二学期《离散数学》课程试题课程号：1920015-0 eq \o\ac(□,√)考试 eq \o\ac(□,√)A卷 eq \o\ac(□,√)闭卷□考查□B卷□开卷题 号一二三四五总分阅卷教师各题分数2010153520100实得分数注：第一、第二和第三大题的答案直接写在试卷上指定空格内。只有计算题和证明题的答案写在答题纸上。一、填空题（每空1分，共20分）1、数理逻辑中公式的三种类型是 、 和 。2、设：我说谎；：太阳从西边出来；则表示 ； 。3、，则= ；而 。4、若则 ， 。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、在一阶逻辑公式中，换名规则是对量