《离散数学绪论》PPT课件.ppt

2023/7/28,1,离 散 数 学,主讲人：强小利E-mail:中南民族大学计算机科学学院,2023/7/28,2,什么是离散数学?,离散数学(discrete mathematics)研究离散量的结构和相互间的关系的一门科学。研究对象：离散量离散量（或离散对象）：有限个或可数个元素,2023/7/28,3,离散数学是现代数学的一个重要分支，是计算机科学与技术的理论基础。如果说“高科技本质上是数学技术”的话，计算机科学与技术基本上是离散数学技术。所以离散数学又称为计算机数学，是计算机科学与技术专业的核心、骨干课程。它为计算机科学中的数据结构、编译理论、操作系统、算法分析、人工智能等提供了必要的数学知识。,2023/7/28,4,研究内容,研究对象：离散个体及其结构研究思想：以集合和映射为工具，体现公理化和结构的思想研究内容：包含不同数学分支，模块化结构集合论：离散结构的表示，描述工具代数结构：离散结构的代数模型图论：离散结构的关系模型数理逻辑：推理、形式化方法,2023/7/28,5,离散数学与计算机科学的关系,数理逻辑：人工智能、程序正确性证明、程序验证等集合论：关系数据库模型图论：数据结构、数据库模型、网络模型等代数结构：软件规范、形式语义、编译系统、编码理论、密码学、数据仓库组合数学：算法分析与设计、编码理论、容错,2023/7/28,6,教学目的,掌握离散结构的描述语言和分析工具为其它专业课程的学习打基础 为掌握软硬件模型的建模与分析方法准备必要的数学工具提高学生的抽象思维和严格的逻辑推理能力培养分析问题解决问题的能力,2023/7/28,7,教材及参考书,洪帆.离散数学基础（第三版）.华中科技大学出版，2009年10月离散数学教程，耿素云，屈婉玲，王捍贫，北大出版社，2002年6月D.S.Malik.Discrete Mathematical Structures Theory and Applications,Higher Education Press.,2023/7/28,8,考核要求,综合成绩=平时成绩+期中成绩+期末成绩。,