离散数学期末试题（A）.docVIP

离散数学期末试题（A） （满分100分） 一、单项选择题（共40分，每题4分） 1、设集合A=｛3｛4｝5 6｝选择下列所给答案正确的是（ ） A、｛5｝∈ A B、｛｛4｝，5，6｝≤A C、｛3 4 5 6｝≤ A D、Φ≤｛3｛4｝｝ 2、由集合运算定义，下列各式正确的是（ ） A、X ≥ X U Y B、X ≤ X n Y C、X ≤ X U Y D、Y ≤ X n Y 3、设R、R1、R2是集合A、B上的二元关系，则下列表达式正确的是（ ） A、若R1 ≤ R2 则R ≤ R B、（R1V R2）-1 = Rn R C、（～R）-1 = R-1 D、（R1- R2）-1 = R+ R 4、设集合｛1 2 3 4 ｝，A上的关系R=｛（1 1）（2 3）（2 4）（3 4）｝则R具有（ ） A、自反性 B、传递性 C、对称性 D、以上答案都不对 5、设命题公式G = （P Q） H = P （Q P）则G与H的关系是（ ） A、G =﹥H B、H =﹥G C、G = H D、以上都不是 6、设G、H是一阶逻辑式 P是一个谓词 G = xp（x）H = xp（x）则一阶逻辑公式G H是（ ） A、恒真的 B、恒假的 C、可满足的 D、前束范式 7、下面代数系统中（G、＊）中（ ）不是群 A、G为整数集合 ＊为加法 B、G为偶数集合 ＊为加法 C、G为有理数集合 ＊为加法 D、G为有理数集合 ＊为乘法 8、设б1、б2、б3是三个置换，其中 б1 =（1 2）（2 3）（1 3） б2 =（2 4）（1 4） б3 = （1 3 2 4） 则б3 =（ ） A、б12 B、б1б2 C、б22 D、б2б1 9、下列半序集中哪个不是格（ ） A B C D 10、G是连通平面图，有5个顶点、6个面，则G的边数为（ ） A、6 B、5 C、11 D、9 二、填空题（共20分，每空4分） 1、无孤立点的有限有向图有欧拉路的充要条件是 。 2、设CB，·，+，－，0，1﹥是布尔代数，a，b，c是集合B中任意元素，则（a，b）+（a，b，c）+ （a , b , c）+ （a , b , c）= 。 3、命题公式G =（ P Q）∧R则G的主、析取范式是 。 4、设集合｛a , b , c , d｝A上的二元关系R = ｛（a a），（a c），（b a），（c c），（c d），（d c）｝则R-1的关系矩阵M R-1 = 。 5、设D：｛a b｝将表达式 x yF1（x、y）中量词消除后，与其等价的命题公式是 。 三、解答题（共32分） 1、设命题逻辑公式G = C R∧（P Q）∨S写出G的析取范式和合取范式（8分） 2、已知б和T是两个置换 б=[ ] T=[ ] 计算（бT）9 （8分） 3、设一阶逻辑公式 G = C xp(x)∨ yR(y) xF1(x)把G化成前束范式。 4、设R为实数集б(x)= x2－2 （x）=x + 4 Φ(x)= x2－5都是R R的映射。 求T1、б、б·T并分别判定是否为R R的满射、单射、双射？ 问Φ-1是否存在？如果存在，试求出来。（8分） 四、证明题（8分） 证明蕴涵式P （Q R） （P Q） （P R） 2 3 4 3 2 1 4 2 3 4 3 2 1 4