学计算机辐射,离散数学对计算机专业系统知识辐射作用.doc

离散数学对计算机专业系统知识辐射作用

离散数学对计算机专业系统知识辐射作用 　　摘 要：由于计算机专业考研统考课程中无离散数学内容，离散数学在计算机专业教育中越来越不被重视，针对目前离散数学课程在计算机专业教育中逐渐被边缘化的问题，分析了离散数学知识与计算机专业其它核心课程间的内在关系，提出了离散数学内容对计算机专业系统知识具有很强的辐射作用的观点，进一步阐述了离散数学课程在计算机专业教学中的重要地位。 　　关键词：离散数学；辐射作用；辐射体系；编译原理；数据库 　　中图分类号：TP3-4 　　离散数学是现代数学的一个重要分支，也是计算机科学与技术的理论基础，所以又称为计算机数学[1]。离散数学研究离散量的结构及其相互关系，通过离散数学的学习，不但可以掌握离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和逻辑推理能力，为将来参与创新性的研究与开发工作打下坚实的基础。 　　离散数学课程所传授的思想、方法与工具，广泛地体现在计算机相关专业的诸领域，从科学计算到数据处理，从计算机科学理论基础到计算机应用技术，从计算机软件与理论到计算机硬件及体系结构，从人工智能到知识系统与工程，无不与离散数学密切相关。由于计算机本身是一个离散结构，它只能处理离散的或离散化了的对象及对象关系，因此，无论计算机科学理论本身，还是与计算机应用密切相关的现代科学的其它研究领域，都面临着如何对离散结构进行数学建模的问题；当然，也需要考虑如何将已建立的离散数学模型进行计算机应用的问题。 　　随着计算机专业研究生入学考试中专业课程统考的实行，很多高校的计算机专业对离散数学的教学投入开始缩减，减少课时，降低难度，避重就轻；学生也无法认识与理解离散数学在整个计算机专业课程体系中的重要性，致使离散数学的教学与学习在计算机专业越来越边缘化。实际上，离散数学在各学科领域，特别在计算机相关专业领域有着广泛的应用；离散数学是计算机专业许多专业基础课程，如数据结构、操作系统、编译原理、人工智能、数据库系统原理、算法设计与分析、理论计算机科学基础、软件工程等必不可少的先行课程[2]。 　　作为计算机相关专业数学基础的离散数学，对其它计算机专业基础课程有很强的知识辐射作用。本文致力于从一些计算机专业基础课内容中还原离散数学知识，从而体现离散数学核心内容在计算机专业系统知识中的辐射作用。通过对离散数学辐射作用的介绍，让计算机相关专业的本科生重新认识到离散数学对计算机专业系统知识学习的重要性，从而提高本科生学习离散数学的兴趣，重视自己数学理论基础的巩固和形式思维能力的培养。 　　1 离散数学辐射体系 　　离散数学是计算机及相关专业的一门核心课程，它不是一门纯数学课程，而是计算机学科的专业基础课程。离散数学是应计算机科学的发展而形成的一门交叉课程，主要内容涵盖了计算机相关专业对数学的一些基本要求。广义的离散数学主题包括集合论、数理逻辑、关系理论、图论、代数结构、数论、信息论、组合数学等，甚至包含拓扑学、运筹学的内容。有些高校将除拓扑学、运筹学等内容外的主题分为三门课程，即集合论与图论、代数结构与组合数学、数理逻辑。本文谈到的离散数学内容只涉及到数理逻辑、关系理论、集合论、图论以及代数结构。 　　离散数学课程与后续的计算机相关专业基础课程有着千丝万缕的联系，对其它专业基础课程的影响极其深远，在很多计算机专业课程内容中都会涉及到离散数学知识。无论计算机软件系列专业基础课程，还是计算机硬件相关基础课程，例如编译原理、数据结构、数据库、操作系统、软件工程和计算机组成原理。本文选择这六门计算机相关专业基础课程来阐述离散数学在专业系统知识中的辐射作用，如图1所示的离散数学辐射体系。 　　在图1中，编译原理的课程内容中就可以还原出全部的离散数学知识结构；数据库的课程内容则可还原出离散数学内容中的关系理论、代数结构、集合论与图论等内容；操作系统、软件工程、数据结构和计算机组成原路中都有离散数学知识辐射的印迹。 　　2 离散数学辐射作用 　　2.1 编译原理中的离散数学 　　编译原理是计算机相关专业的一门重要专业基础课[3]，旨在介绍编译器构造的一般原理和基本方法，课程内容除了形式文法、有穷自动机等编译原理所涉及的基础知识外，其它内容基本上围绕处理程序设计语言的编译器应该具有的各功能模块展开，包括词法分析、语法分析、语法制导翻译、中间代码生成、存储管理、代码优化和目标代码生成。 　　离散数学的数理逻辑中最重要的内容就是逻辑推理，由前提事实出发，采用相应的逻辑恒等式、永真蕴涵式、推理规则、推理方法等进行不停的推导演绎，最终得到想要的结论，这是一个严格的演绎分析过程。在编译原理中，与这一演绎分析过程相对应的则是语法自上而下分析方法，即从形式文法的开始符号(前提)出发，利用文法规则产生式(永真蕴涵式)，采用相应的推理方法(最