离散数学教案范本.pdf

《离散数学》教案 课目： 第一章 命题逻辑 教师： 熊建英 学时： 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) 典型应用案例