《离散数学理论（计科版）》课程教学大纲.docVIP

《离散数学》教学大纲 一、课程基本信息 中文名称 离散数学 英文名称 Discrete Mathematics 适用专业 计算机科学与技术专业 先修课程 高等数学、线性代数 课程类别 学科基础课程 修读性质 必修 学分/学时 4学分/68学时（0实践学时） 考核方式 考试 二、教学目标 离散数学是计算机科学与技术专业的核心基础课程之一，在计算机科学与技术专业课程体系中起到重要的基础理论支撑作用。本课程的教学总体目标是：一，熟悉形式描述、变换、推理和证明方法；二，熟练掌握离散系统的描述和分析方法；三，了解实际离散系统的建模。本课程教学内容为后续专业课程数字逻辑、算法与数据结构、数据库系统原理、操作系统、编译原理、计算机网络和软件工程等奠定相关数学理论基础。 三、教学内容及基本要求 第一章 命题逻辑（10学时） （一）教学目标 1.熟练掌握语句的形式化表示、真值表技术、等值演算方法，运用等值式和推理规则进行推理； 2.能够运用本单元的知识解决相应的实际问题； 3.培养学生严密的逻辑思维能力、推理证明能力以及形式化表示能力。 （二）重点、难点 重点：命题、联结词与语句形式化，命题公式及重言式，基本等值式模式，蕴含重言式，命题逻辑推理； 难点：重言式，命题逻辑的推理证明。 （三）教学方法 通过趣味离散数学问题引入，激发学生的学习兴趣。教学内容以讲授为主，辅以多媒体课件。采用以关键词绘制概念地图的方法梳理本单元的知识点及其联系。 （四）教学内容 1.命题、联结词与语句形式化（2学时） （1）命题及其抽象 （2）常用的逻辑联结词 （3）语句形式化 2.命题公式及其赋值（2学时） （1）命题公式 （2）命题公式的赋值及真值表 （3）命题公式的类型 3.命题逻辑等值演算（4学时） （1）等值式 （2）范式与联结词的归约 4.命题逻辑的推理理论（2学时） （1）推理的形式结构 （2）自然推理系统P （五）作业及要求 本单元是数理逻辑的基础知识，既是所有其他理论的逻辑基础，也是形式化表示的重要工具。因此，要重视本单元的练习，包括语言的形式化表示、等值演算、求范式和推理证明。 （六）课外学习要求 了解命题公式的合取范式的可满足问题的消解算法，对学有余力的学生可以借助网络资源对该问题进行深入研究。 第二章 谓词逻辑（6-8学时） （一）教学目标 1.能够熟练运用谓词逻辑进行语句形式化表示并判断谓词的真值； 2.能正确理解谓词公式的有效性，熟记谓词公式的基本等值式模式和自然推理系统F的推理规则，并能在谓词逻辑下完成推理证明。 （二）重点、难点 重点：个体词、谓词、量词与语句形式化，谓词公式及重言式，基本等值式模式，蕴含重言式，谓词逻辑的推理证明。 难点：个体词、谓词、量词与语句形式化，谓词公式重言式，谓词逻辑的推理证明。 （三）教学方法 采用类比教学法，与命题逻辑的相应内容进行对比教学。 （四）教学内容 1.谓词逻辑的基本概念（3-4学时） （1）个体词、谓词和量词 （2）语句形式化 （3）谓词公式 （4）谓词公式及其解释 2.谓词逻辑等值演算与推理（3-4学时） （1）等值式与置换规则 （2）谓词逻辑前束范式 （3）自然推理系统F与推理规则 （五）作业及要求 熟练掌握谓词逻辑语句的形式化表示、谓词公式的解释，能够灵活运用谓词逻辑等值式和推理规则进行推理证明。 （六）课外学习要求 强化学生的逻辑思维能力，学习用谓词逻辑进行证明这种有效的证明技术。 第三章 集合论（14-16学时） （一）教学目标 1.本单元是其他离散结构的重要基础，需要熟练掌握集合运算及性质，二元关系的性质及运算，函数的性质及运算； 2.熟练掌握集合恒等式的证明以及数学归纳法的证明技术。 （二）重点、难点 重点：集合的基本运算，幂集，数学归纳法，二元关系的性质，等价关系与序关系，函数的定义与性质； 难点：集合的归纳定义、集合相等和包含的证明，二元关系的运算及闭包，复合函数与逆函数。 （三）教学方法 讲授和多媒体教学相结合的教学方法。关系和函数大量应用于计算机软、硬件系统的建模中，教学中通过引入多种典型事例进行介绍。 （四）教学内容 1.集合代数（2学时） （1）集合的表示、基本运算和幂集 （2）集合的归纳定义与归纳法证明 2.二元关系（10-12学时） （1）有序对与笛卡尔积（1学时） （2）二元关系的概念与表示（1-2学时） （3）二元关系的性质（2学时） （4）二元关系的运算与闭包（2学时） （5）集合的覆盖与划分（1学时） （6）等价关系与序关系（3-4学时） 3.函数（2学时） （1）函数的定义与性质 （2）复合函数与逆函数 （五）作业及要求 本单元是离散数学的基础，应适当多布置习题，包括计算题和证明题以及一些较简单的应用关系或函数的建模联系。特别是有关集合恒等式的证明应熟练