湖北汽车工业学院
课程教学计划进度表
（ 2016 － 2017 学年 第 1学期 2周-13周）
课程编号： 课程名称： 主讲教师： 系（教研室）： 学院（部） 填写日期：
020610 离散数学A 彭彬 计算机工程系 电气与信息工程学院 2017年 08 月 30 日
湖北汽车工业学院 教务处
填 表 说 明
1．本表是教师授课的依据和学生课程学习的情况记录，也是学校和院（系、部）进行教学检查的重要依据，任课教师应根据教学大纲和教学内容的要求认真填写，表中的基本信息和内容应填写完整，不得遗漏。
2．表中的“课程考核说明及要求”的内容主要包括课程考核的方式、成绩评定的方法、平时成绩与考试成绩的比例、考试的题型、考试时间以及其他相关问题的说明与要求等。
3．表中的“教学过程设计及授课方式”是指教师对教学内容的整体设计及教学过程中所采用的各种教学形式及相关手段的说明，一般包括讲授、多媒体教学、课件演示、练习、实验、讨论、案例等，该项内容应认真思考重点填写。
4．表中的学生名单由选课系统进行打印并记载平时成绩，进度表中的“教学后记”主要填写计划的落实和变更情况、教学效果等。
5．课程教学计划进度表经系、部领导审签后，不得随意变动，如需调整，在执行情况栏中注明。
6．本表开学初A4打印一式两份，任课教师本人一份，一份报课程所在院（系、部），电子稿同时上传网络课堂，教学完成后教师填写完整的一份随考试资料一并存档。
7．本表电子表格在教务在线http://jwc.huat.edu.cn下载中心下载。
授课对象 专 业 软件工程 学时分配 班级 软件151，152 人数 总学总学授课 实验 上机 分 时 63 4 64 64 0 0 教材名称（编著者．名称．出版社，出版时间）： 左孝凌、李为*、刘用才．离散数学．上海科学技术文献出版社，1988 主要参考书（编著者．名称．出版社，出版时间）： 左孝凌、李为*、刘用才．离散数学理论·分析·题解．上海科学技术文献出版社，1988 邓辉文．散数学（第3版）．清华大学出版社，2014 课程考核说明及要求： 考核方式：闭卷考试，可选题型有选择题、填空题、解答题、推理证明题。 成绩评定：卷面占70%，作业占30% 考试时间：15周 —1—
周 次 日 期 教 学 内 容 安 排 时（写明章、节，明确学数 习的重点难点） 第一章 命题逻辑 1.1命题及其表示法 1.2联接词 重难点：命题的概念；条件联接词、最小联接词组 1.3 命题公式与翻译 教学过程设计 及授课方式 由推理的描述引入命题的概念；由命题的数学符号化引入联接词。 由数学表达式引出命题方式；由数学表达式的取值引出真值表；由数学表达式的化简引出等价公式。 讨论、作业或思考 教学后记 2 9-13 2 P8:6 9-20 2 1.4 真值表与等价公式 重难点：命题翻译；等价的应用 1.5 重言式与蕴含式 P19: (7)d),f) (9) 3 1.6 对偶与范式（1） 9-22 2 重难点：证明蕴含关系的方法；各种范式定义的共性 1.6 对偶与范式（2） 重难点：极大项与极小项的对比；标准范式公式的特点及标准化方法 1.6 推理理论 9-27 2 P23： (1)b)c) 引导学生总结各种(2)b) 范式定义的特点。 P29: (1)a) (2)b) 采用对比法教学，提醒学生只记住其中一种标准化方法即可。 P39: (2)e) (3)b) (4)a)c) (5)b) P47: (2)b) (4)c) P60: (2)a)c)e) P62: (3)b)c) P65: (2)c)d)(4) a)(5)b) P72： (2)c) (4)(7) 9-24 2 通过典型例题总结推理方法；强调各1.7 本章作业评讲 重难点：推理的描述方法；种方法的使用环境。 间接证法 第二章 谓词逻辑 2.1谓词的概念与表示 从命题逻辑的不足引出谓词逻辑的概念、研究方法；对比介绍相应的概念。 引导学生比较两种变元约束的特点；分析谓词位置变化对比的是意义的影响。 4 9-29 2 2.2 命题函数与量词 2.3 谓词公式与翻译 重难点：量词的特点 2.4 变元的约束 2.5 等价式与蕴含式 5 10-8 2 2.6 前束范式 重难点：谓词逻辑中的等价与蕴含 —2—
周 次 日 期 教 学 内 容 安 排 时（写明章、节，明确学数 习的重点难点） 2 2.7 谓词演算的推理理论 2.8 本章作业评讲 重难点：消去或引入谓词的方法 第三章 集合与关系 3.1 集合的概念与表示 3.2 集合的运算 3.3 包含排斥原理 3.4 序偶与笛卡尔积 重难点：序偶；笛卡尔积 教学过程设计 及授课方式 讨论、作业或思考 教学后记 10-8 P79: 通过典型例题总结(1)a)b) 推理的一般方法。 (2)a) (3)a)b)c) 通过回忆中学数学中关于集合的知识引入课程内容；通过有序n元组引入序偶。 通过分析现实生活中的联系来思考关系需要考虑的信息。 P100: (4) P104: (1)b) (2) (5) P109: (1)(5) (6) 10-11 2 6 10-13 2 3.5 关系及其表示 重难点：对关系的理解；关系的表示 10-15 2 3.6 关系的性质 重难点：性质 3.7 关系的复合和逆 通过特殊关系的P113:(1) 图、矩阵来分析关 (2)(5) 系的特殊性质。 P118： (1)(5) P127: (1)(2)a) 10-18 2 3.8 关系的闭包运算 重难点：复合运算；闭包运算 3.9 集合的划分与覆盖 3.10等价关系与等价类 重难点：等价类；商集 从集合、关系图、矩阵三个方面来说明运算的方法。 7 10-20 2 从现实生活对划分P130: 与覆盖的考虑引入(1)(2)(3) 概念。 P134:(2) 10-22 2 3.10 等价关系与等价类 P134: 3.11 相容关系 用对比的方法来介(3）(7） 重难点：等价关系的图示；绍两类关系。 P139: 等价关系与划分的联系 (2)(6) 3.12 序关系 重难点：哈斯图；极值；最值；界 通过高等数学中的相应概念引入。 10-25 8 10-27 2 P145:(1） (6）(7) 2 3.13 本章作业评讲 3.14集合与Java实现 典型错题选讲 无作业 —3—
《离散数学》习题
