01第一讲-命题与连接词.docVIP

南方医科大学 教 案 — 学年 季学期 所在单位 生物医学工程学院 系、教研室 医学信息研究所 课程名称 离散数学 授课对象 授课教师 卢振泰 职 称 讲师 教材名称 离散数学 南方医科大学教案首页 授课题目 命题与连接词 授课形式 讲授 授课时间 授课学时 3 教学目的 与 要 求 掌握命题逻辑中的连接词 要求会用连接词将命题符号化 基本内容 命题连接词：否定、合取、析取、蕴涵、等价 重 点 难 点 主析取范式和主合取范式、自然推理系统 主要教学 媒 体 Powerpoint 主 要 外 语 词 汇 Proposition, negation, conjunction, disjunction, implication 有关本内容的新进展 主要参考资料或相关网站 系、教研室 审查意见 课后体会 教学过程 教学内容 时间分配和 媒体选择 如何与前面所学知识的衔接、讲解哪些