桂林电子科技大学继续教育学院试卷。
2015 -2016 学年第二学期。
课程名称： 离散数学 （b卷；、闭卷） 适用年级、专业。
考试时间 120 分钟班级学号姓名。
一、简要回答下列问题（每小题4分，共40分）1．请给出p，pq，pq的真值表。
2． 请给出公式蕴涵的定义。举一个例子。
3．请给出命题xg(x)的真值规定。
4．什么是谓词逻辑公式的解释？
5叙述谓词逻辑公式g与它的skolem范式之间的区别与联系。
6．什么是图的关联矩阵？
7．什么是简单路？举一例。
8．什么是有向树？举一例。
9．设g为整数**，h为5的所有倍数组成的加法群，给出h的所有陪集。
10. 设z7=，为其上的模7加运算，请给出每个元素的周期。
二、判断下列公式是恒真？恒假？可满足？（每小题10分，共60分）a) (p(qr))(p(qr))；
b) p(p(qp))；
c) (qp)(pq)；
d) (pq)(pq)。
三、r，s是集合a上的两个关系。试证明下列等式：
1）(rs)-1= s-1r-1
2）(r-1)-1= r
四、给p和q指派真值1，给r和s指派真值0，求出下面命题的真值：
a) (p(qr))(pq)(rs))
b) (pq)r)((pq)r)s)
c) (pq)r)((qp)(rs))
d) (p(q(rp)))qs)
五、证明：连通图中任意两条最长的简单路必有公共点。
六、提示：考虑g1…gn的主合取范式。
离散数学试卷A
2011 2012 课程名称 离散数学考试时间120分钟 一 填空题 每空2分，共16分 1 已知个体域是 p 1,1 1 p 1,2 1,p 2,1 0,p 2,2 0,则公式xy p x，y 的真值为。2 公式 x p x y q x,y 的前束范式为。3 设二元关系f g a 则fdom f。...
离散数学试卷
一 判断题。1.设g为无向图，若g中恰好n个结点，n 1条边，则g必为一棵树。2.若a b，则p a p b 3.设g为无向图，若g无回路，则g必为一棵树。4.设a，b是集合，若a b，则p a p b 5.无向图g是欧拉图当且仅当g连通且具有零个或两个奇数度结点。6.设a,b是任意集合，则 a b...
离散数学试卷 A
2014 2015学年第二学期。每题10分，共100分，答案一律写在答题纸上 1.化为主析取范式与主合取范式。2.证明 3.甲 乙 丙 丁4个人有且仅有2个人参加围棋优胜比赛。关于谁参加竞赛，下列4种判断都是正确的 1 甲和乙只有一人参加 2 丙参加，丁必参加 3 乙或丁至多参加一人 4 丁不参加，...