浅析离散数学在计算机科学中的应用

浅析离散数学在计算机科学中的应用

[摘 要]：离散数学作为有力的数学工具,对计算机的发展,计算机科学的研究起着重大的作用.计算机科学中普遍地采用离散数学中的一些基本概念,基本思想,基本方法,使得计算机科学越趋完善与成熟.本文简单介绍了离散数学在计算机科学的几个不同领域中的应用,指出了离散数学在从事计算机及相关科学工作中的重要性 ． 

[关键词]：  离散  编译  关系演算  死锁  递归 

离散数学是现代数学的一个重要分支,是计算机科学中基础理论的核心课程.与我们以往接触的连续数学的不同之处在于:离散数学研究的对象一般都是有限或可数个元素,并且是以研究离散量的结构和相互之间的关系为主要目标的①,因此,它充分描述了计算机科学的离散性特点.离散数学是随着计算机科学的发展而逐步建立的,形成于20世纪70年代初.离散数学与计算机科学中的数据结构操作系统编译理论算法分析,逻辑设计,系统结构,容错诊断,机器定理证明等课程联系紧密②.下面我们就从几个不同的方面简单分析一下离散数学在计算机科学中的应用．