离散数学教案99337.docVIP

西 南 林 业大学 离散数学教案 课程名称：离散数学 课程类型：必修 课程学时：48 授课方式：课堂讲授 授课专业：信息与计算科学 教 师 ： 谢爽 职 称 ： 讲师 基本教材：《离散数学》左孝凌等编著 上海科学技术出版社 1982 课程简介 离散数学是现代数学的重要分支，主要研究离散量的结构和相互之间的关系。离散数学是一门计算机及相关学科的专业基础课。 离散数学课程的内容主要涉及数理逻辑，集合论，代数系统及图论等部分，主要介绍各组成部分的基本概念，基本理论、基本研究方法和研究工具的课程。它的内容广泛的应用于计算机及其相关学科的各个领域，并为数据结构、编译原理、操作系统、数据库和人工智能等提供了必要的数学基础。通过对本课程的学习，既培养和提供学生的抽象思维和逻辑思维能力，提高学生解决问题的能力和技巧。又为学生今后的学习和工作奠定了坚实的专业基础。 参考教材： 1.《离散数学》，左孝凌等编，高等教育出版社，1982 2.《离散数学》，李盘林等编，高等教育出版社 3．《离散数学》，孙吉贵等编，高等教育出版社 4．《离散数学—学习指导与习题解答》，孙吉贵编，高等教育出版社 5. 《离散数学及其应用》，Kenneth H. Rosen著 袁崇义、屈婉玲等译，机械工业出版社 命题逻辑 教学目的和要求 本章共讲授12学时，通过学习，主要培养和提高学生的逻辑思维能力和推理能力，要求学生理解并掌握基本概念，能够熟练的求解命题公式的真值表，判断命题公式的类型，进行命题公式的等值演算，寻找命题公式的范式和主范式。在掌握推理规则的同时，能够熟练的进行命题公式的推理。 二、教学重点、难点 本章主要内容包括基本概念的理解和掌握，命题的符号化，构造命题公式的真值表。准确掌握24个等值式。采用真值表法和公式法判断命题公式的类型，验证命题公式间的等值，求解命题公式的范式及主范式，并将之应用在实际问题中。根据推理规则，应用等值式及蕴含式进行命题的推理演算。 本章的学习尤其要着重概念的理解和掌握，并对24个等值式、8条推理定律和3条基本的推理规则进行理解记忆。强化学生构造真值表，求解命题公式主范式及推理演算的训练。使学生真正掌握本章内容。 三、讲授方式 课堂讲授 四、教学内容与时间安排 课次 周次 授课形式 教学内容 1 1 理论课 1.1 命题及其表示法 1.2 联结词（否定、合取、析取、条件、双条件） 1.3 命题公式与翻译 2 1 理论课 真值表与等价公式 重言式（永真公式） 3 2 理论课 1.5 蕴含式 1.6 其他联结词（不可兼析取、条件否定、与非、或非） 4 2 理论课 1.7 对偶与范式（主析取范式、主合取范式） 5 3 理论课 1.8 推理理论 （真值表法、直接证法、间接证法） 6 3 习题课、课堂讨论 第一章习题讲解，重点：真值表，主范式和推理理论 第二章 谓词逻辑 一、教学目的要求 本章讲授10学时，命题逻辑以简单命题为研究单位研究命题之间的逻辑关系和推理关系，但它忽略了命题在内部结构层次上的联系。在本章，对简单命题进一步分析，分解出其中的个体词、谓词和量词等。研究简单命题的形式结构，逻辑关系和推理规则。通过学习，使学生能够进行谓词逻辑的命题符号化，掌握谓词公式的解释，并讨论谓词公式在特定解释下的真值。通过掌握谓词逻辑等值式进而求解谓词公式的前束范式。掌握谓词逻辑的推理规则构造谓词逻辑推理的证明。 二、教学重点难点 本章主要围绕谓词公式展开讨论，着重加强对量词和特性谓词的理解，强化谓词逻辑等值式，和涉及量词的四条推理规则的理解记忆。掌握判别谓词公式类型的方法：分析法，准确应用规则，进行谓词逻辑的推理证明。 在本章，尤其要注意在等值演算、求解前束范式和在谓词逻辑推理过程中关于存在量词和全称量词的处理。 三 讲授方式 课堂讲授 四、教学内容与时间安排 课次 周次 授课形式 教学内容 7 4 理论课 2.1 谓词的概念与表示 2.2 命题函数与量词（全称量词，存在量词） 2.3 谓词公式与翻译 8 4 理论课 2.4 变元的约束 2.5 谓词演算的等价式与蕴含式 9 5 理论课 2.6 前束范式（前束合取范式、前束析取范式） 10 5 理论课 2.7 谓词演算的推理理论 11 6 习题课、课堂讨论 第二章习题讲解 第三章 集合与关系 一、教学目的要求 本章讲授14学时，集合论是现代科学的基础，理解集合的关系，运算，性质等。关系反映对象即元素之间的联系与性质，通过对关系的表达形式，关系的运算以及两类重要的关系的学习，掌握分析和解决问题的技能。 通过学习，掌握几类重要的集合，掌握关系的5中性质以及关系性质的判定，关系的闭包和复合运算的概念与求解，等价关系及划分的概念