离散数学离散数学主讲教师主讲教师:邹复民邹复民离散数学是现代数学的一个重要分支。是计算机科学中基础理论的核心课程，为计算机科学提供了有力的理论基础和工具。离散数学的基本思想、概念和方法广泛地渗透到计算机科学与技术发展的各个领域，而且其基本理论和研究成果更是全面而系统地影响和推动着其发展。离散数学的内容十分丰富，最重要，最核心的是：数理逻辑、集合论、代数系统和图论。本课程主要讲授以上四个方面的内容。数理逻辑简介数理逻辑简介 数理逻辑是用数学方法来研究推理的形式结构和推理规律的数学学科，它与数学的其它分支、计算机科学、人工智能、语言学等学科均有密切的联系。命题逻辑和一阶谓词逻辑是数理逻辑中最成熟的部分，在计算机科学中应用最为广泛，其中命题逻辑是数理逻辑的最基础部分，谓词逻辑是在它的基础上发展起来的。本课程在第一，二两章中介绍数理逻辑的内容。第一章命题逻辑第一节 命题符号化及联结词内容：内容：命题，逻辑联结词，命题符号化(1)掌握命题概念(2)掌握联结词含义及真值表(3)掌握命题符号化方法 重点：重点：一、命题的概念一、命题的概念 命题：能判断真假的陈述句。例例1、判断下列句子中哪些是命题。
