离散数学教案范本

《离散数学教案范本》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、....《离散数学》教案课目：第一章命题逻辑教师：熊建英学时：12课时整理....Ⅰ教学提要一、教学对象（人数）学生：信息安全专业本科二年级学生50人二、教学目标（任务）各小结中知识点掌握程度(*理解；**基本掌握；***熟练掌握)知识点程度1.1命题及联接词(1)命题的概念、表示方法及基本分类*(2)五种联接词的逻辑关系***(3)复合命题符号化***(4)复合命题的真值判断***1.2命题公式及其赋值(1)合式公式的概念、层次及不同的解释**(2)求公式的真值表的方法***(3)判断命题公式的类别

2、:永真式、永假式、可满足式***(4)公式与真值表之间的关系**1.3等值式(1)等值式的概念*(2)通过等值演算判断两个公式是否等值***(3)通过真值表判断两个公式是否等值***1.4析取范式与合取范式(1)简单析取与简单合取的定义*(2)析取范式与合取范式定义**(3)大项与小项定义*(4)主析取范式与主合取范式定义**(5)利用等值演算与真值表求得主范式***1.5推理理论与消解法(1)推理定义、规则*(2)推理证明的方法***(3)消解法***1.6应用案例(1)命题逻辑应用领域***(2)

3、典型应用案例**(3)编写程序求解复杂命题**三、教学要求（一）学生：着重知识点的学习，积极思考，参与提问。（二）教官：严格纪律，严密组织、保持良好教学秩序，确保教学效果。四、教官分工主讲教师1名：负责教案编写，课堂的组织教学，教学总结编写。整理....五、本章重点1、利用联接词构造复合命题公式2、真值表的构建3、等值演算4、复合命题公式转化为主析取范式、主合取范式的方法5、推理证明六、本章难点1、利用命题公式演算、真值表进行等值判断和公式类型判断2、利用命题公式演算、真值表转化主析取范式、主合取范式

4、3、将现实背景下的条件约束构造为命题公式七、教学方法采用课堂教授，主要使用多媒体课件，部分内容及例题用黑板解释。八、课时分配1.1命题及联接词2课时；1.2命题公式及其赋值2课时；1.3等值式2课时；1.4析取范式与合取范式2课时；1.5推理理论与消解法2课时；1.6命题逻辑应用案例2课时；九、场地器材多媒体教室十、参考书目1、杨圣洪、张英杰、陈义明：《离散数学》，科学出版社，2011年。2、屈婉玲、耿素云、张立昂：《离散数学》，高等教育出版社，2008年。3、屈婉玲、耿素云、张立昂：《离散数学学习指

5、导与习题解析》，高等教育出版社，2008年。整理....Ⅱ教学进程1.1命题及联接词（2课时）一、教学内容1、命题的概念表示与分类2、五种基本的联接词的逻辑关系3、复合命题的符号化4、复合命题的真值判断二、课程时间安排1、首先介绍本课程的性质，任务和教学安排，对学生明确提出教学上的要求（10分钟）2、介绍离散数学学科的发展历史（20分钟）3、命题与真值、命题的分类、简单命题符号化（15分钟）4、联结词与复合命题（35分钟）5、本次课小结（10分钟）三、教学实施（一）创设意境、导入课程（10分钟）目的体

6、会离散数学理论在现实生活中的应用、是计算机专业多门核心课程的基础，让学生明白“离散数学”课程作用和意义。1、从生活应用中理解逻辑推理作用，及离散数学学习意义；如：犯罪推理、电路设计、人事安排的最优方案、网络中最优路径等；(1)逻辑推理问题范例（PPT展示一个犯罪推理案例）(2)离散数学是一门可以对逻辑推理规律建立相应的符号运算系统，解决此类问题的科学。2、离散数学与其他专业课程的联系；(1)涉及多门计算机专业中很多专业课程，如：编程语言、数据结构、操作系统、数据数据加密。整理....通过事先了解“教学

7、计划”中学生已经学过的专业课程，后面将着重以计算机基础与C语言编程为例(2)以C语言编程中算法、条件判断为例(3)以计算机基础中逻辑运算为例总结：计算机在日常生活中的用途是非常大的，进一步说明该课程的任务和教学安排，对学生明确提出教学上的要求。（二）离散数学的发展史（20分钟）1、利用多媒体向学生简要介绍离散数学学科的发展历史，了解离散数学的起源和一些重要的人物资料。2、介绍第一章命题逻辑的主要内容、及在生活中的应用、引发同学们对离散数学的兴趣。（三）命题与真值、命题的分类、简单命题符号化（15分钟）

8、1、命题与联接词（1）数理逻辑研究的中心问题是推理。（2）推理的前提和结论都是表达判断的陈述句。（3）表达判断的陈述句构成了推理的基本单位。2、命题概念（1）称能判断真假而不是可真可假的陈述句为命题（2）作为命题的陈述句所表达得的判断结果称为命题的真值。（3）真值只取两个:真与假。真值为真的命题称为真命题。真值为假的命题称为假命题。说明:感叹句、疑问句、祈使句都不能称为命题。判断结果不唯一确定的陈述句不是命题。陈述句中的悖论不是命题。但现在不知道真假，未