离散数学-南阳理工学院.DOC

离散数学 Discrete Mathematics 适用范围：2012本科人才培养方案 课程编号：0601108040 学 分：3学分 学 时：48（其中：讲课学时：48 实验学时：0 上机学时：0 ） 先修课程：高等数学、线性代数 适用专业：计算机科学与技术专业、计算机科学与技术专业（信息安全方向） 教 材：《离散数学》，耿素云、屈婉玲 编著，高等教育出版社，2008 开课单位：计算机与信息工程学院 一、课程性质和任务 课程性质：本课程是计算机科学与技术专业的一门专业平台必修课，具有很强的实践性。离散数学是计算机科学基础理论中的核心内容之一。 课程任务：本课程的任务是通过对《离散数学》的学习，使学生初步掌握研究计算机科学的基础理论。能够掌握集合的概念、运算及应用，集合内元素间的关系以及集合之间的关系；掌握抽象代数的基本理论和应用；掌握图论学科的基本理论知识和相关应用；掌握数理逻辑中命题演算、谓词演算等形式逻辑的推理规律。离散数学课程的开设并不是单纯传授该课的知识，更重要的是给学生展开一个新的观察自然的角度、新思维方法和一个新的研究问题的方法，为今后在相应学科的学习的发展打下良好的基础。 二、课程的基本内容及要求 （一） 命题逻辑基本概念 1．课程教学内容 （1）命题与联结词：命题的概念以及五种联结词的用法； （2）命题公式及其赋值。 2．课程重点、难点： 重点：命题如何符号化。 难点：判断公式的类型。 3．课程教学要求 （1）了解命题的关概念，能够正确判断命题及其真值； （2）掌握命题如何符号化； （3）了解命题公式的概念，掌握公式的类型判断。 （二） 命题逻辑等值演算 1．课程教学内容 （1）等值式； （2）析取范式与合取范式； （3）联结词的完备集。 2．课程重点、难点 重点：等值演算。 难点：主析取范式与主合取范式。 3．课程教学要求 （1）理解等值式的概念及含义； （2）掌握等值演算方法； （3）掌握16组重要等值式的使用； （4）理解了解析取范式与合取范式以及极大项、极小项的概念； （5）掌握主析取范式与主合取范式的求解问题； （6）理解联结词的完备集概念，熟悉它的使用。 （三）命题逻辑的推理理论 1．课程教学内容 （1）推理的形式结构； （2）自然推理系统。 2．课程重点、难点 重点：自然推理系统证明。 难点：九条重要的推理定律。 3．课程教学要求 （1）理解推理的形式结构； （2）掌握九条重要的推理定律； （3）掌握自然推理系统的定义证明方法，包括附加前提证明法、归谬法； （4）掌握各种自然推理系统证明。 （四） 一阶逻辑基本概念 1．课程教学内容 （1）一阶逻辑命题符号化； （2）一阶逻辑公式及解释。 2．课程重点、难点 重点：一阶逻辑命题符号化用法。 难点：自由出现和约束出现。 3．课程教学要求 （1）了解一阶逻辑的有关知识和描述方式； （2）掌握一阶逻辑命题符号化的三要素：个体词、谓词和量词的概念和用法； （3）了解一阶逻辑公式的定义及解释； （4）理解一阶逻辑公式的类型以及代换实例。 （五） 一阶逻辑等值演算与推理 1．课程教学内容 （1）一阶逻辑等值式与置换规则； （1）一阶逻辑前束范式； （1）一阶逻辑的推理理论。 2．课程重点、难点 重点：一阶逻辑等值式；一阶逻辑前束范式；UI、UG、EI、EG规则。 难点：自然推理系统F中构造证明。 3．课程教学要求 （1）理解一阶逻辑等值式的概念； （2）掌握一阶逻辑等值式的置换规则； （3）掌握重要的一阶逻辑等值式，包括消去量词、量词否定量词辖域的收缩和扩张、换名规则、代替规则； （4）掌握一阶逻辑前束范式的求法； （5）掌握应用各种推理定律和UI、UG、EI、EG规则，在自然推理系统F中构造证明。 （六） 集合代数 1．课程教学内容 （1）集合的基本概念； （2）集合的运算； （3）集合恒等式。 2．课程重点、难点 重点：集合的运算：文氏图和包容排斥原理。 难点：利用集合知识解决实际问题。 3．课程教学要求 （1）了解集合的相关概念，集合通常用大写英文字母表示等； （2）理解幂集的求法； （3）掌握集合的运算：并、交、相对补、对称差； （4）掌握文氏图的画法和包容排斥原理； （5）掌握应用集合知识解决实际问题。 （七） 二元关系 1．课程教学内容 （1）有序对与笛卡儿积； （2）二元关系； （3）关系的运算； （4）关系的性质； （5）关系的闭包； （6）等价关系与划分； （7）偏序关系。 2．课程重点、难点 重点：关系的运算；关系的性质；闭包运算。 难点：哈斯图。 3．课程教学要求 （1）理解有序对与的概念，掌握笛卡儿积的求法； （2）了解二元关系的相关概念以及二元关系的三种表示方式：集合表达式、关系矩阵、关系