《离散数学》课程教学大纲.docVIP

《离散数学》课程教学大纲 课程代码：ABXX0502 课程中文名称: 离散数学 课程英文名称：Discrete Mathematics 课程性质：必修 课程学分数：2.5 课程学时数：40 授课对象：信息与计算科学 本课程的前导课程：高等数学、线性代数 一、课程简介 离散数学是现代数学的重要分支，是计算机科学的基础理论，是信息与计算科学专业的基础课。本课程着重讨论数理逻辑、集合论、代数结构、图论四个方面的内容。通过本课程的学习，能为后续相关专业理论课的学习以及将来从事软、硬件开发和应用研究打下坚实的数学基础和提供必要的数学工具，也能培养学生的抽象思维能力和严格逻辑推理能力，提高学生分析问题和解决问题的能力。 二、教学基本内容和要求 第一部分 命题逻辑 课程教学内容：本章是本门课程的重点内容之一。命题符号化及联结词、命题公式及分类、联结词全功能集、推理理论。 课程的重点：命题符号化、判断有效结论的构造推理证明方法。 课程的难点：判断有效结论的构造推理证明方法。 课程教学要求：熟练掌握常用联结词、命题符号化、合式公式、公式分类、推理规则、推理定律、判断有效结论的构造推理证明方法；掌握命题，公式解释，真值表，代入规则，替换规则，公式的标准型（析取范式、合取范式、主析取范式、主合取范式），判断有效结论的真值表法和间接证法；了解联结词的扩充。 第二部分 一阶逻辑 课程教学内容：本章是