离散数学课程教案.docxVIP

教 案 离散数学课程编号学 分 离散数学 课程编号 学 分 4.5 总计 学时：72 讲课 必修课（ √ ） 选修课（ ） 理论课（√ ） 实验课（ ） 学时：72 实验 学时： 刘光辉 职称 讲师 上机 学时： 类别 任课教师 专业班级：信息科学 专业班级： 信息科学 0501、0502、0503 共 3 个班 序号 教材名称 作者 出版社 出版时间 1 离散数学 孙吉贵等 高等教育出版社 2002 年 2 离散数学 王兵山等 国防科技大学出社 2001 年 3 离散数学（修订版） 耿素云屈婉玲 高等教育出版社 2004 年 基本教材和主要参考资料 本课程共分为四个部分，分别是数理逻辑、集合论、代数系统、图论。在教学过程中除讲清楚各部分的基本内容外，还应使学生在以下几方面得到培养和训练。 1. 有效地掌握该门课程中的所有概念。通过讲课和布置一定数量的习题 教学 使学生能够使用所学的概念对许多问题作出正确的判断。 目的 2. 通过课程中许多定理的证明过程复习概念，了解证明的思路，学会证明的方法，并使学生掌握定理的内容和结果。 要求 3. 通过介绍各种做题的方法，启发学生独立思维的能力。创造性的提出自己解决问题的方法，提高学生解决问题的能力。 4． 通过该门课程的学习使学生掌握逻辑思维和逻辑推理的能力，培养学 生正规的逻辑思维方式。教学重点： 数理逻辑：等价演算，推理理论 集合论：集合恒等式，关系运算，关系性质，等价关系，偏序关系 教学 3．代数系统：代数系统，群的性质，子群，陪集与拉格朗日定理，循环群， 置换群 重点 4．图论：图的基本概念，图的矩阵，根树，平面图的概念与性质 教学难点： 难点 一阶逻辑推理，关系的运算，偏序关系，陪集，置换群，根树的应用，平面图的性质 离散数学课程教案 离散数学 课程教案 授课时间 第 周 周 第 节 课次 授课方式 （请打√） 理论课□√ 讨论课□ 实验课□ 习题课□ 其他□ 课时 2 学时安排 授课题目（教学章、节或主题）： 第二章 命题逻辑基本概念 2.2 命题公式及其赋值教学目的、要求： 理解命题公式的概念 掌握基本复合命题及复合命题符号化 掌握公式真值表的构造，掌握公式类型的判断 深刻理解等值式的定义，知道公式之间的等值关系具有自反性、对称性、传递性。 牢记基本等值式的名称及它们的内容，掌握公式的等值演算 教学重点及难点：教学重点：复合命题的符号化 ;构造公式的真值表，并根据真值表 求公式的成真赋值、成假赋值 ;公式的分类，根据真值表判断公式的类型;等值式;等值演算 教学难点：复合命题的符号化 一、命题公式、翻译 教 学 基 本 内 容 方法及手段 教学过程，坚持吸收 合式公式的定义、合式公式的层次; 2．命题的翻译二、真值表 1、赋值; 2、真值表的概念以及构造方法; 3、命题公式的成真赋值、成假赋值 三、公式分类 1．公式的类型; 2．根据真值表判断公式的类型四、等值式 1．等值式的概念; 2．基本的等值式模式;3．等值演算 国内外最新研究成果，相互补充综合利用特色材 料教学。2．将课堂教学、网上自主学习、课后实践教学融入一体的立体化 教学体系 3．传统教学方式与现代教学手段相结 合 作业和思考题： P39:3，P41:1,2， 教学后记： 授课时间 第 周 周 第 节 课次 授课方式 （请打√） 理论课□√ 讨论课□ 实验课□ 习题课□ 其他□ 课时 2 学时安排 授课题目（教学章、节或主题）： 第二章 命题逻辑基本概念 2.1 命题与联结词教学目的、要求： 分清简单命题（既原子命题）与复合命题 深刻理解 5 种常用联结词的涵义，每种联结词的真值 分清“相容或”与“排斥或” 教学重点及难点：教学重点：命题的概念；简单命题（既原子命题）与复合命题； 5 种常用联结词；“相容或”与“排斥或” 教学难点：“相容或”与“排斥或”逻辑区别 教 学 基 本 内 容 引言：离散数学的基本内容，与其他课程的联系，可以解决的实际问题 命题的概念，真命题，假命题，真值 命题的判断，简单命题的符号化 联结词： 每个联结词表示的逻辑关系 每个联结词的真值 作业和思考题：P39:1,2， 方法及手段 教学过程，坚持吸收 国内外最新研究成果，相互补充综合利用特色材 料教学。2．将课堂教学、网上自主学习、课后实践教学融入一体的立体化 教学体系 3．传统教学方式与现代教学手段相结 合 教学后记： 授课时间 第 周 周 第 节 课次 授课方式 （请打√） 理论课□√ 讨论课□ 实验课□ 习题课□ 其他□ 课时 2 学时安排 授课题目（教学章、节或主题）： 第二章 命题逻辑 2.3 等值式 2.4 析取范式与合取范式教学目的、要求： 了