离散数学

离散数学是数学专业、计算机专业、电子信息和工程专业等众多专业的基础理论课。本课程旨在为计算机科学与技术的研究和应用提供形式化的方法，为实际问题的描述提供数学模型，为问题的求解和机器实现提供数学工具。因此，学习本课程对于提高学生的逻辑思维能力，增强分析问题和解决问题的能力，培养科学的思维方法和数学建模的能力是有重要意义的。本课程包含有五个部分的内容：数理逻辑部分，集合论部分，图论部分，组合数学部分和代数系统部分。其中，数理逻辑部分主要涉及命题公式等值演算、命题逻辑的推理理论、谓词公式的等值演算；集合论部分主要包含集合运算、二元关系、函数与映射；图论部分主要有图的概念与表示、树、欧拉图、哈密顿图等；组合数学部分有基本组合计数公式、递推方程和生成函数；代数系统部分则只是简单介绍几个典型的代数系统。