蚌埠医科大学：《离散数学》课程教学资源（教案）第1章 命题逻辑 1.6、1.7

蚌埠医学院备课教案2014一2015学年度第一学期姓名：翟菊叶职称：讲师系（部）：教研室授课对象：2013本科专业：信息管理与信息系统专业授课时间：中文选用授课离散数学离散数学（第四版）3课时教材时间课程名称 英章节授课第1章命题逻辑DiscreteMathematics及内容文1.6、1.7地点本章教学内容：教学目的：教学目的2.熟练掌握常用的基本等值式及其应用：与要求3.熟练掌握（主）析/合取范式的求法及其应用：4.熟练掌握常用的永真蕴涵式及其在逻辑推理中的应用；5.熟练掌握形式演绎的方法。教学重点：1.命题的概念及判断；2.联结词、命题的翻译；3.主析（合）取范式的求法；4.逻辑推理。教学重点难点教学难点：1.主析（合）取范式的求法：2.逻辑推理。主要教学多媒体课件板书方法教具计算机、黑板教学过程及主要教学内容教学方法时间分配1.6推理理论20分钟推理、前提、结论定义定义1.24若（A^Az^^A）→B为重言式，则称A,Az，A举例推出结论B的推理正确，B是Ai，Az，"，A的逻辑结论或有效结论。称（AΛAzΛΛA）→B为由前提Ai,Az，，A推出结论B的推理的形40分钟式结构。由前提推出结论B也记（AAA）=B举例于是，判断推理是否正确的方法就是判断重言蕴涵式的方法，比举例20分钟如真值表法、等值演算法、主析取范式法、构造证明法。重要的推理定律（重言蕴涵式）8条：附加前提证明法：将结论中的前件作为前提的证明法。举例归谬法举例40分钟1.7例题分析作业及1.课本的例题复习2.例1.273.习题1.16、1.17、1.18、1.21思考题1.《离散数学》，左孝凌等编著，高等教育出版社，1982；参考书籍与2.《离散数学及应用》（原书第四版），（美）kennethH.Rosen著，袁崇义、曲婉玲、常用网址王捍平等译，北京机械工业出版社，20023.《离散数学题解》，曲婉玲、联耿素云等编著，清华大学出版社，2008

蚌 埠 医 学 院 备 课 教 案 2014－2015 学年度第一学期 姓 名：翟菊叶 职称：讲师 系（部）： 教研室： 授课对象：2013 本科 专业：信息管理与信息系统专业 授课时间： 课程 名称 中 文 离散数学 选用 教材 离散数学（第四版） 授课 时间 3 课时 英 文 Discrete Mathematics 章节 及内容 第 1 章 命题逻辑 1.6、1.7 授课 地点 教学目的 与要求 本章教学内容： 教学目的： 2.熟练掌握常用的基本等值式及其应用； 3.熟练掌握（主）析/合取范式的求法及其应用； 4.熟练掌握常用的永真蕴涵式及其在逻辑推理中的应用； 5.熟练掌握形式演绎的方法。 教学重点 难 点 教学重点：1.命题的概念及判断；2.联结词、命题的翻译；3.主析（合）取范式的 求法；4.逻辑推理。 教学难点： 1.主析（合）取范式的求法；2.逻辑推理。 主要教学 方 法 多媒体课件 板书 教 具 计算机、黑板 教学过程及 时间分配 主 要 教 学 内 容 教学方法 20 分钟 40 分钟 20 分钟 40 分钟 1.6 推理理论 推理、前提、结论定义 定义 1.24 若（A1  A2  .  Ak） → B 为重言式，则称 A1,A2,.,Ak 推出结论 B 的推理正确，B 是 A1,A2,.,Ak 的逻辑结论或有效结论。称 （A1  A2  .  Ak） → B 为由前提 A1,A2,.,Ak 推出结论 B 的推理的形 式结构。 由前提推出结论 B 也记（A1  A2  .  Ak）  B 于是，判断推理是否正确的方法就是判断重言蕴涵式的方法，比 如真值表法、等值演算法、主析取范式法、构造证明法。 重要的推理定律（重言蕴涵式）8 条： 附加前提证明法：将结论中的前件作为前提的证明法。 归谬法 1.7 例题分析 举例 举例 举例 举例 举例 作业及 思考题 1．课本的例题复习 2．例 1.27 3．习题 1.16、1.17、1.18、1.21 参考书籍与 常用网址 1．《离散数学》，左孝凌等编著，高等教育出版社，1982； 2.《离散数学及应用》（原书第四版），（美）kenneth H.Rosen 著，袁崇义、曲婉玲、 王捍平等译，北京机械工业出版社，2002 3. 《离散数学题解》，曲婉玲、耿素云等编著，清华大学出版社，2008

课后小结

课后小结