离散数学课堂教学计划.docVIP

《离散数学》课堂教学计划 任课教师: 刘晓燕 上课时间和答疑时间： 上课时间：1-19周 星期二，1、2节（经B403） 7-15周 星期五，5、6节（经B403） 答疑时间：1-19周 星期三，1：30—4：30 地点：经C103 任课教师的联系方式：jgliuxiaoyan@bjut.edu.cn 或座机电话号码（O） 课程简介：离散数学是计算机学科的重要专业基础课程。该课程结合计算机学科的特点，主要研究离散量结构及相互关系，它是计算机各专业课程的基础，对提高学生抽象思维与逻辑推理能力有重要作用。 掌握集合论、数理逻辑和图论等离散数学基本内容，为学习计算机专业各后续课程做好必要的知识准备。使学生得到良好的数学训练，提高学生抽象思维和逻辑推理能力，为从事计算机的应用提供理论基础。 考核方式：平时成绩加期末考试 评分标准： 出勤：5分；课堂表现：5分；作业：10分；期末考试：80分 使用教材和推荐参考书： 教材： 屈婉玲 耿素云主编，《离散数学基础》，北京大学出版社，2000年版 参考书： 徐洁磐 编 《离散数学导论》（第二版） 高等教育出版社 祝颂和 陆诗娣 陈建明 曾明 编《离散数学》 西安交通大学出版社 左孝凌 李为监 刘永才 编著《离散数学理论分析题解》 上海科学技术文献出版社 课堂安排： 第一周（2课时）：命题与联结词 重点： 掌握命题、逻辑联结词的概念 第二周（2课时）：公式与解释 重点：公式的递归定义，用基本等价公式变换简单的公式 第三周（2课时）：范式、析取范式、合取范式 重点：公式范式的概念，主析取范式的唯一性特点，用主析取范式判断任意两公式是否等价；公式蕴涵与逻辑结果的概念；形式演绎。 第四周（2课时）：恒真性的判定 重点：恒真性的判定方法及意义 第五周（2课时）：逻辑推理的基本概念与公式 重点：掌握逻辑推理的基本概念与公式 第六周（2课时）：推理的应用 重点：利用推理原理分析解决实际问题 第七周（4课时）：集合的表示法、运算以及集合的应用。二元关系的定义 重点： 掌握：子集、空集、全集、相等、幂集等基本概念；集合的表示法；集合的交、并、差、补等概念；交换律、结合律、分配律、De Morgan律等运算律的证明及应用；序偶与迪卡尔积的概念和应用；关系的概念； 第八周（4课时）：关系的性质，关系的闭包，等价关系与划分 重点：关系的四个性质；等价关系与等价类的概念，划分的有关概念。 第九周（4课时）：半序、全序及映射 重点： 半序、全序及映射的概念 第十周（4课时）：代数系统的引入、运算及其性质、半群 重点：代数系统的概念及定义方法 第十一周（4课时）：群与子群、阿贝尔群和循环群 重点：群与子群、阿贝尔群和循环群的定义方法及证明方法 第十二周（4课时）：陪集与拉格朗日定理、同态与同构、环与域 重点：陪集与拉格朗日定理、同态与同构、环与域的概念 第十三周（4课时）：格的概念、分配格、有补格、布尔代数、布尔表达式 重点：格的概念、分配格、有补格、布尔代数、布尔表达式 第十四周（4课时）：图的基本概念、路与回路、图的矩阵表示、欧拉图 重点：图、路、图的矩阵表示 第十五周（4课时）：汉密尔顿图、平面图、对偶图与着色 重点：汉密尔顿图、平面图、对偶图与着色等基本概念与方法 第十六周（2课时）：树与生成树1 重点：数的定义 第十七周（2课时）：树与生成树2 重点：生成树的方法 第十八周（2课时）：根树及其应用 重点：根树及其应用 第十九周（2课时）：复习、答疑