离散数学范本讲解.doc

《离散数学》教案 课目： 第一章 命题逻辑 教师： 熊建英 学时： 12课时 Ⅰ 教学提要 一、教学对象（人数） 学生：信息安全专业本科二年级学生50人 二、教学目标（任务） 各小结中知识点掌握程度(* 理解；** 基本掌握；***熟练掌握) 知识点 程度 1.1命题及联接词 (1)命题的概念、表示方法及基本分类 * (2)五种联接词的逻辑关系 *** (3)复合命题符号化 *** (4)复合命题的真值判断 *** 1.2 命题公式及其赋值 (1)合式公式的概念、层次及不同的解释 ** (2)求公式的真值表的方法 *** (3)判断命题公式的类别:永真式、永假式、可满足式 *** (4)公式与真值表之间的关系 ** 1.3 等值式 (1)等值式的概念 * (2)通过等值演算判断两个公式是否等值 *** (3)通过真值表判断两个公式是否等值 *** 1.4 析取范式与合取范式 (1) 简单析取与简单合取的定义 * (2) 析取范式与合取范式定义 ** (3) 大项与小项定义 * (4) 主析取范式与主合取范式定义 ** (5) 利用等值演算与真值表求得主范式 *** 1.5 推理理论与消解法 (1)推理定义、规则 * (2)推理证明的方法 *** (3)消解法 *** 1.6 应用案例 (1)命题逻辑应用领域 *** (2)典型应用案例 ** (3)编写程序求解复杂命题 ** 三、教学要求 （一）学生：着重知识点的学习，积极思考，参与提问。 （二）教官：严格纪律，严密组织、保持良好教学秩序，确保教学效果。 四、教官分工 主讲教师1名：负责教案编写，课堂的组织教学，教学总结编写。 五、本章重点 1、利用联接词构造复合命题公式 2、真值表的构建 3、等值演算 4、复合命题公式转化为主析取范式、主合取范式的方法 5、推理证明 六、本章难点 1、利用命题公式演算、真值表进行等值判断和公式类型判断 2、利用命题公式演算、真值表转化主析取范式、主合取范式 3、将现实背景下的条件约束构造为命题公式 七、教学方法 采用课堂教授，主要使用多媒体课件，部分内容及例题用黑板解释。 八、课时分配 1.1 命题及联接词 2课时； 1.2 命题公式及其赋值 2课时； 1.3 等值式 2课时； 1.4 析取范式与合取范式 2课时； 1.5 推理理论与消解法 2课时； 1.6 命题逻辑应用案例 2课时； 九、场地器材 多媒体教室 十、参考书目 1、杨圣洪、张英杰、陈义明：《》，，年。《》，出版社，年。出版社，年。Ⅱ 教学进程 1.1 命题及联接词（2课时） 一、教学内容 1、命题的概念表示与分类 2、五种基本的联接词的逻辑关系 3、复合命题的符号化 4、复合命题的真值判断 二、课程时间安排 1、首先介绍本课程的性质，任务和教学安排，对学生明确提出教学上的要求（10分钟） 2、介绍离散数学学科的发展历史（20分钟） 3、命题与真值、命题的分类、简单命题符号化（15分钟） 4、联结词与复合命题（35分钟） 5、本次课小结（10分钟） 三、教学实施 （一）创设意境、导入课程 （10分钟） ( 目 的 体会离散数学理论在现实生活中的应用、是计算机专业多门核心课程的基础，让学生明白“离散数学”课程作用和意义。 1、从生活应用中理解逻辑推理作用，及离散数学学习意义； 如：犯罪推理、电路设计、人事安排的最优方案、网络中最优路径等； (1)逻辑推理问题范例（PPT展示一个犯罪推理案例） (2)离散数学是一门可以对逻辑推理规律建立相应的符号运算系统，解决此类问题的科学。 2、离散数学与其他专业课程的联系； (1) 涉及多门计算机专业中很多专业课程，如：编程语言、数据结构、操作系统、数据数据加密。 (通过事先了解“教学计划”中学生已经学过的专业课程，后面将着重以计算机基础与C语言编程为例( (2) 以C语言编程中算法、条件判断为例 (3) 以计算机基础中逻辑运算为例 总结：计算机在日常生活中的用途是非常大的，进一步说明该课程的任务和教学安排，对学生明确提出教学上的要求。 （二）离散数学的发展史 （20分钟） 1、利用多媒体向学生简要介绍离散数学学科的发展历史，了解离散数学的起源和一些重要的人物资料。 2、介绍第一章命题逻辑的主要内容、及在生活中的应用、引发同学们对离散数学的兴趣。 （三）命题与真值、命题的分类、简单命题符号化（15分钟） 1、命题与联接词 （1）数理逻辑研究的中心问题是推理。 （2）推理的前提和结论都是表达判断的陈述句