离散数学是计算机学科的经典核心基础课程。课程内容主要包括集合论，数理逻辑，关系理论，图论相关内容，为进一步学习计算机科学的基本理论和方法以及之后的专业课打下良好的基础。通过这门课程的学习，将会培养学生的抽象思维能力，逻辑推理能力，缜密概括能力以及分析和解决实际问题的能力。 离散数学 教学课件（配方世昌《离散数学（第三版）》） 第1章 数理逻辑（谓词逻辑部分）文档作者：中南大学计算机学院 郑瑾副教授