离散数学课程内容及学习方法探讨.docxVIP

离散数学课程内容及学习方法探讨 离散数学是计算机科学与技术专业的重要数学基础，其关于对象状态及其变换描述的形式化和离散性特征，为计算系统实现问题求解提供了强有力的基本手段。所以，其基本概念都可以在计算机的各个领域中找到。该课程对培养学生的计算机思维能力有重要意义。笔者结合军校工程型大学的实际教学工作，探讨了工程型计算机科学与技术人才培养中离散数学课程教学中的一些问题。 1课程定位 教育部高等学校计算机科学与技术教学指导委员会2021年编制的《高等学校计算机科学与技术专业核心课程教学实施方案》中，将人才培养分为科学型、工程型和应用型3种，计算机专业这3种类型人才的教育将分别关注教育内容中的知识和问题求解方法的不同形态的内容，如图1所示。 根据3种不同类型人才的专业素养与能力要求，以及其他相关专业课程的教学需要，离散数学课程的教学内容和教学要求也具有不同的定位，如表1所示。 科学型人才的培养目标要求学生具有坚实的数学基础，较强的抽象思维、形式化描述、推理和分析能力；工程型人才培养目标要求学生具有坚实的数学基础，能够综合应用相关的理论分析和解决实际问题；应用型工程型人才培养目标要求学生能够熟练运用典型的离散模型，进行系统的建模和集成。 2教材案例 教材建设是教学改革的重要内容之一，是教学组织工作的基础。基于上述理念与原则，作者对《离散数学》(高等学校计算机教育规划教材)进行了修订。该教材涵盖集合论、数理逻辑、组合论、图论、抽象代数的基础知识，可满足计算机科学技术工程领域(工程型)高层次人才的需求，用离散结构的理论和方法对实际系统进行描述、分析的基本数学需求。 在这个知识框架中，离散数学课程划分为10个知识单元，分成三个层次。第一层的4个核心知识单元与工程型一样，即集合关系与函数、基本逻辑、图与树、基本计数，分别包含通常离散数学中的集合论、数理逻辑、图论、组合数学的基础部分。第二层的两个推荐知识单元是特殊的图、代数结构，分别包含图论、代数结构中的重要内容，这些知识单元之间相互比较独立。第三层的3个可选知识单元是形式系统、高级计数、初等数论，包含了数理逻辑、组合学和初等数论中的部分内容，这些知识单元之间也是比较独立的。从知识结构上，还需要一个关于证明技术的单元，包含离散数学中经常使用的证明方法，如数学归纳法、逻辑演算、构造性证明、反证法、归约证明等。但在教学安排上，可以将证明技术分散到有关的知识单元中讲授。 对比科学型人才培养目标，该教材包括了集合基数，但缺少一阶逻辑形式系统的一致性、合理性、完备性证明，计算理论(递归函数、原始递归函数、图灵机、图灵可计算函数)等内容。该教材涵盖应用型人才培养目标的全部内容包括集合、关系与函数，基本逻辑，图与树，特殊的图，证明技术，基本计数，代数系统简介，初等数论。 3学习方法 在明确课程定位以及有相应的教材支撑之后，结合实际教学，笔者从以下几个方面对离散数学的教学方法和手段作了探讨。 3.1深刻理解“数学内涵” 一个本质上简单的学科却难于学习。有些困难是表面的，其一是词汇。数学家用一些对普通人很生僻的词来表达从实际事物中抽象出来的概念。如“四边形”和“平行四边形”有一些在其他领域遇不到的特定的精确含义，要研究数学就得学着用。另一个看得见的，但同样是表面的困难是使用符号。我们要解决问题，以某些给定的信息为基础决定一个未知数。设此未知数是某一个长度为尺计的数字。用x去代表这个长度，而在以后就只用符号x而不去说这么长一句话，肯定是有利的。然而使用符号不会产生任何概念上的困难。 人们设想到的第三个困难是抽象性。但是由于基本的抽象或概念是直接来自日常经验的，人们心中很容易保存它们的含义。事实上，数学家不断地诉诸物理对象和物理图像，以便不忘记这些抽象概念的含义。古希腊数学家用小石子代表各类对象，用小石子学会了自然数的基本事实。顺便说一下，“计算”一词，广义地表示任一个算术或代数过程，它的英文Calculus的拉丁语源就是小石子。甚至更高级的数学抽象，如微积分学中所学的导数和积分，说到底离这些初等概念仅一步之隔，甚至微积分的概念也有图像的物理的意义。要学会这些抽象概念，比学习初等概念并不要求更高的智力。 数学的完成形式是一系列概念、一系列程序，例如求解某种类型方程的方法。另外还有一系列事实，例如定理。当然，程序和定理都要通过证明来确认。要想教会人这些数学的元素，最容易的方法莫过于用这些概念、过程、定理与证明的最终的、确定的形式去教学生。但是数学是一门老学科，它的某些重大的成就可以追溯到公元前三千年。过去五千多年里，数学家极大地扩大了这个学科的领域，当他们不断认识了新的客体和现象，当他们不断改进自己