《离散数学》习题.doc

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