《离散数学》教学大纲 课程编码：1512105903 课程名称：离散数学 学时/学分：54/3 先修课程：《数学分析》、《高等代数》 适用专业：信总与计算科学 开课教研室：应用数学教研室 一、课程性质与任务 1.课程性质：离散数学是信息与计算科学专业的一门专业必修课。 2.课程任务：本课程的任务是让学生理解数理逻辑、集合论、代数系统和图论等方面 的基本概念，了解部分定理的证明，掌握部分习题的计算：培养学生严密的逻辑思维、抽象 推理以及发散思维能力，力求将学生培养成为会利用数学知识解决生活、生产实际中所遇问 题的创造性人才。 二、课程教学基本要求 《离散数学》是信息与计算科学专业的一门专业必修课，是现代数学的一个重要分支， 主要研究具有离散特征的变量和结构及相互关系，涉及的内容较广，充分描述了信息计算的 离散性的特点。通过本课程的学习，不仅能为学生学习专业后续课程奠定理论基础，而且能 培养学生抽象思维能力、严格的逻辑推理和创新能力，为将来从事的软、硬件应用开发和理 论研究打下坚实的基础。 成绩考核形式：末考成绩（闭卷考试）(70%)+平时成绩（平时测验、作业、课堂提问、 课堂讨论等)(30%)。成绩评定采用百分制，60分为及格。 三、课程教学内容 第一章命题逻辑 1.教学基本要求 让学生理解和掌握命题逻辑中基本概念和基本方法。 2.要求学生掌握的基本概念、理论、方法 掌握命题概念及表示：掌握联结词命题公式符号及意思：掌握真值表构造方法：掌握等 价公式概念以及等价的基本证明方法：掌握重言式与蕴含式的概念及其证明方法：掌握对偶 与范式的概念，掌握主范式的推导方法：会用直接法、间接法证明命题推理。 3.教学重点和难点 教学重点是命题符号化，真值表构造方法，等价公式的基本证明方法，主范式的推导方 《离散数学》教学大纲 课程编码：1512105903 课程名称：离散数学 学时/学分：54/3 先修课程：《数学分析》、《高等代数》 适用专业：信息与计算科学 开课教研室：应用数学教研室 一、课程性质与任务 1．课程性质：离散数学是信息与计算科学专业的一门专业必修课。 2．课程任务：本课程的任务是让学生理解数理逻辑、集合论、代数系统和图论等方面 的基本概念，了解部分定理的证明，掌握部分习题的计算；培养学生严密的逻辑思维、抽象 推理以及发散思维能力，力求将学生培养成为会利用数学知识解决生活、生产实际中所遇问 题的创造性人才。 二、课程教学基本要求 《离散数学》是信息与计算科学专业的一门专业必修课，是现代数学的一个重要分支， 主要研究具有离散特征的变量和结构及相互关系，涉及的内容较广，充分描述了信息计算的 离散性的特点。通过本课程的学习，不仅能为学生学习专业后续课程奠定理论基础，而且能 培养学生抽象思维能力、严格的逻辑推理和创新能力，为将来从事的软、硬件应用开发和理 论研究打下坚实的基础。 成绩考核形式：末考成绩（闭卷考试）（70%）＋平时成绩（平时测验、作业、课堂提问、 课堂讨论等）（30％)。成绩评定采用百分制，60 分为及格。 三、课程教学内容 第一章 命题逻辑 1．教学基本要求 让学生理解和掌握命题逻辑中基本概念和基本方法。 2．要求学生掌握的基本概念、理论、方法 掌握命题概念及表示；掌握联结词命题公式符号及意思；掌握真值表构造方法；掌握等 价公式概念以及等价的基本证明方法；掌握重言式与蕴含式的概念及其证明方法；掌握对偶 与范式的概念，掌握主范式的推导方法；会用直接法、间接法证明命题推理。 3．教学重点和难点 教学重点是命题符号化，真值表构造方法，等价公式的基本证明方法，主范式的推导方