离散数学的研究对象下一代互联网应用技术研发中心.pptVIP

离散数学的研究对象 由于数字电子计算机是一个离散结构，它只能处理离散的或离散化了的数量关系， 因此，无论计算机科学本身，还是与计算机科学及其应用密切相关的现代科学研究领域，都面临着如何对离散结构建立相应的数学模型；又如何将已用连续数量关系建立起来的数学模型离散化，从而可由计算机加以处理。 离散数学(Discrete Mathematics)是计算机专业的一门重要基础课。它所研究的对象是离散数量关系和离散结构数学结构模型。 第一页，共二十一页。 离散数学的主要内容 到目前为止，离散数学所研究的精确范围并没有严格的定义，它和其它许多纯粹数学以及应用数学分支之间有着广泛的交叉和相互渗透。但是作为给计算机专业本科生开设的一门专业基础课，其内容相对来说较为明确，主要包括数理逻辑、集合论、代数系统以及图论等几部分。 离散数学是数字电路、编译原理、数据结构、操作系统、数据库系统、算法的分析与设计、人工智能、计算机网络等专业课程的基础。 第二页，共二十一页。 数理逻辑 数理逻辑是用数学的方法研究关于推理、证明等问题的学科，也叫做符号逻辑。它的本质是研究如何通过利用纯粹的公理系统和符号演算以及推理方法来代替人们思维中的逻辑推理过程，并由此将整个的数学建立在这样一个逻辑基础之上。 历史上诸多数学家的努力和推动，尤其是莱布尼茨、布尔、希尔伯特、罗素、图灵、哥德尔等人的工作，部分