[高等教育]离散数学课件 第一章 命题逻辑-1st.pdfVIP

离散数学 大连理工大学软件学院 陈志奎 教授 办公室： 综合楼 ， ： 411 Tel 实验室：教学楼A318/A323，Tel24 Mobile: Email: zkchen@ zkchen00@ 1/34 引言 • 离散数学是计算机专业的一门重要基础课。它所研究的 对象是离散数量关系和离散结构数学结构模型。 由于数 字电子计算机是一个离散结构，它只能处理离散的或离 散化了的数量关系， 因此，无论计算机科学本身，还是 与计算机科学及其应用密切相关的现代科学研究领域， 都面临着如何对离散结构建立相应的数学模型；又如何 将已用连续数量关系建立起来的数学模型离散化，从而 可由计算机加以处理。 离散数学课程主要介绍离散数学 的各个分支的基本概念、基本理论和基本方法。这些概 念、理论以及方法大量地应用在数字电路、编译原理、 数据结构、操作系统、数据库系统、算法的分析与设计、 人工智能、计算机网络等专业课程中；同时，该课程所 提供的训练十分有益于学生概括抽象能力、逻辑思维能 力、归纳构造能力的提高，十分有益于学生严谨、完整、 规范的科学态度的培养。 2/34 学习方法 • 精确严格地掌握好概念和术语，正确理解 它们的内涵和外延； • 独立完成作业，自觉归纳基本解题方法； • 阅读和复习时，随时备好纸笔，以便进行 详细的推导和计算； • 学习和理解术语，给术语赋予特殊的含 义，加深理解。 • 多做习题，加深理解。 3/34 第一章 命题逻辑 第一章 命题逻辑 • 数理逻辑是用数学方法研究思维规律的一门学 科。所谓数学方法是指:用一套数学的符号系统 来描述和处理思维的形式与规律。因此，数理 逻辑又称为符号逻辑。 • 数理逻辑和计算机的发展有着密切的联系，它为 机器证明、自动程序设计、计算机辅助设计等计 算机应用和理论研究提供必要的理论基础。 • 古典数理逻辑：命题逻辑和谓词逻辑—是计算机 科学很重要的数学基础。 • 现代数理逻辑：逻辑演算、证明论、公理集合论、 递归论和模型论 。 • 本章介绍数理逻辑中最基本的内容命题逻辑。首 先引入命题、命题公式等概念。然后,在此基础 上研究命题公式间的等值关系和蕴含关系,并给 出推理规则,进行命题演算。 5/34 数理逻辑的创始人--莱布尼茨 (Leibniz, Gottfried Wilhelm) (Leibniz, Gottfried Wilhelm) ((LLeeiibbnniizz,, GGoottttffrrii