离散数学 第二版 高职计算机应用技术 王宗传 教学大纲 离散数学 教学大纲.docVIP

PAGE PAGE 1 《离散数学》教学大纲（高职高专） 课程的性质 本课程是为高职高专院校计算机类专业开设的专业基础课。 离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程，是学习专业理论不可少的数学工具。离散数学是以研究离散量的结构和相互间的关系为主要目标，其研究对象一般地是有限个和可数个元素，充分描述了计算机科学离散性的特点。在计算机科学中，离散数学与数据结构、操作系统、逻辑设计、算法分析、编译原理、人工智能、系统结构等课程联系紧密。 掌握集合论、数理逻辑和图论等离散数学的基本概念和基本原理，为学习计算机专业各后续课程做好必要的知识准备。进一步提高学生的抽象思维和逻辑推理能力，为从事计算机的应用提供必要的描述工具和理论基础。 二． 课程的教学目的和要求 在计算机科学教学中，离散数学主要是为专业服务的基础理论课，是一门概念较多、理论性较强，应用性较广的课程。本课程主要教授数理逻辑、集合论、代数系统、图论方面的基础知识，是计算机科学与技术教学中一些后续课程学习的基础和工具。通过本课程的学习，要使学生掌握离散数学的基本概念和基本原理，以现代数学的观点和方法，初步掌握处理离散结构所必须的描述工具和方法。同时，也要培养学生抽象思维、慎密概括、逻辑推理的能力，从而使学生具有良好的开拓专业理论的素质和使用所学知识，分析和解决实际问题的能力。 三． 课程的主要教学内容 1.命题逻辑: 命题与联结词、逻辑等价和永真蕴含式；推理理论，范式。 2.谓词逻辑: 谓词与量词，谓词公式与变元约束，谓词演算的等价式与永真蕴含式；前束范式；谓词逻辑的推理理论。 3.集 合 论：集合的基本概念，集合的运算，包含排斥原理。 4.二元关系与函数：集合的笛卡尔乘积，关系的定义，关系的表示法，特殊关系，复合关系和逆关系，关系的闭包运算，函数的定义，特殊函数，复合函数和逆函数。 5.代数结构：代数系统，特殊运算和特殊元素；同构概念，半群、群；子群，循环群，置换群；陪集和拉格朗日定理。环、域；格与布尔代数。 6.图论：图的基本概念，通路、回路及图的连通性，赋权图的最短通路，图与矩阵表示、欧拉图与哈密顿图、平面图与二部图、无向树，有向树及其应用。 四．课程的教学要求层次 教学要求中，有关定义、定理、性质、特征等内容要求，由低到高分“知道、了解、理解”三个层次；有关计算、解法、公式、法则等方法的内容要求，由低到高分“会、掌握、熟练掌握”三个层次。 五．教学时数安排 本课程可安排为72学时。学时分配如下表： 教学时数分配表 章、节 教 学 内 容 教 学 时 数 第一章 命题逻辑 14 第二章 谓词逻辑 10 第三章 集合 8 第四章 二元关系和函数 12 第五章 代数系统简介 8 第六章 图的基本概念 10 第七章 一些特殊的图 10 合 计 72 教 学 内 容 一．命题逻辑 （一）教学内容： 命题与联结词，复合命题与命题公式； 真值表与逻辑等价：命题公式的真值表和常用的逻辑等价公式。 永真蕴含式概念和常用的永真蕴含公式。 4．命题演算的推理理论。 （二）教学目的： 数理逻辑是用数学方法来研究推理规律的方法。本章和下一章介绍数理逻辑最基本的内容：命题逻辑和谓词逻辑，是后续相关课程学习的工具。通过这两章学习，要求学生熟悉真值表及其应用，熟悉命题和谓词的概念；熟悉命题公式和谓词公式的演算；掌握命题的公式符号化应用；领会推理理论及其规则；掌握推理演算方法。 （三）教学知识点及基本要求 理解命题的概念，会判断语句是否命题，会将命题符号化； 掌握六个联结词的真值表，掌握命题公式真值表的构造法； 掌握命题的常用逻辑等价公式，熟练掌握对命题公式进行逻辑等价变换的方法。 掌握命题演算的永真蕴含式以及命题逻辑的推理演算方法。 【重点】 命题符号化，命题公式真值表的构造法，对命题公式进行逻辑等价变换，命题逻辑的推理演算。 【难点】命题符号化，命题逻辑的推理演算 二．谓词逻辑 （一）教学内容： 1．谓词与个体，量词； 2．谓词公式、自由变元和约束变元; 3．谓词演算的等价式和永真蕴含式； 前束范式； 谓词演算的推理理论。 （二）教学知识点及基本要求 1．理解谓词、量词、变元、个体域等概念；掌握用谓词、量词、联结词构造谓词公式的方法； 2．掌握谓词公式在给定解释下求真值的方法。 3．会将谓词逻辑化为前束范式； 4．会将谓词逻辑作为工具，将命题符号化，并能用推理规则进行逻辑证明。 【重点】谓词与量词，前束范式，命题符号化，谓词逻辑的推理理论。 【难点】前束范式，谓词逻辑的推理理论。命题符号的方法。 三．集合 教学内容： 集合的概念与表示法，集合间的关系和特殊集合，幂集。