离散数学10本A.docVIP

一、填空题（ 22 分） 得 分 阅卷人 1、已知集合上的二元关系，，则 ； ； 。 2、设是奇数。将命题“2+2=4当且仅当3是奇数”符号化为： ，其真值为： 。 3、表达式中谓词的定义域为，将其中的量词消除，写成与之等价的命题是 。 4、整数集Z和通常加法运算构成群，其中　　　是单位元，２的周期是　　　　　．　　 5、设是2叉完全树，有15个点，其中有8片叶子，则有 条边，的总度数是 。 6、设一颗无向树T有5片树叶，3个2度分支点，其余的分支点都是3度顶点，则T有 个顶点。 得 分 评卷人 二、单选题（共12分） 1、对于公式G,H,判断它们是否等价的常用方法是（ ）。 A.真值表法 B.主范式法 C.等值演算法 D.以上都对。 2、设集合上的关系则R不具备（ ）。 A. 自反性 B. 对称性 C. 传递性 D. 反对称性 3、已知命题，则所有使命题取真值1的解释是（ ）。 A. (0,0,0),(0,0,1),(1,0,0) B. (1,0,0),(1,0,1,(1,1,0) C. (0,1,0),(1,01),(0,0,1) D. (0,0,1),(1,0,1),(1,1,1) 4、若供选择的答案中的数字表示一个简单图中各顶点的度，能画出这样图的是（ ）。 5、设G是有6个顶点的连通图，总度数为20，则从G中删去（ ）边后使之变成树。 A. 10 B. 5 C. 3 D. 2 　　6．在实数集合上，下列定义的运算可结合的只有（　　）． 　　　A　 B. C. D. 得 分 评卷人 三、计算题（共30分）： 1、（8分）通过求主析取范式判断下列命题公式是否等值： （1） ； （2）。 。 2、（6分）设解释I为： 定义域 ；（2） 在解释I下求公式的真值。 3、（8分）用克鲁斯卡尔（Kruskal）算法求出下面有限权图中的最小生成树，要求画出其最小生成树，并求出权和。 2 4 7 3 5 5 6 9 8 2 7 3