湖北汽车工业学院
课程教学计划进度表
（2016－2017学年第1学期2周13周）
课程编号：课程名称：主讲教师：系（教研室）：学院（部）填写日期：
020610离散数学A彭彬计算机工程系电气与信息工程学院2017年08月30日
湖北汽车工业学院
教务处
f填
表
说
明
1．本表是教师授课的依据和学生课程学习的情况记录，也是学校和院（系、部）进行教学检查的重要依据，任课教师应根据教学大纲和教学内容的要求认真填写，表中的基本信息和内容应填写完整，不得遗漏。2．表中的“课程考核说明及要求”的内容主要包括课程考核的方式、成绩评定的方法、平时成绩与考试成绩的比例、考试的题型、考试时间以及其他相关问题的说明与要求等。3．表中的“教学过程设计及授课方式”是指教师对教学内容的整体设计及教学过程中所采用的各种教学形式及相关手段的说明，一般包括讲授、多媒体教学、课件演示、练习、实验、讨论、案例等，该项内容应认真思考重点填写。4．表中的学生名单由选课系统进行打印并记载平时成绩，进度表中的“教学后记”主要填写计划的落实和变更情况、教学效果等。5．课程教学计划进度表经系、部领导审签后，不得随意变动，如需调整，在执行情况栏中注明。6．本表开学初A4打印一式两份，任课教师本人一份，一份报课程所在院（系、部），电子稿同时上传网络课堂，教学完成后教师填写完整的一份随考试资料一并存档。7．本表电子表格在教务在线httpjwchuateduc
下载中心下载。
f授课对象专业
软件工程
学时分配班级软件151，152人数63总学总学授课实验上机分时4646400
教材名称（编著者．名称．出版社，出版时间）：
左孝凌、李为、刘用才．离散数学．上海科学技术文献出版社，1988主要参考书（编著者．名称．出版社，出版时间）：左孝凌、李为、刘用才．离散数学理论分析题解．上海科学技术文献出版社，1988邓辉文．散数学（第3版）．清华大学出版社，2014课程考核说明及要求：考核方式：闭卷考试，可选题型有选择题、填空题、解答题、推理证明题。成绩评定：卷面占70，作业占30考试时间：15周
1
f周次
日期
时数
教学内容安排（写明章、节，明确学习的重点难点）
第一章命题逻辑11命题及其表示法12联接词重难点：命题的概念；条件联接词、最小联接词组13命题公式与翻译
教学过程设计及授课方式
由推理的描述引入命题的概念；由命题的数学符号化引入联接词。由数学表达式引出r