师范院校计算机课程改革的实践与探索.docVIP

师范院校计算机课程改革的实践与探索 摘要：本文介绍了计算机科学与技术专业的核心基础课程离散数学的教学内容、教学方法和离散数学的学习。指出了离散数学这门课程的重要地位，同时要在教学过程中注意培养学生的学习方法和研究问题的方法。最后提出将知识评价与能力评价结合起来，把学生创造力作为重要评价内容。br　　关键词br本文来自：计算机毕业网 ：离散数学；基础；学习br　　　　　　br　　1引言br　　br　　“离散数学课程”是介绍“离散数学”各分支的基本概念、基本理论和基本研究方法、研究工具的基础课程，现已成为计算机科学与技术专业的核心基础课程，IEEEACM的CC2001教程更是以十分显著的方式强调了这一点。离散数学课程所涉及的概念、方法和理论，大量地应用在数字电路、编译原理、数据结构、操作系统、数据库系统、算法的分析与设计、软件工程、人工智能、多媒体技术、计算机网络等专业课程以及信息管理、信号处理、模式识别、数据加密等相关课程中；它所提供的训练，十分有益于学生概括抽象能力、逻辑思维能力、归纳构造能力的提高，十分有益于学生严谨、完整、规范的科学态度的培养。这些能力与态度是一切软、硬件计算机科学工作者所不可缺少的。离散数学课程所传授的思想和方法，广泛地体现在计算机科学技术及相关专业的诸领域，从科学计算到信息处理，从理论计算机科学到计算机应用技术，从计算机软件到计算机硬件，从人工智能到分布式系统，无不与离散数学密切相关。br　　br　　2离散数学的教学内容br　　br　　由于计算机无论多么先进，都只能处理有限的离散数据，正因为如此，才使得离散数学和计算机有了莫大的联系。那么，是不是所有研究离散结构的数学都归于离散数学呢？基于各种原因，许多具有离散结构的数学，并不一定属于离散数学。离散数学可以说是和计算机一起发展起来的学科，是一门新兴的学科，对于究竟什么属于离散数学，人们也没有完全一致的看法。如同我们的教材，把数理逻辑、集合论、群论、图论都归为离散数学。另外，不少学者把组合学、计数、排列也归为离散数学。其实，数学本一家，精确划分没有必要。但我认为，离散数学的核心应是组合数学和图论。只可惜，我们的教材中几乎没有组合数学，这一点，实在是一大缺憾。br　　离散数学包括的教学内容，对每一个从事计算机技术的人都要求掌握和了解。因为在形式证明、验证、密码学的研究与学习中要有理解形式证明的能力；图论的概念被用于计算机网络、操作系统和程序设计语言的编译系统等领域；集合论的概念、关系代数等在软件工程和数据库中也会用到。总之，为了适应计算技术的要求及将来的发展，学生需要对离散结构有比较深入的理解。br　　br　　3离散数学的教学方法br　　br　　离散数学作为一门计算机专业的核心基础课，往往开设的比较早，所以很多同学在学习这门课的时侯还缺乏对其价值的认识。再加上对数学的敏感性，所以很排斥它。如何教好这门课，除了让学生对这些内容感兴趣外，还要让他们对其在计算机中的应用有些感性认识。因此，在介绍离散数学的每一分支时，都要分三步走：br　　第一，先要了解这一分支的悠久历史；br　　第二，学习它的基本概念、基本理论和基本研究方法；br　　第三，了解它在计算机科学中的应用。br　　(1) 各分支的悠久历史br　　数学推理与逻辑之间，有着密切的联系，早在两千多年前的古希腊，就有了逻辑学的萌芽。不过那时的逻辑称为古典逻辑，属于哲学的范畴。数理逻辑诞生于十九世纪中叶，源于古典逻辑。br　　群论诞生于十九世纪二十年代，由法国天才数学家伽罗华创立。有趣的是，他创立群论的目的是为了解决高次方程求根问题，如果他知道群论与现代的计算机学科联系如此紧密，一定会惊叹不已。br　　图论最早起源于一些数学游戏，相信对数学感兴趣的同学一定都听说过哥尼斯堡的七桥问题。图论与几何不同，几何讨论图的长短大小，而图论是讨论图的边和顶点之间的位置关系，正因为如此，莱布尼兹把她称为“位置几何学”。图论的问题非常有趣，往往答案很简单，但却非常非常难以想到。尤其是其分支拓扑学，更是如此。你知道九联环也是图论问题吗？br　　集合论起源于十六世纪末期，开始是为了追寻微积分的坚实基础，后来，德国的数学家康托教授发表了一系列有关集合论的文章，奠定了集合论的基础，集合论也从此发展起来。现在，集合论已经渗透到泛函、概率、函数论等各门学科。br　　(2) 各分支的基本概念、基本理论和基本研究方法br　　数理逻辑又名符号逻辑，是一门用数学方法研究推理过程的科学。主要目的在于探索出一套完整的规则，按照这些规则，就可以确定任何特定论证是否有效。这些规则，通常称为推理规则。在逻辑学中，与其说注重的是论证本身，不如说注重的是论证形式。br　　集合论主要研究了集合的基本概念和运算