计算机类专业离散数学课程设置意义.docVIP

计算机类专业离散数学课程设置意义 　　【摘 要】离散数学是研究离散的、有限对象的科学,它广泛地应用于计算机科学,是计算机科学的数学基石。学习离散数学的学生大部分来自计算机科学专业,然而,计算机科学专业的大学生在离散数学课程学习中存在很多认识误区。文章以离散数学与计算机科学的内在联系为切入点,阐述了计算机科学专业“离散数学”课程设置的必要性、重要性及作用,以启迪学生正确对待离散数学的学习。 　　【关键词】离散数学 计算机科学 课程 　　【中图分类号】G642 【文献标识码】A【文章编号】1006-9682(2010)09-0018-02 　　 　　离散数学是研究离散的、有限对象的结构及其相互关系的数学学科,是由数理逻辑、集合论、抽象代数、组合数学、图论、算法理论、数论、计算模型(语言与自动机)、离散概率等汇集而成的一门综合学科,[1][2]是现代数学的一个重要分支。它广泛地应用于各学科领域,特别是计算机科学与技术领域。 　　一、计算机类专业大学生面临“离散数学”课程设置的困惑 　　一方面,虽然连续数学与离散数学都是以抽象和形式化为重要特征,但是,连续对象和离散对象的不同特性使它们的求解思路、方法存在差异。学习离散数学意味着要以全新的思维方式来考虑问题。同时,离散数学课程所教授的一些概念、理论、技术相对复杂。而计算机专业大学生在开始大学生活之前没有接受足够的数学训练,即便是那些有相当数学背景的学生,相对于专业对数学的要求也显得相形见拙。这就意味着离散数学可能是一门非难教与难学的课程;另一方面,由于程序设计是学习后续课程的技能,又吸引着学生的兴趣,程序设计所提供的训练也提高了学生的能力,因此计算机科学与技术专业已习惯于程序设计优先的入门模式,并在此基础上形成了实施多年、基本稳定的课程体系。[3]其缺点是使学生片面地认为“计算机就是编程”:只关注编码,而很少涉及设计、分析和测试;推迟了对学科的了解,把精力集中在编程细节上,而不是本学科的概念性、思维性的一些基础上,忽视了更重要的理论、算法等问题。同时,由于计算机技术的快速发展,系统的界面越来越友好,人们对系统的进一步开发利用的基础越来越好,使人们对“掌握计算机技术”产生误解,误认为掌握计算机技术就是“会用”计算机,错误地认为一些基础知识,如离散数学枯燥无味、没有意义、没有作用,甚至认为不应开设这种颇具难度的课程。 　　二、离散数学与计算机科学的内在联系 　　由于计算机是一个离散结构,它只能处理离散的或离散化了的数量关系,因而,无论是计算机科学本身,还是与计算机科学及其应用密切相关的现代科学研究领域,都面临着如何建立离散结构的数学模型;以及将已用连续数量关系建立起来的数学模型离散化,从而可由计算机加以处理。而离散数学恰恰提供了描述离散结构的工具和方法。因此,从科学计算到信息处理,从理论计算机科学到计算机应用技术,从计算机软件到计算机硬件,从人工智能到认知系统等计算机科学技术领域,无不处处体现了离散数学的思想与方法。在计算机科学中,离散数学有两个用途:一是描述计算机科学理论、方法和技术的主要工具,为理论计算机科学提供坚实的基础;二是为形式描述技术奠定数学基础,而形式描述技术则是描述和验证计算机系统的数学表示方法。[4] 　　1.数理逻辑与计算机科学 　　工程实践是计算机科学新思想的一个重要源泉,是计算机科学中的“实验”,工程实践总要基于某种被普遍接受的科学背景知识,在计算机科学中,这种背景知识在很大程度上就是数理逻辑;任何复杂的装置或系统均需借助计算机的控制机制,而计算机的控制手段是形式语言,研究形式语言构造与意义的数理逻辑,恰为计算机科学的工程实践提供了基本的逻辑背景框架。[5]逻辑严密的论证能力,在计算机科学的许多领域至关重要,且构造一个形式证明和写一个程序的思维过程在本质上是一致的,具有离散数学修养的程序员在写代码时更有可能写出逻辑严密的最简化的高质量代码。 　　2.抽象代数与计算机科学 　　在计算机科学中,抽象代数为研究抽象数据结构的性质及操作提供代数结构与方法,为程序设计语言提供理论基础。实际计算机的设计与制造,使用数字逻辑技术实现计算各种运算的理论基础是代数和布尔代数。布尔代数的实质虽是命题逻辑,但在形式演算方面要使用代数方法,且依靠代数操作实现的指令系统具有递归性。 　　3.组合数学与计算机科学 　　组合数学的主要内容不是证明定理,而是着重于计算的过程、方法、步骤,这个方法步骤就相当于计算机科学中的所谓算法。组合数学更多关心开发存在问题、计数问题和优化问题的算法。在计算机科学中,计数或枚举对象、研究两个集合间的关系、分析含有限步数的过程、编码技术等都要用到组合数学理论与方法。 　　4.图论与计算机科学 　　图论是一门新兴学科,凡有二元关系的