蚌埠医学院备课教案2014一2015学年度第一学期姓名：翟菊叶职称：讲师系（部）：教研室授课对象：2013本科授课时间：专业：信息管理与信息系统专业中选用授课离散数学离散数学（第四版）3课时文教材时间课程名称英章节授课第1章命题逻辑Discrete Mathematics文及内容1.1、1.2、1.3地点本章教学内容：命题及命题联结词、命题公式、真值表、基本等值式、范式的基本概念，，命题演算的推理理论中常用的直接证明、附加前提证明、反证法证明等方法。教学目的：教学目的1.熟练掌握命题、联结词、复合命题、命题公式及其解释的概念与要求2.熟练掌握常用的基本等值式及其应用：3.熟练掌握（主）析/合取范式的求法及其应用：4.熟练掌握常用的永真蕴涵式及其在逻辑推理中的应用：5.熟练掌握形式演绎的方法。教学重点：1.命题的概念及判断；2.联结词、命题的翻译：3.主析（合）取范式的求法；教学重点难点4.逻辑推理。教学难点：1.主析（合）取范式的求法：2.逻辑推理。多媒体课件主要教学方法板书教具计算机、黑板教学过程及教学方法主要教学内容时间分配20分钟本课程教学安排·教学时数·教学内容·考试形式·学习方法1.0数理逻辑30分钟举例1.1命题符号化及联结词1.1.1命题的基本概念举例命题：原子命题；命题常项；命题变项：复合命题命题的符号化等定义举例1.1.2常用联结词定义1.1否定式、否定联结词定义1.2合取式、合取联结词
蚌 埠 医 学 院 备 课 教 案 2014－2015 学年度第一学期 姓 名：翟菊叶 职称：讲师 系（部）： 教研室： 授课对象：2013 本科 专业：信息管理与信息系统专业 授课时间： 课程 名称 中 文 离散数学 选用 教材 离散数学（第四版） 授课 时间 3 课时 英 文 Discrete Mathematics 章节 及内容 第 1 章 命题逻辑 1.1、1.2、1.3 授课 地点 教学目的 与要求 本章教学内容： 命题及命题联结词、命题公式、真值表、基本等值式、范式的基本概念，命题 演算的推理理论中常用的直接证明、附加前提证明、反证法证明等方法。 教学目的： 1.熟练掌握命题、联结词、复合命题、命题公式及其解释的概念； 2.熟练掌握常用的基本等值式及其应用； 3.熟练掌握（主）析/合取范式的求法及其应用； 4.熟练掌握常用的永真蕴涵式及其在逻辑推理中的应用； 5.熟练掌握形式演绎的方法。 教学重点 难 点 教学重点： 1.命题的概念及判断； 2.联结词、命题的翻译； 3.主析（合）取范式的求法； 4.逻辑推理。 教学难点： 1.主析（合）取范式的求法； 2.逻辑推理。 主要教学 方 法 多媒体课件 板书 教 具 计算机、黑板 教学过程及 时间分配 主 要 教 学 内 容 教学方法 20 分钟 30 分钟 本课程教学安排 ⚫ 教学时数 ⚫ 教学内容 ⚫ 考试形式 ⚫ 学习方法 1.0 数理逻辑 1.1 命题符号化及联结词 1.1.1 命题的基本概念 命题；原子命题；命题常项；命题变项；复合命题；命题的符 号化等定义 1.1.2 常用联结词 定义 1.1 否定式、否定联结词 定义 1.2 合取式、合取联结词 举例 举例 举例
定义1.3析取式、析取联结词（相容或、排斥或）定义1.4蕴涵式、前件、后件、蕴涵联结词定义1.5等价式、等价联结词30分钟1.2命题公式及分类举例定义1.6我们将合式公式称为命题公式，或简称为公式。定义1.7命题公式的层次定义1.8对一个公式的解释或赋值定义，成真赋值、成假赋值。真值表定义：构造真值表的具体步骤定义1.9命题公式类型：重言式或永真式；矛盾式或永假式：可满足式。举例1.3等值演算定义1.10设A、B为两命题公式，若等价式A<>B是重言式，则称A与B是等值的，记作AB.根据定义判断两命题公式是否等值可用真值表法，判断A与B是40分钟否等值等价于判断A、B的真值表是否相同。24个重要的等值式蕴涵等值式；等价等值式：假言易位；等价否定等值式；归谬论举例定理1.1（置换定理）1.课本的例题复习作业及2.例1.24、例1.25、例1.29、例1.30思考题3.习题1.1、1.2、1.3、1.4、1.5、1.6、1.7、1.8、1.9、1.15、1.161《离散数学》，左孝凌等编著，高等教育出版社，1982；参考书籍与《离散数学及应用》（原书第四版），（美）kennethH.Rosen著，袁崇义、曲婉玲、2.常用网址王捍平等译，北京机械工业出版社，2002《离散数学题解》，曲婉玲、耿素云等编著，清华大学出版社，20083.课后小结
30 分钟 40 分钟 定义 1.3 析取式、析取联结词（相容或、排斥或） 定义 1.4 蕴涵式、前件、后件、蕴涵联结词 定义 1.5 等价式、等价联结词 1.2 命题公式及分类 定义 1.6 我们将合式公式称为命题公式，或简称为公式。 定义 1.7 命题公式的层次 定义 1.8 对一个公式的解释或赋值定义，成真赋值、成假赋值。 真值表定义；构造真值表的具体步骤 定义 1.9 命题公式类型：重言式或永真式；矛盾式或永假式； 可满足式。 1.3 等值演算 定义 1.10 设 A、B 为两命题公式，若等价式 A B 是重言式，则 称 A 与 B 是等值的，记作 A B. 根据定义判断两命题公式是否等值可用真值表法，判断 A 与 B 是 否等值等价于判断 A、B 的真值表是否相同。 24 个重要的等值式 蕴涵等值式；等价等值式；假言易位；等价否定等值式；归谬论 定理 1.1（置换定理） 举例 举例 举例 作业及 思考题 1．课本的例题复习 2．例 1.24、例 1.25、例 1.29、例 1.30 3．习题 1.1、1.2、1.3、1.4、1.5、1.6、1.7、1.8、1.9、1.15、1.16 参考书籍与 常用网址 1．《离散数学》，左孝凌等编著，高等教育出版社，1982； 2.《离散数学及应用》（原书第四版），（美）kenneth H.Rosen 著，袁崇义、曲婉玲、 王捍平等译，北京机械工业出版社，2002 3. 《离散数学题解》，曲婉玲、耿素云等编著，清华大学出版社，2008. 课后小结