密。封。
线。内。不。要。
答。题。
试卷代号：a
济宁职业技术学院2004—2005学年度第二学期期末考试。
离散数学》试卷。
级专业。2005年6月。
一、填空：(每空2分，共40分)
1.命题“只有不下雨，我才骑自行车上班”符合化为。
2.的对偶式是。
3.公式的类型是。
4.若公式在所有赋值下均为真，则称为。
5.设命题公式含有个命题变项，如果它的主析取范式为，则。
主合取范式为成假赋值为。
6.设，，则。
7.设，，则。
8.设上的二元关系，则。
定义域值域。
9.等价关系具有的性质是。
10.设是集合上的模同余关系，则在上的商集。
11.个顶点条边的所有非同构的无向简单图共有个。
12.设有向图的邻接矩阵为，且，则中顶点到顶点。
的长度为的通路有条，中长度为的通路总数有条。
13.设有向简单图的度数列为，入度列为，则的出度列。
为。14.存在的图，称为欧拉图。
15.阶无向连通图中有条边，它的基本回路有___个，基本割集有___个。
二、判断题：(每小题2分，共20分)
1.“李明与王华是同学“是简单命题。
2.谓词公式中的个体变项既可以自由出现，也可以约束出现。
4.任何公式的前束范式都存在，并且是唯一的。
5.数集上的整除关系是等价关系，一群人上的朋友关系是偏序关系。
6.设、是正整数集合，则是单射的。
7.无向图的悬挂边是桥。
8.阶有向简单图的度数列为，它的入度列可以为。
9.余树是树。
10.是哈密顿图。
三、计算题：(每小题8分，共32分)
1. 求命题公式的主析取范式。密。封。
线。内。不。要。
答。题。
2.设，是上的整除关系，1）画出的哈斯图；
2）指出的极小元、最小元、极大元、最大元。.
3.求出图中顶点与的最短路径，并指出最短路径的权。
4.求如图所示的带权图的最小生成树，并计算它的权。
四、构造下面推理的证明(8分)
前提：，，结论：.密。封。
线。内。不。要。
答。题。
试卷代号：b
济宁职业技术学院2004—2005学年度第二学期期末考试。
离散数学》试卷。
级专业。2005年6月。
一、填空：(每空2分，共40分)
1.命题“当且仅当是奇数”的真值是。
2.在谓词逻辑中，“没有不吃饭的人”符号化为。
4.若公式在所有赋值下均为假，则称为。
5.设命题公式含有个命题变项，它的成真赋值为，则的主析取范式为主合取范式为。
6.从到的整数中，能被3和7整除的数有个，能被3或7整除的。
数有个。7.设上的二元关系，则。
的关系矩阵为关系图为。
8.恒等关系具有的性质是。
9.设，且，，则。
10.个顶点条边的所有非同构的有向简单图共有个。
11.设有向图的邻接矩阵为，且，则中顶点到顶点。
的长度为的通路有条，中长度为的回路总数有条。
12.设有向简单图的度数列为，入度列为，则的出度列。
为。13.存在的图，称为哈密顿图。
14.非平凡树至少有片树叶。
15.阶无向连通图中有条边，它的基本回路有___个，基本割集有___个。
二、判断题：(每小题2分，共20分)
1.任何公式的主析取范式都是唯一的。
2.前束范式中的指导变项可以是相同的，也可以是不同的。
4.闭式都是命题。
5.有的二元关系既是对称的，又是反对称的。
6.设、是正整数集合，则是满射的。
7.初级通路是简单通路。
8.阶有向简单图的度数列为，它的出度列可以为。
9.无向连通图的生成树是唯一的。
10.是欧拉图。
三、计算题：(每小题8分，共32分)
1. 求命题公式的主合取范式。密。封。
线。内。不。要。
答。题。
2.设，，求、、.
3.求平面图的对偶图。
4.在图所示的连通图中，实边所示的生成子图是生成树，设它为。求它的基本。
回路系统与基本割集系统。
四、构造下面推理的证明（8分）
前提：，，结论：.
离散数学试题
网络学院离散数学模拟试题1 考试时间 90 分钟考试方式 开卷。专业年级姓名学号 一 选择填空题 每个空格3分，共30分。答案写在答题纸上。1b.b.cd.2 若集合p q满足，则 必成立。c abcd 3 设，则是 d a 从x到y的双射。b 从x到y的满射，但不是单射。c 从x到y的映射，但不是...
离散数学试题
一 填空题 每题2分，共14分 1 若g为连通的平面图，有n个顶点，k个面，则g的边数为。2 设a b 则a b 3 集合的幂集。4 设表示 会飞 论述域为，则命题 一切鸟都会飞 可译为 5 若集合a上的二元关系r的关系矩阵主对角线上元素全是1，则关系r具有性质。6 公式的对偶公式为。7 连通无向图...
离散数学试题
1 设a是m元集合，b是n元集合。问a到b共有多少个不同的二元关系？设a b 试写出a到b的全部二元关系。p18 2 用演绎法证明共同蕴涵p s。p48 3 将下面的命题符号化 已知每一个运动员都是强壮的，而每一个既强壮又聪明的人在他所从事的事业中都将获得成功，彼得是运动员并且是聪明的，证明彼得在他...