《离散数学》是研究离散对象的数学分支。是数学类、信息技术类专业的核心课程。通过此门课程的学习，可以培养和提高抽象思维和逻辑推理的能力，培养学生数学建模能力和数学素养。 本课程讲述的主要内容包括：数理逻辑、集合论、图论和代数系统四个部分。 数理逻辑部分主要介绍命题逻辑和谓词逻辑的相...