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

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