离散数学04876.pptVIP

离散数学概述 什么是离散数学 相对于研究连续量的微积分，离散数学是研究各种各样的离散量的结构及离散量之间的关系的一门学科，是计算机科学中基础理论的核心课程。 20世纪60年代兴起的离散数学，其目的和用途是为蓬勃发展的计算机科学及时提供一种理论基础。 一方面离散数学要把传统的数理逻辑、集合论、抽象代数、布尔代数、图论、数论等数学分支的相关内容纳入自己的研究范畴，在理论的渊源上可以追溯到人类智力活动的初期； 另一方面，离散数学还要把包容的理论与计算机科学的实际应用及科研成果相结合，涉足于科学进步的前沿阵地。 跨越数学诸多分支和整个计算机科学两大领域的繁重任务，使得离散数学所涵盖的知识、主题，涉及的概念、方法，采用的符号、工具的多、广都远远超出了其他学科。这些特点正是离散数学难学的根本原因，也正是离散数学深具诱惑和迷人之处。 离散数学的特点 1)离散性：离散数学所研究的对象均是离散形式的，而不是连续的， 如真假值，自然数，有限元素，线段等，这是由计算机的特点所决定的。 计算机的结构是离散的（硬、软件—晶体管，集成块，元件，部件，设备，软件:程序，语句，符号）计算机所服务的对象均是离散的，而对连续对象计算机是无能为力的。 离散数学的特点 2)能行性: 计算机算题是老老实实的，一个问题能在计算机上解决，即能将此问题解决的每个步骤，一步一步地清楚的表达出来，而且要在有限步内完成这个问题。反映在离散数学上,即离散数学所研究的问题均是能行的。（一个问题要是有解,就要给出此解的具体解法） 离散数学的这个特征，使它与一般的数学区别开来。如传统的数学分析以及以数学分析为基础的各数学分支，如微分方程，实变函数，复变函数等均是研究连续变量的问题。又如，一般数学重非常重视解的存在性问题以及解的表示方式，对解的算法根本不予考虑或考虑很少。 3)高度抽象性： （数学的两个特点：抽象性，精确性）该课程除为后继课程打下坚实的基础和提供工具外，还为进一步研究计算机科学领域新课题创造条件，培养和提高抽象思维和慎密的概括能力，以及逻辑推理能力。 离散数学的构成 数理逻辑 命题逻辑 谓词逻辑 集合论 集合　关系　函数 图论 图的基本概念 图的连通性 几个特殊图 代数系统 代数系统的基本概念 代数系统的同态与同构 几个特殊代数系统 学习离散数学的目的 掌握离散数学知识，为后续课程（如数据结构、操作系统、编译原理、数字逻辑理论、算法分析、逻辑程序设计、系统结构、容错诊断、机器定理证明、人工智能等）的学习打下坚实的理论基础。 通过离散数学的学习，掌握证明问题的方法，培养抽象思维的能力、慎密概括的能力和严密逻辑推理的能力。 学习方法 对所学的课程内容先预习； 对所学的课程内容中的重点和难点认真进行复习； 认真做好习题； 多看一些课外参考书。 参考资料 离散数学（修订版） 耿素云　屈婉玲 高等教育出版社（2004.4） 离散数学学习指导与习题解析 耿素云　屈婉玲 高等教育出版社 （2005.3） 离散数学及其应用（Discrete Mathematical and Its Applications) （原书第5版） Kenneth Rosen著　袁崇义　屈婉玲　等译　机械工业出版社（2007.6） 应用离散数学　方景龙　王毅刚　编著　人民邮电出版社（2005.8） 离散数学—常见题型解析及模拟题 傅彦　西北工业大学出版社 （2004 ） 数理逻辑 数理逻辑（Mathematical Logic）:研究演绎推理的一门学科；即为命题间的推理 主要研究内容是推理，特别着重于推理过程是否正确；它不是研究某个特定的语句是否正确，而是着重于语句之间的关系。 主要研究方法:采用数学的方法来研究推理； 数学方法就是引进一套符号体系的方法，所以数理逻辑又叫符号逻辑（Symbolic Logic）。 数理逻辑在计算机科学中的作用 硬件开发 硬件电路的表示、分析和设计 软件设计 程序＝算法＋数据 算法＝逻辑＋控制 数理逻辑（Mathematical Logic）:命题间的推理 第1章 命题逻辑(1) 主要内容 命题的表示与逻辑联结词 命题与真值 命题与真值的符号化 常用联结词及其符号化 基本复合命题 复合命题 命题与真值 命题逻辑也称命题演算，或语句逻辑。它研究以命题为基本单位构成的前提和结论之间的可推导关系， 研究什么是命题？ 如何表示命题？ 如何由一组前提推导一些结论？ 命题逻辑的特征：在研究逻辑的形式时，我们把一个命题只分析到其中所含的命题成份为止，不再分析下去。不把一个简单命题再分析为非命题的集合，不把谓词和量词等非命题成份分析出来。 命题与真值 定义1-1.1 具有确切真值的陈述句称为命题,该命题可以取一个