电子科技大学离散数学课程组——国家精品课程
离散数学
电子科技大学
计算机科学与工程学院
信息与软件工程学院
2013年9月22日星期日
1
电子科技大学离散数学课程组——国家精品课程
离散数学实验安排（顾小丰）
时间：第十五周六（ 6月2日） 9：00～12：00 第十六周六（6月9日） 14：30～17：30 地点：信息与软件工程学院三楼实验中心 要求： 1. 使用C语言编写计算机程序完成题目； 2. 题目： 验证性实验：1-3必做 设计性实验：1必做 2和3题任选一个做 3. 完成后撰写实验报告（6月25日前交给辅导员）
5
电子科技大学离散数学课程组——国家精品课程
设计性实验1—穿衣问题（关系）
如图是一个人穿衣服时的顺序要求。比如，必须 要先穿衬衫(shirt)才能穿毛衣(sweater)。编写 程序给出按照什么样的顺序穿衣服才是合适的。
6
电子科技大学离散数学课程组——国家精品课程
设计性实验2 —分油问题（数理逻辑）
2
电子科技大学离散数学课程组——国家精品课程
验证性实验1—逻辑学家会议问题(数理逻辑)
有人邀请A,B,C,D,E,F6个人参加一项会议，这6个人有些 奇怪，因为他们有很多要求，已知： 1.A,B两人至少有1人参加会议。 2.A,E,F3人中有2人参加会议。 3.B和C两人决定，要么两人都去，要么两人都不去。 4.A,D两人中只1人参加会议。 5.C,D两人中也只要1人参加会议。 6.如果D不去，那么E也决定不去。那么最后究竟有哪几 个人参加了会议呢？ 参考思路：列出前提条件对应的公式，并求出对应的主 范式，从而确定那些人参加会议。
两个小孩去打油，一人带了一个一斤的空瓶，另 一个带了一个七两和一个三两的空瓶。原计划各 打一斤油，可是由于所带的钱不够，只好合打了 一斤油，在回家的路上，二人想平分这一斤油， 可是又没有其它工具。现只用这三个瓶子(一斤 、七两、三两)精确地分出两个半斤油来。
7
电子科技大学离散数学课程组——国家精品课程
b 2 6 8 1 1 c 3 1 7 2 d 7 6 4 9 9 2
a
i
j
k
1
e 4
h
g
1
f
4
电子科技大学离散数学课程组——国家精品课程
验证性实验3-运算律与特殊元（代数系统）
给定一个集合A和该集合上的一个二元运算*， 编写程序（集合和运算具有普遍性），验证该 运算是否满足结合律、交换律、幂等律、消去 律，并计算幺元、零元、幂等元、可消去元、 逆元。
3
电子科技大学离散数学课程组——国家精品课程
验证性实验2—海底管道问题（图论）
某石油公司在海湾拥有几个石油钻井平台，每个平台 开采出的石油需要运往海岸上的炼油厂。要在平台与 炼油厂之间建造一个石油运输网络。问管道如何设计 ，才能使给出了经过勘测之后可能的管道铺设 走向和建设费用。
设计性实验3 - 洒水车路线问题（图论）
一辆洒水车从所在的市政办公点出发，需要在所 有负责的街道上洒水，并最后回到原点。问洒水 车如何设计路线才能使得走的路程最短。 归结为数学问题：设给出了一个连通的无向图， 它的每条边都有非负的长度，求G的一条经过每 条边至少一次并且总度最小的回路。
8