对离散数学课程教学的一些思考.pdf

对离散数学课程教学的一些思考 周晓聪 中山大学计算机科学系，广州510275 摘要：离散数学是计算机科学与技术专业的一门重要的的专业基础课程。但目前大多 数离散数学课程的教材往往不能体现离散数学是如何作为计算机科学与技术专业的基 础这一点。这就需要教师在教学过程加强离散数学与计算机学科的联系。本文从教学 方法与教学内容等方面探讨如何加强离散数学与计算机学科的联系。 关键词：离散数学、教学思考 1 问题的提出 虽然大家都说离散数学是计算机科学与技术专业的一门重要的专业基础课程，但就目前大多数 离散数学课程教材(如¨n¨1等)就教学内容来说，并没有体现多少与计算机科学相关的内容。虽然教 材旧1有一部分讨论应用的内容，但总的来说与计算机科学的联系仍是不够。而且，这门课程的概念 多、理论性强，高度抽象，又必须在一、二年级开设，因此学生学起来有很大难度。我们在教学过程中， 经常碰到学生询问，学习离散数学到底对计算机学科有什么用处?这虽然反应了某些学生的畏难情 绪和急功近利的思想，但也表明离散数学课程的教学内容亟待完善。 国内离散数学课程的内容通常分为几大部分，包括数理逻辑基础、集合论基础、代数结构与图论四个部 分，有些大学可能还包括组合数学的一些基础知识，绝大部分的离散数学教材也是这样划分。这几大部分 当然是最具代表性的离散数学结构，是离散数学课程的主体内容，关键是在这几大部分的具体教学内容中 如何体现与计算机学科的密切联系。我们从近几年的教学实践和对程序设计理论的科学研究过程不断思 考，如何在本科教学中加强这些内容与计算机学科的联系，形成了一些想法，有些想法正在实践和完善中， 有些则还有待付诸实施。本文的目的就是将这些想法整理出来，请各位同仁批评指教。 2教学内容的调整 我校多年从事离散数学教学和理论计算机科学研究的侯广坤教授认为：“计算机科学的基本思 维是在符号处理的通用层面上的基于离散结构的构造性思维。离散数学就是在符号处理的通用层面 上讨论满足构造性思维的离散结构”(3J。我们认为，这确实揭示了离散数学与计算机科学之间的本 质联系，而且也给出了计算机学科思维的三个基本特点：通用性、结构性和可构造性。 但是，这给出的计算机学科与离散数学之间的联系还过于抽象，学生更需要是一些具体的例证给 出离散数学在计算机科学中的具体应用。为此，我们在教学实践中采取了如下一些策略。 2．1 of 增加有关归纳原理(PrincipleInduction)方面的教学内容 目前国内大多数离散数学教材的共同缺陷就是没有系统地讲述归纳原理，而归纳原理，包括归纳 ·联系作者，E—mail：isszxc@mail．sysu．edu．cn 对离散数学课程教学的一些思考 定义和归纳证明，是计算机学科中可构造性思维的最好例证，在计算机学科有着广泛的应用，但又不 好放在某一门计算机专业课程中讨论，所以，在离散数学课程中对归纳原理进行系统讲述极为必要。 我们在互联网上查找了一些国外大学的离散数学课程教学大纲和讲稿，发现他们都将归纳原理作为 离散数学课程中十分重要的内容。 2．2在讲述命题逻辑和命题演算部分时适当增加难度 我们认为，在这一部分应该讲述严格形式化的命题演算系统，并将命题逻辑部分作为命题演算系 统的语义来处理。形式化命题演算系统，如甘芩(Gentzen)的自然推理系统并不是太难，而又能展示 形式化系统的特征，如通用性、机械性和可构造性等，并能适当地向学生灌输程序设计语言和语义的 一些基本思想，让学生在学习程序设计语言(通常这时学生正在或已经学习某门程序设计语言)的同 时，对程序设计语言的基本原理有一些感性的认识，加深对程序设计语言的理解。 2．3在讲述集合、关系与函数时强调与计算机学科的联系 例如，集合的构造与数据类型的构造有密切联系，因为数据类型实际上是带有某些操作的数据集 合，集合的(不相交)并、笛卡儿积与数据类型的联合与结构相对应，子集与子类型相对应等。在讲述 这一部分时，我们还区分两种不同的思维方式：一是元素法，从集合元素的具体性质研究集合的性质； 一种可以称为关系法，从集合与集合之间的关系研究集合的性质。例如，证明集合A=B，可以证明 V膏(髫EAc：,x∈B)，也可证明A∈曰^B∈A。我们强调后一种思维方式，因为这可