华工离散数学命题逻辑课件.pptVIP

离散数学及其应用 华南理工大学 计算机科学与工程学院 1 离散数学 研究离散对象及其相互间关系的一门数学学科。 它是以研究离散量的结构和相互间的关系为主要目标，描述了计算机科学离散性的特点. 从数学的角度出发：连续数学和离散数学，都是刻画和分析现实世界的重要工具。 基础数学的延伸 算法与数据结构的理论基础 概率统计、算法设计与分析的理论基础 其他专业课程的描述和建模工具 2 为什么要学习离散数学？ 离散数学是现代数学的一个重要分支，是计算机专业的一门重要的专业基础课程。 是数据结构、操作系统、计算机网络、算法设计与分析、软件工程、人工智 能、形式语言、编译原理等计算机本科阶段核心课程的基础，也是遗传算法、数据挖掘、模式识别、密码学、网络通信理论等课程的重要基础。 该课程所提供的训练十分有益于概括抽象能力、逻辑思维能力、归纳构造能力的提高，十分有益于严谨、完整、规范的科学态度的培养。 3 2020年3月25日9时51分 Chen Qiong,South China Univ.of Tech. 3 计算机科学与离散数学的关系 计算机科学的任务是用计算机的硬件、外设和软件构成一个系统，使得许多不同领域的问题都能在这样的计算机系统中得到解决。 为了完成这个任务，就必须用一种符号语言构成一个包括了不同领域的通用模型。 离散数学就是指出构成一个包括了不同领域的通用模型的思维方法，并且告诉我们怎样用不同的语言（符号语言、图形语言和逻辑语言等）从最简单的对象（集合）出发表示通用模型。 4 计算机科学与离散数学的关系 离散数学的思维方法能够为计算机科学所用 计算机科学知识的掌握需要三方面的能力----构造模型、算法设计、程序设计的能力 思维训练：构造性思维 5 离散数学课程教学目标 知识获取能力：建立良好的知识结构，为学习其他课程打下基础 基本应用能力：掌握离散数学的语言，能对实际问题给出清晰的描述（建模） 工程实践能力：掌握离散数学的分析方法，针对实际问题设计解决方案并加以实施 研究能力：培养思维严谨性，提升抽象思考和严格推理能力 培养创新意识：了解现代数学思想和学科进展， 6 2020年3月25日9时51分 Chen Qiong,South China Univ.of Tech. 6 6 离散数学的应用 在计算机科学方面的应用 是数据结构、操作系统、计算机网络、算法设计与分析、软件工程、人工智 能、形式语言、编译原理等计算机本科阶段核心课程的基础，也是遗传算法、数 据挖掘、模式识别、密码学、网络通信理论、等课程的重要基础。 在通信方面的应用 代数系统在开关线路的计数，数字通信的纠错码方面的应用 在现实生活中的应用 TSP 在企业管理、交通规划、战争指挥、金 融分析，生物、医药等领域都有重要的应用。 7 2020年3月25日9时51分 Chen Qiong,South China Univ.of Tech. 7 7 离散数学的一些应用 关系数据库 四色定理 网络规划 信息安全 计算复杂性问题：该问题可计算吗？该问题能/不能计算？计算机复杂性如何？ 操作系统中，如何调度进程使得系统效率最优？ 程序结构度量：判断程序结构是否相似 提高信息传输效率的通信编码的设计 通信网络频率分配 设计集成电路线路的布局，达到最优效率 数字通信的可靠性：如何设计高效的检错码和纠错码？ 8 离散数学的一些应用 中国邮递员问题 学生考试日程表的安排 人携带狼、羊和草渡河的问题 物流运输的最优路径的计算 达到最高效率的工作流程的安排 生产调度和人员安排 酒店的清洁工的工序安排 库房和运输管理 航班调度，交通规划 考生录取 9 学习内容 数理逻辑 集合，函数和关系 图论 数理逻辑是研究推理的学科，在人工智能、程序理论和数据库理论等的 研究中有重要的应用。集合论和图论为数据结构和算法分析奠定了数学基础， 也为许多问题从算法角度如何加以解决提供了进行抽象描述的一些重要方法。 10 结束 下一页 关于课程学习 课程特点 知识点集中、概念定理多 方法性强 ----阅读、思考、练习、阅读、总结…. 课程考核 过程考核、在线测试、期末考试 11 参考资料 教材：陈琼等编著：离散数学及其应用，机械工业出版社 Kenneth H.Rosen, Discrete Mathematics and Applications, 机械工业出版社 耿素云、屈婉玲著：离散数学，高教出版社 傅彦、顾小丰著：离散数学及其应用，电子工业出版社 B Kolman,Robert C. Busby, Sharon Ross, Discrete Mathematics Structures, 高等教育出版社 12 第一部分 数理