蚌埠医学院备课教案2014一2015学年度第一学期姓名：翟菊叶职称：讲师系（部）：教研室授课对象：2013本科专业：信息管理与信息系统专业授课时间：中选用授课文离散数学离散数学（第四版）3课时教材时间课程名称 英章节授课第2章命题逻辑Discrete Mathematics文及内容2.3、2.4地点本章教学内容：谓词、量词及谓词公式等概念，基本等价式、永真蕴涵式及谓词演算的形式推理方法，谓词范式的概念教学目的教学目的：与要求1.深刻理解个体、谓词、量词的概念。：2.深刻理解原子、公式、解释的概念。3.掌握用解释的方法证明等价式和蕴涵式。：4.熟练掌握谓词演算的形式推理方法。教学重点：1.个体、谓词、量词的概念：2.用解释的方法证明等价式和蕴涵式教学重点3.谓词演算的形式推理方法难点教学难点：1.解释的方法证明等价式和蕴涵式；2.谓词演算的形式推理方法主要教学多媒体课件、板书方法教具计算机、黑板教学过程及教学方法主要教学内容时间分配40分钟定义2.10设A、B是一阶逻辑中任意的两公式，若A<>B为逻辑有效式，则称A与B是等值的，记作A台B.称A台B为等值式。由于重言式都是逻辑有效式，因而第1章1.3节中给出的24个等值式及其代换实例都是一阶逻辑中的等值式。下面以定理的形式给出一阶逻辑中其他一些重要的等值式。定理2.1量词否定等值式定理2.2量词辖域收缩与扩张等值式例2.10证明定理2.3量词分配等值式举例定理2.4下面两等式成立定义2.11前束范式例2.11求下列公式的前束范式公式的前束范式是不唯一的。一个公式的前束范式的各指导项应是各不相同的，原公式中自由出现的个体变项在前束范式中还应举例是自由出现的。证明“苏格拉底三段式”。一阶逻辑的推理理论远比命题逻辑的推理理论复杂。60分钟例题分析20分钟课堂测试作业及1.课本的例题复习2.例3.习题思考题
蚌 埠 医 学 院 备 课 教 案 2014－2015 学年度第一学期 姓 名：翟菊叶 职称：讲师 系（部）： 教研室： 授课对象：2013 本科 专业：信息管理与信息系统专业 授课时间： 课程 名称 中 文 离散数学 选用 教材 离散数学（第四版） 授课 时间 3 课时 英 文 Discrete Mathematics 章节 及内容 第 2 章 命题逻辑 2.3、2.4 授课 地点 教学目的 与要求 本章教学内容：谓词、量词及谓词公式等概念，基本等价式、永真蕴涵式及谓词演 算的形式推理方法，谓词范式的概念 教学目的： 1.深刻理解个体、谓词、量词的概念。；2.深刻理解原子、公式、解释的概念。 3.掌握用解释的方法证明等价式和蕴涵式。；4.熟练掌握谓词演算的形式推理方法。 教学重点 难 点 教学重点：1.个体、谓词、量词的概念；2.用解释的方法证明等价式和蕴涵式 3.谓词演算的形式推理方法 教学难点：1.解释的方法证明等价式和蕴涵式；2.谓词演算的形式推理方法 主要教学 方 法 多媒体课件、板书 教 具 计算机、黑板 教学过程及 时间分配 主 要 教 学 内 容 教学方法 40 分钟 60 分钟 20 分钟 定义 2.10 设 A、B 是一阶逻辑中任意的两公式，若 A B 为逻 辑有效式，则称 A 与 B 是等值的，记作 A B,称 A B 为等值式。 由于重言式都是逻辑有效式，因而第 1 章 1.3 节中给出的 24 个等值 式及其代换实例都是一阶逻辑中的等值式。 下面以定理的形式给出一阶逻辑中其他一些重要的等值式。 定理 2.1 量词否定等值式 定理 2.2 量词辖域收缩与扩张等值式 定理 2.3 量词分配等值式 例 2.10 证明 定理 2.4 下面两等式成立 定义 2.11 前束范式 例 2.11 求下列公式的前束范式 公式的前束范式是不唯一的。一个公式的前束范式的各指导项 应是各不相同的，原公式中自由出现的个体变项在前束范式中还应 是自由出现的。 证明“苏格拉底三段式”。一阶逻辑的推理理论远比命题逻辑的 推理理论复杂。 例题分析 课堂测试 举例 举例 作业及 思考题 1．课本的例题复习 2．例 3．习题
《离散数学》，左孝凌等编著，高等教育出版社，1982：1.参考书籍与2.《离散数学及应用》（原书第四版），（美）kennethH.Rosen著，袁崇义、曲婉玲常用网址王捍平等译，北京机械工业出版社，2002课后小结
参考书籍与 常用网址 1．《离散数学》，左孝凌等编著，高等教育出版社，1982； 2.《离散数学及应用》（原书第四版），（美）kenneth H.Rosen 著，袁崇义、曲婉玲、 王捍平等译，北京机械工业出版社，2002 课后小结