2005年7月全国自考离散数学试题试卷真题.doc.docVIP

全国2005年7月高等教育自学考试 离散数学试题 课程代码：02324 一、单项选择题（本大题共15小题，每小题1分，共15分） 在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分。 1.数理逻辑是采用（　　　）研究抽象思维规律的一门科学。 A.数学方法 B.逻辑方法 C.实践方法 D.抽象方法 2.下列式子正确的是（　　　） 3.下列含有命题p，q，r 4.设R（x）：x是实数；S（x,y）：x小于y。用谓词表达下述命题：不存在最小的实数。其中错误的表达式是：（　　　） 5.在论域D={a,b}中与公式（）A（x）等价的不含存在量词的公式是（　　　） A. B. C. D. 6.对公式的说法正确的是（　　　） A.x是约束出现，y是约束出现，z是自由出现 B.x是约束出现，y既是约束出现又是自由出现，z是自由出现 C.x是约束出现，y既是约束出现又是自由出现，z是约束出现 D.x是约束出现，y是约束出现，z是约束出现 7.偏序关系具有性质（　　　） A.自反、对称、传递 B.自反、反对称 C.反自反、对称、传递 D.自反、反对称、传递 8.下列命题正确的是（　　　） 9.以下系统是代数系统的是（　　） A.Z+,-，B.A,，a,b}，*运算定义为 * a b a b a a a b C. Z,÷，其中Z为整数集，÷是数的除法运算 D. R,÷，其中R为实数集，÷是数的除法运算 A. B. C. D. 11. 若是环，且R中乘法适合消去律，则R是（　　　） A.无零因子环 B.除环 C.整环 D.域 12.在简单无向图G=中，如果V中的每个结点都与其余的所有结点邻接，则该图称为（　　　） A.正则图 B.完全图 C.连通图 D.强连通图 13.设G是n个结点m条边的连通平面图，则当n≥3时必有（　　　）成立。 A.m≤ B.n=2m C.m≤3n-6 D.n-1=m 14.在下列关于图论的命题中，为真的命题是（　　　） A.一个强连通的有向图一定是欧拉图 B.一个连通的无向图，且所有结点度数都是偶数，则它一定有欧拉回路 C.一定能构造一个欧拉图，使得结点数和边数的奇偶性相反 D.无向欧拉图中一定存在有一条边是割边 15.给定n个结点的一个图，它还是一个树的下列说法中，（　　　）是不对的。 A.无回路的连通图 B.无回路但若增加一条新边就会变成回路 C.连通且e=v-1，其中e是边数，v是结点数 D.所有结点的度数≥2 二、填空题（本大题共10小题，每小题2分，共20分） 请在每小题的空格中填上正确答案。错填、不填均无分。 16.含有n个命题变元（n0）的命题公式的真值是___________，它共有___________组真值指派，只有对各命题变元指定一个真值后，该命题公式才能成为命题。 17.在个体域D中，公式的真值为假当且仅当___________，公式的真值为假，当且仅当___________。 18.给定个体域为整数域，若F（x）：表示x是偶数，G（x）：表示x是奇数；那么，是一个 语句；而是一个 语句。 19.设X是所有三角形的集合，Y是所有圆的集合，映射的内切圆，则它的定义域是 ，值域是 。 20.设A={0，1，2，3}，A上的关系R=，若Rm=m= ，最小n= 。 21.设 ；s(R)= 。 22.若群G中存在一个元素a，使得G中的任意元素都由a的幂组成，则称G是 ，a称为G的 。 23.设a,bG，a-1）-1= ，（ab）-1= ，如果 ，则称G2是G1的子图，如果 ，则称G2是G1的生成子图。 25.一个结点为n的无向完全图，其边的数目为 ；并且它是 度正则图。 三、计算题（本大题共6小题，第26、27小题每小题5分，第28、29、30小题每小题8分，第31小题9分，共43分） 26.已知命题A含有命题变元R，Q，R，且按P、Q，R的顺序A的主合取范式为M001∧M100∧M010，试求A的主析取范式，并按P、Q，R的顺序写出完整的范式表达式。 27.设集合A有n个元素和集合B有m个元素，且。（表示对称差） 28