离散数学实验指导书及其答案

实验一 命题逻辑公式化简

【实验目的】加深对五个基本联结词（否定、合取、析取、条件、双条件）的理解、掌握利用基本等价公式化简公式的方法。

【实验内容】用化简命题逻辑公式的方法设计一个表决开关电路。

实验用例：用化简命题逻辑公式的方法设计一个5人表决开关电路，要求3人以上（含3人）同意则表决通过（表决开关亮）。

【实验原理和方法】

（1）写出5人表决开关电路真值表，从真值表得出5人表决开关电路的主合取公式（或主析取公式），将公式化简成尽可能含五个基本联结词最少的等价公式。

（2）上面公式中的每一个联结词是一个开关元件，将它们定义成C语言中的函数。 （3）输入5人表决值（0或1），调用上面定义的函数，将5人表决开关电路真值表的等价公式写成一个函数表达式。

（4）输出函数表达式的结果，如果是1，则表明表决通过，否则表决不通过。 参考代码： #include

int vote(int a,int b,int c,int d,int e) {

//五人中任取三人的不同的取法有10种。

if( a&&b&&c || a&&b&&d || a&&b&&e || a&&c&&d || a&&c&&e || a&&d&&e || b&&c&&d || b&

《离散数学》 课程实验指导书

长 沙 学 院 计 算 机 科 学 与 技 术 系

前 言

《离散数学》是现代数学的一个重要分支，是计算机科学与技术专业的基础理论课，也是该专业的核心课程和主干课程。“离散数学”是计算机专业一门重要的专业技术基础课程，是计算机专业的一门核心的关键性课程。该课程一方面为后继课程如数据结构、编绎原理、操作系统、数据库原理、人工智能和形式语言与自动机等提供必要的理论基础；同时，更为重要的是培养学生的抽象思维能力和逻辑推理能力，为今后的学习和工作打好基础。无论从计算机学科发展的过去、现在和未来看，《离散数学》都是计算机科学与技术专业不可缺少的重要组成部分。这门课程有着其它课程不可替代的地位和作用，是一门承前启后的课程。

根据《离散数学》课程本身的理论性较强的特性，设置《离散数学实验》实践环节十分重要。通过实验实践内容的训练，突出逻辑性思维训练的特征, 目的是提高学生学习的兴趣及实际动手的能力。

为了帮助学生更好地学习本课程，理解和掌握所学基本概念和方法，为整个专业学习打好基础，要求运用所学知识，上机解决一些典型问题.本指导书根据本课程要求编写这本指导书。以期为同学作实验提供帮助！

编者

第1章 集 合

1.1 集合

1.1.1基本知识点：集合、元素、基数、包含、子集、集合相等、空集、全集、

幂集等。

基本理论：两个集合相等的充分必要条件是它们的元素相同；如果有限集合A

有n个元素，则幂集合2A有2n个元素。

基本计算：判断一个元素是否属于某个集合；判断两个集合是否具有包含关系；

求一个集合的幂集；

1.1.2重点与难点

(1) 集合与元素：集合是一个不能精确定义的基本概念，通常把具有某种共同性

质的事物归纳成一个整体，就形成一个集合，一般用大写字母

A,B,C等表示集合的名称。把组成集合的事物称为元素，一般

用小写字母a,b,c等表示。

(2)集合的表示方法：集合通常有两种表示方法，即列举法、描述法。 (3)包含与子集：对任意两个集合A和B，若对任意的a?A，必有a?B，则称A被B包含，或者B包含A，记作A?B。若A?B则称A是B的子集。

(4)空集、全集和幂集：不包含任何元素的集合称为空集，记作?。在一定范围

内所有集合均为某一集合的子集，则称该集合为全集，记为U。

由集合A的所有子集所构成的集合称为集合A的幂集，记为2A。 典型题解

例1：下面是用列举法表示的集合：

A?{s

离散数学 实验指导书

姜楠 焉德军 李笑牛

（校内自编教材）

大连民族学院

计算机科学与工程学院

2011年3月

前 言

通常人们对离散数学教学的认识就是概念、定理、公式和解题。但是，离散数学不仅仅是这些，还有实验。在理论教学过程中，学生的活动只是“智力活动”，或更为直接地说是解题活动，教师在上面讲离散数学，而学生则每天在课堂上听课并在纸上做题目。这样，对多数学生而言，离散数学的发现探索活动没有能够真正开展起来。 离散数学实验教学，通常由教师提出问题，让学生在计算机上做实验，利用小组合作学习或者组织全班讨论，开展研究性学习活动；实验过程中，依靠计算机，让学生主动参与发展、探究、解决问题，从中获得离散数学研究、解决实际问题的过程体验、情感体验，产生成就感，进而开发学生的创新潜能，因而对离散数学实验课程教学进行研究具有重要意义。

利用计算机进行离散数学实验教学，不仅是开展离散数学研究性学习的一种有效方式，而且也为数据结构及程序设计课程教学的开展提升了层次。知识经济时代对创新人才的需求与离散数学教育中忽视学生创造性能力培养的矛盾日益凸显。在教学中倡导研究性学习，开展离散数学实验课程教学的研究与探索，与当前社会对离散数学教学的需求是一致

第1章 集 合

1.1 集合

1.1.1基本知识点：集合、元素、基数、包含、子集、集合相等、空集、全集、

幂集等。

基本理论：两个集合相等的充分必要条件是它们的元素相同；如果有限集合A

有n个元素，则幂集合2A有2n个元素。

基本计算：判断一个元素是否属于某个集合；判断两个集合是否具有包含关系；

求一个集合的幂集；

1.1.2重点与难点

(1) 集合与元素：集合是一个不能精确定义的基本概念，通常把具有某种共同性

质的事物归纳成一个整体，就形成一个集合，一般用大写字母

A,B,C等表示集合的名称。把组成集合的事物称为元素，一般

用小写字母a,b,c等表示。

(2)集合的表示方法：集合通常有两种表示方法，即列举法、描述法。 (3)包含与子集：对任意两个集合A和B，若对任意的a?A，必有a?B，则称A被B包含，或者B包含A，记作A?B。若A?B则称A是B的子集。

(4)空集、全集和幂集：不包含任何元素的集合称为空集，记作?。在一定范围

内所有集合均为某一集合的子集，则称该集合为全集，记为U。

由集合A的所有子集所构成的集合称为集合A的幂集，记为2A。 典型题解

例1：下面是用列举法表示的集合：

A?{s

离散数学 实验指导书

姜楠 焉德军 李笑牛

（校内自编教材）

大连民族学院

计算机科学与工程学院

2011年3月

前 言

通常人们对离散数学教学的认识就是概念、定理、公式和解题。但是，离散数学不仅仅是这些，还有实验。在理论教学过程中，学生的活动只是“智力活动”，或更为直接地说是解题活动，教师在上面讲离散数学，而学生则每天在课堂上听课并在纸上做题目。这样，对多数学生而言，离散数学的发现探索活动没有能够真正开展起来。 离散数学实验教学，通常由教师提出问题，让学生在计算机上做实验，利用小组合作学习或者组织全班讨论，开展研究性学习活动；实验过程中，依靠计算机，让学生主动参与发展、探究、解决问题，从中获得离散数学研究、解决实际问题的过程体验、情感体验，产生成就感，进而开发学生的创新潜能，因而对离散数学实验课程教学进行研究具有重要意义。

利用计算机进行离散数学实验教学，不仅是开展离散数学研究性学习的一种有效方式，而且也为数据结构及程序设计课程教学的开展提升了层次。知识经济时代对创新人才的需求与离散数学教育中忽视学生创造性能力培养的矛盾日益凸显。在教学中倡导研究性学习，开展离散数学实验课程教学的研究与探索，与当前社会对离散数学教学的需求是一致

大连民族学院

计算机科学与工程学院实验报告

实验题目： 关系部分实验 课程名称： 离散数学 实验类型：□演示性 □验证性 □操作性 □设计性 ■综合性 专业： 网络工程 班级： 102 班 学生姓名：隋玉兴 学号：2010083220

实验日期：2011 年 12 月 25 日 实验地点：五机房 实验学时： 实验成绩：

指导教师签字： 年 月 日

一．实验目的

本实验课程是信息专业学生的一门专业基础课程，通过实验，帮助学生更好地掌握计算机科学技术常用的离散数学中的概念、性质和运算；通过实验提高学生编写实验报告、总结实验结果的能力；使学生具备程序设计的思想，能够独立完成简单的算法设计和分析。

熟悉掌握命题逻辑

2006年下半年《离散数学》（闭卷）70学时

离散数学（A卷）

闭卷、70学时

一、 填空选择题 (每空1分，共26分)

1、给定命题公式如下：p?(q??r)。该公式的成真赋值为A,成假赋值为B,公式的类型为C。

供选择的答案

A：①无；②全体赋值；

③010，100，101，111；④010，100，101，110，111。

B：①无；②全体赋值；③000，001，011；④000，010，110。 C：①重言式；②矛盾式；③可满足式。

（?x)(P(y)?Q(x,y))?(?y)R(x,y)中，?x的辖域是 P(z)→Q(x,z) ， 2、在公式

?y的辖域是 R(x,z) 。

3、设Z+={x∣x∈Z∧X>0},π1, π2,π3是Z+的3个划分。

π1={{x}∣x∈Z+},π2={S1,S2},S1为素数集,S2=Z+-S1.π3＝{Z+}, (1)3个划分块中最多的是A,最少的是B. +++

(2)划分π1对应的是Z上的C,π2对应的是Z上的D,π3对应的是Z上的E. 供选择的答案

A:( ①),B:( ③ ) ①π1, ②π2,③π3. C:( ⑧)

第一章

1. 假定A是ECNU二年级的学生集合，B是ECNU必须学离散数学的学生的集合。请用A

和B表示ECNU不必学习离散数学的二年级的学生的集合。

试求： P(?) P(P(?)) P(P(P(?)))

2. (1) (2) (3)

3. 在1?200的正整数中，能被3或5整除，但不能被15整除的正整数共有多少个？

能被5整除的有40个， 能被15整除的有13个，

∴能被3或5整除，但不能被15整除的正整数共有 66-13+40-13=80个。

第三章

1. (1) (2) (3) (4) (5)

下列语句是命题吗？ 2是正数吗？ x2+x+1=0。 我要上学。

明年2月1日下雨。

如果股票涨了，那么我就赚钱。

2. 请用自然语言表达命题(p??r)?(q??r)，其中p、q、r为如下命题： p：你得流感了

q：你错过了最后的考试 r：这门课你通过了

3. 通过真值表求p?(p?(q?p))的主析取范式和主合取范式。

4. 给出p?(q?s),q,p??r?r?s的形式证明。

第四章

1. 将?x(C(x)??y(C(y)?F(x,y)))翻译成汉语，其中C(x)表示x有电脑，F(x,y) 表示x和y是同

班同学，个体域是学校全体

暨 南 大 学 考 试 试 卷

2011 – 2012 学年度第 1 学期 课程类别 必修[√ ] 选修[ ] 考试方式 开卷[ ] 闭卷[√ ] 教 课程名称： 师 填 教师姓名： 写 代数结构与图论 授课 陈双平 1 月_13 日 考试时间: _2012 _ 年 试卷类别 答案 [A] 共 8 页 专业 班(级) 考 生 填 写 姓名 学院(校) 学号 内招[ ] 外招[ ]

题 号 一 二 三 四 五 六 七 八 九 十 总 分 得 分

得分 评阅人 一、填空题（共 4 小题 8 空，每空 2 分，共 16 分）

3 4 ?? 3 4 ??? 1 2 ? 1 2

1. ? ????? ， ? ? ????

3 1 ?? 2 1 ?? 2 4 ?? ? 4 3

σ= 中，单位元是 -1

，τσ= ，零元是 。

. 2. 设 A={2，4，6，8}，A 上的二元运算*定义为：a*b=min{a，b}，则在独异点 3. 设 G 是 n(n≧3)阶 m 条边的极大平面图，则 m 和 n 之间满足什么关系？

。

。

，它有