离散数学教学进度表

教 学 进 度 表

2014----2015学年 第一学期

任课教师 李欣 任课班级 2013级计算机科学与技1\\2\\3班 课程名称 离散数学 总 学 时 54学时 系审核人 院审核人

二Ｏ一四 年 八 月十二 日

教 学 进 度 表

第 1 页

周 教学内容 第一章 命题逻辑基本概念 1.1 命题与联结词 1.2 命题公式及其赋值 时数 授课 形式 作 业 P14 - 1-6 P17 18,19 辅导答疑 迄止日期 执行情况 一 2学时 讲授 2学时 2学时 讲授 二 第一章 习题课 第二章 命题逻辑等值演算 2.1 等值式 2.2 析取范式与合取范式 2.3联结词的完备集 第二章 习题课 第三章 命题逻辑的推理理论 3.1推理的形式结构 3.2 自然推理系统P 第三章 习题课 第四章 一阶逻辑基本概念 4.1 一阶逻辑命题符号化 4.2一阶逻辑公式及其解释 P17 29,30 P36-1.2 P37-9.10 三 2学时 讲授 2学时 1学时讲授 1学时 2学时 讲授 2学时 2学时 讲授 2学时 讲授 2学时 四 P37-19.20 P50-1.2 P51-12.13 P52-15.16 P63-1.2 P64-7.8 五 六 七 每周三下午3：30—5：30。 双周3：30—5：30。 八 第四章 习题课 第六章 集合代数 6.1集合的基本概念 6.2集合的计算 6.3有穷集的计数 6.4集合恒等式 2学时 讲授 1学时 1学时 讲授 2学时 2学时 讲授 P65-14.15 P90-1.2 P91-9.10 P93-20.23 P94-41.42 九 十

教 学 进 度 表

第 2 页

周 教学内容 第七章 二元关系 7.1有续对与笛卡儿积 7.2二元关系 7.3关系的运算 7.4关系的性质 7.5关系的闭包 7.6等价关系与划分 7.7偏序关系 第七章习题课 第九章 图的基本概念 9.1图 9.2通路与回路 9.3图的连通性 时数 授课 形式 作 业 辅导答疑 迄止日期 执行情况 十一 1学时 讲授 1学时 讨论 2学时 2学时 讲授 2学时 2学时 2学时 2学时 1学时 1学时 P121-1.2 P121-9 P122-11.12 每周三下午3：30—5：30。 双周3：30—5：30。 十二 十三 十四 P122-20 P124-25 P125-39 讲授 讨论 讲授 讨论 十五 讲授 P165-1.2.3.4 十六 2学时 2学时 2学时 2学时 讲授 P167-22 十七 9.4图的矩阵表示 第十一章章几种特殊的图 11.1殴拉图 讲授 讨论 P169-38.39 P204-1.2 十八 11.2哈密顿图 讲授 P205-9.10 注：教学日历是20周，考试1周，节假日1周，有效授课周数18周。