计算机软件理论基础集合论,离散数学在计算机程序设计中的应用

《离散数学》在计算机程序设计中的应用

项炳泽 摘要： 离散数学是计算机科学和计算机应用的理论基础和数学工具。介绍离散数学在计算机程序设计中的应用。 关键词：离散数学；数理逻辑；图论；数据库；

《离散数学》是现在数学的一个重要分支，是计算机科学与技术的理论技术，是计算机科学一门必修的专业基础课，是《数据结构》，《操作系统》，等课程的数学前提。

数理逻辑是研究推理逻辑的学科，在计算机程序设计中起到是十分重要而广泛的作用。 随着离散数学知识和计算机理论的进一步结合，数据挖掘，模式识别，神经网络等分支科学得到了的迅速的发展，促进了计算机软件理论，信息管理技术的发展。

计算机编程依靠的就是离散数学的思想和逻辑，离散数学是计算机的一个理论基础，它包括数理逻辑、集合论、代数结构和图论四个方面。 一、集合论是离散数学中很重要的一部分，它在数据库中有广泛的应用。我们可以利用关系理论使数据库从网络型、层次型转变为关系型，这样使数据库中的数据容易表示，并且易于存储和处理，使逻辑结构简单、数据独立性强、数据共享、数据荣誉可控和操作简单。 二、图论中的树在图论中占有重要的地位，可以用它来表示计算机中文件的组织结构，树中二叉树在计算机科学中有着重要的应用。在计