尹波

摘  要： 离散数学是计算机类专业的核心基础课程，具有理论性强并且内容抽象的特点。文章分析归纳了离散数学课程实际教学中存在的问题，探索面向计算机抽象思维能力培养的教学模式改革，提出离散数学抽象思维培养核心内容，以启发和训练学生的建模思维、逻辑思维、算法思想为主导，着重从课程内容设计、实践环节培养等方面提出具体改革措施。该教学改革可以有效提高学生将实际问题转化为计算机可计算问题的能力。

关键词： 离散数学; 抽象思维; 实践培养; 教学改革

中图分类号：G642          文献标识码：A      文章编号：1006-8228（2020）06-67-03

Abstract： Discrete mathematics， which has the characteristics of strong theory and abstract content， is a core basic course for computer related majors. In this paper， the problems existed in teaching of discrete mathematics are analyzed， the reform of teaching mode for cultivating computer abstract thinking ability is explored. The core content of abstract thinking ability in the course of discrete mathematics is formally defined， and the strategies of teaching reform from the perspectives of teaching content， and practice training are presented， in order to inspire and train students' modeling thinking， logic thinking， and algorithmic thinking. This teaching mode reform can effectively improve the ability of students to transform practical problem into computable problem.

Key words： discrete mathematics; abstract thinking; practice training; teaching reform

0 引言

离散数学是国内高校计算机学科相关专业的核心基础理论课程，并且是专业其他核心课程，如数据结构、操作系统、编译原理、信息安全、人工智能等的先行课程[1-2]。《华盛顿协议》明确指出要培养学生解决复杂工程问题的能力以及逻辑思维能力。离散数学课程是数学和计算机之间的桥梁，其重要之处在于把现实世界的问题变成计算机可计算的问题：通过数理逻辑相关方法将现实问题变成逻辑问题，再通过形式化的方法（例如集合方法、函数方法、图论）将逻辑问题变成代数与图论问题。

离散数学是一门概念多、理论性强、内容抽象、逻辑性高的课程[3-5]。传统的离散数学往往将该课程当作一门纯理论课程，教学与应用相脱节，并且忽视对计算机抽象思维能力的培养，教学效果有限，学生体会不到这门课程的有用之处，主要问题如下：