离散数学中实践教学探讨.docVIP

离散数学中实践教学探讨 　　摘　要　本文阐述了离散教学在教学中加入实践环节的必要性，介绍了作者在离散数学教学中进行的实践教学的尝试，并结合了具体实例―― Warshall算法的实现指出了在离散数学教学中加入实验环节的可能性，旨在对以后的教学起到一定的促进作用。 　　关键词　离散数学　Warshall算法　闭包 　　 　　1 引言 　　 　　离散数学是以研究离散量的结构和相互间的关系为主要目标，充分体现了计算机科学离散性的特点。它所涉及到的一些概念、理论和方法被大量地应用于数字电路、 编译原理、数据结构、操作系统、数据库系统、算法的分析与设计、人工智能、计算机网络等专业课程中。例如，数据结构和算法科学中有大量离散数学的内容；在形式说明、验证、密码学的学习中需要有理解形式证明的能力；图论的概念被用于计算机网络、操作系统和编译原理等领域；集合论的概念被用在软件工程和数据库中。同时，该课程所提供的训练也十分有益于学生的概括抽象能力、逻辑思维能力、归纳构造能力的提高，以及学生严谨、完整、规范等科学态度的培养。 　　然而，在离散数学的教学中，大多数院校往往只重视课堂教学, 仅仅注重对理论知识的讲解，而很少开设或不开设上机试验，忽略了对其基本理论的应用，结果导致这门课学起来抽象难懂，从而抑制了学生的学习积极性和主动性，难于激发学生积极思考，影响了学生创新意识和创新能力的培养。因此，在离散数学的教学中适当引入实践环节已成当务之急。 　　 　　2 教学中加入实践环节的尝试 　　 　　为了改变离散数学教学中的上述状况，培养学生自主分析问题、解决问题的能力，同时也加深他们对该课程在专业教学中地位的理解和认识，在离散数学的教学过程中，我们尝试了以课堂教学为主，适当增加上机实验题目的教学模式。 　　对于上机实验内容的选择，我们应该既要考虑到典型方法和基本技术，也要充分体现“基本概念、基本技能、基本理论”的三基原则。例如,我们设计了一个如下样式的上机实验内容。 　　编写一个关于关系矩阵运算的程序（利用C语言），能够实现下面功能： 　　（1）任意给定一个关系，能够判断这个关系是否具有自反性、对称性、传递性。 　　（2）任意给定两个关系R1, R2, 能够进行复合运算R1*R2。 　　（3）任意给定一个关系，能够求得其自反闭包r(R)、对称闭包s(R)和传递闭包t(R)(要求利用Warshall算法)。 　　（4）求出一个关系R的tsr(R)之后，能够判断出这是否是一个等价关系，如果是，能够给出等价类集合。 　　注意：所有上述运算，必须利用矩阵运算来实现。 　　要求： 　　程序首先要求输入一个集合A={a, b, c, d, ...}，屏幕文字提示并等待，并能够辨别出集合中元素的个数。 　　程序能够读入两个关系R1,R2(其中有序对中的元素均是A中元素)，然后显示两个关系的矩阵形式，并能够判定输入的对错。 　　程序能够自动显示这些关系的如下性质： 　　（1）是否具有自反性、对称性和传递性（文字说明）。 　　（2）R1和R2的复合关系R1*R2（矩阵显示和文字形式）。 　　（3）给出某关系R的自反、对称和传递闭包(分别进行矩阵显示和文字形式)。 　　（4）给出关系R的tsr(R)和等价类集合 (矩阵显示和文字形式)。 　　该设计几乎涉及到关系的所有性质，基本涵盖了集合论的主要内容，对于图的矩阵表示和运算也具有重要意义。 　　在图论部分，还可以设计以下上机实验： 　　（1）求图的可达矩阵。 　　（2）求出任何两个节点之间特定长度的路的数量。 　　（3）求出任何节点所在的强分图，任何边所在的单向分图。 　　（4) 求得割点和割边（如果去掉相应的点或边，则图不再连通）。 　　（5）判定欧拉图并求得欧拉路，可以适当判定哈密顿图并求得哈密顿路（必要条件）。 　　（6）适当判定一个平面图（必要条件） 。 　　（7）对节点进行着色（Welch Powell方法）。 　　（8）求出最小生成树。 　　 　　3 Warshall算法的上机实现 　　 　　下面给出一个具体实例――求解关系传递闭包的Warshall算法的上机实现过程。 　　先了解有关的几个定义、定理。 　　定义1如果一个集合符合以下条件之一： 　　(1) 集合非空，且它的元素都是有序对 　　(2) 集合是空集 　　则称该集合为一个二元关系，记作R，简称为关系。对于二元关系R，若＜x,y＞ ∈R,可记作xRy。 　　定义2设R是A上的关系， 若 　　则称R在A上是传递的。 　　定义3设R是非空集合A上的关系，如果有另一个关系满足： 　　(1) 是传递的 　　(2) 　　(3) 对A上的任何包含R的传递关系，均有