《离散数学》授课计划（2016-2017学年第一学期）.-济南大学数学科学学院.docVIP

授 课 计 划 2016—2017学年 第一学期 学 院： 数学科学学院 课程名称： 离散数学 课程编码： 课程类别： 专业基础课 计划学时： 80 学 分： 5 授课时间： 周二7、8节；周四5、6节；周五7、8节（单周） 授课地点： 1J106，1J106，1J106 授课班级： 计算1501 授课教师： 吴鸿华 填报日期：2016年8月 31日 离散数学课程授课计划 课程内容简介与教学目的 （一）课程内容的简单介绍和描述。 本课程主要包括四部分的主要内容：数理逻辑、集合论、代数系统、图论。要求学生掌握数理逻辑、集合论、代数结构和图论的基本概念与基本理论，且通过本课程的学习，使学生了解逻辑学、集合论、代数学以及图论发展的历史与现状；了解这些学科与其他相关学科关系；了解它们对其他相关学科，特别是计算机科学的作用。 （二）课程目标和教学目的说明。 1、掌握数理逻辑、集合论、代数结构和图论的基本概念与基本理论。 2、通过本课程的学习，使学生了解逻辑学、集合论、代数学以及图论发展的历史与现状；了解这些学科与其他相关学科关系；了解它们对其他相关学科，特别是计算机科学的作用。 3、通过本课程的学习，提高学生抽象思维和慎密概括能力，提高学生认识问题的高度，提高学生解决问题的能力。 课程要求及教学活动项目 课程要求： 课程的主要任务本学期教学内容为教材的第一章到第七章，授课时间为第一周到第十六周共计学时80学时。要求学生课前认真预习课后及时复习，平时按时独立完成作业。 教学活动项目及学时分配： 理论教学80学时；每两学时布置一次作业，作业每周交一次。 成绩考核 介绍成绩考核的方式和组成。 （一）平时成绩：主要包括课堂表现、作业，满分100分。 （二）期末考试成绩：闭卷考试满分100分。 （三）最终成绩组成说明：最终成绩由平时成绩的20% + 期末考试卷面成绩的80%构成。 教材及参考资料 教材：《离散数学》，编著：左孝凌等，上海科学技术文献出版社。 主要参考书： 《ss_wuhh@ujn.edu.cn 答疑时间和地点：每周周二上午10:30—12:00， 7JC312。 课程教学计划安排及策略 第1周 学时：4学时 授课内容 第一章命题逻辑 §1命题及其表示法 §2联结词 §3命题公式与翻译 §4真值表与等价公式 目的要求 （1）明确什么是命题；了解命题的真值、标识符，明确命题与命题变元的不同。明确五种联结词的定义（取值情况），注意自然语言与目标语言的异同。 （2）了解命题公式的定义，会将自然语言翻译成目标语言；会作命题公式的真值表。 授课方式：以课堂讲授为主，课堂讨论、习题课及自学为辅。 其它说明：作业 （1）P8 1,3,5 （2）P11 3,5,7 P17 1ac,4cd,7ab 第2周 学时：6学时 授课内容 §5重言式与蕴涵式 §6其它联结词 习题课 §7对偶与范式 §8推理理论 目的要求 （1）会用真值表法、等价置换法、基本等价（蕴涵）公式推理法证明两公式等价、重言式、蕴涵式。 （2）明确四种新的联结词的定义，明确其性质及与前五种的关系，了解最小联结词组的意义。 （3）掌握对偶式的意义及性质；掌握（主）合（析）取范式的定义、性质、求法（真值表法、等价推证）。 （4）熟练应用真值表法、直接证法、间接证法进行命题的逻辑推理。 授课方式：以课堂讲授为主，课堂讨论、习题课及自学为辅。 其它说明：作业 （1）P23 1ab,4,7,8ab P29 1a,2b,5,8,9 （2）P39 1,4abc,5a,6,7 （3）P46 1ad,2ac,4a,5c 第3周 学时：4学时 授课内容 习题课 第二章谓词逻辑 §1谓词的概念与表示 §2命题函数与量词 §3谓词公式与翻译 目的要求 （1）总结所学内容，讲解作业，就作业和答疑等过程中发现的一般问题作重点讲解。 （2）理解谓词的概念与表示；理解命题函数与量词理解谓词公式；并会熟练写出自然语言中命题的谓词表达式。 授课方式：以课堂讲授为主，课堂讨论、习题课及自学为辅。 其它说明：作业 P59 1,2 P62 1~6 第4周 学时：6学时 授课内容 §4变元的约束 §5谓词演算的等价式与蕴涵式 §6前束范式 §7谓词演算的推理理论 习题课 目的要求 （1）理解表达变元的约束。 （2）理解量词的作用，理解谓词演算的等价式与蕴涵式并会证明。理解前束范式的意义并会求谓词公式的前束范式。 （3）掌握谓词演算的推理理论并会熟练推证。 授课方式：以课堂讲授为主，课堂讨论、习题课及