离散数学教学进程表.docVIP

淮海工学院教学进程表 2007 --2008学年第二学期 课程 离散数学 系别 计算机工程学院 专业 计算机科学与技术 班级 网络071，072 中新071计 教学进度表 周次 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 共计 讲课 4 4 2 4 2 4 4 2 4 2 4 4 2 4 4 50 分析讨论课 2 2 2 2 2 4 14 实验课 每周时数共计 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 64 教 学 内 容 和 时 数 安 排 周次 授课日期 教学内容 教学时数 讲课 分析讨论 实验课 二 3月3日 第1章 命题逻辑基本概念 1.1 命题与联结词 1.2 命题公式及其赋值 2 3月6日 第2章 命题逻辑等值演算 2.1等值式 2.2析取范式与合取范式 2 三 3月10日 2.2析取范式与合取范式 2.3联结词的完备集 2 3月13日 第3章 命题逻辑的一阶理论 3.1推理的形式结构 3.2自然推理系统 2 四 3月17日 习题课 2 3月20日 第4章 一阶逻辑基本概念 4.1一阶逻辑命题符号化 4.2 一阶逻辑公式及解释 2 五 3月24日 第5章 一阶逻辑等值演算与推理 5.1一阶逻辑等值式与置换规则 5.2一阶逻辑前束范式 2 3月27日 5.3一阶逻辑的推理理论 2 六 3月31日 习题课 2 4月3日 第6章 集合代数 6.1 集合的基本概念 6.2 集合的运算 6.3集合的恒等式 2 七 4月7日 第7章 二元关系 7.1有序对与笛卡尔积 7.2二元关系 2 4月10日 7.3关系的运算 7.4关系的性质 2 八 4月14日 7.5关系的闭包 2 4月17日 7.6等价关系与划分 2 九 4月21日 7.7偏序关系 2 4月24日 习题课 2 十 4月28日 第8章 函数 8.1函数的定义与性质 8.2函数复合与反函数 2 5月1日 第9章 集合的基数 9.1集合的等势与优势 9.2集合的基数 2 十一 5月5日 习题课 2 5月8日 第10章 代数系统 10.1二元运算及性质 10.2代数系统 2 十二 5月12日 第11章 半群与群 11.1半群与独异点 11.2群的定义与性质 2 5月15日 11.3子群 2 十三 5月19日 11.4陪集与拉格朗日定理 11.5正规子群与商群 2 5月22日 11.6群同态与同构 2 十四 5月26日 11.7循环群与置换群 2 5月29日 习题课 2 十五 6月2日 第14章 图的基本概念 14.1图 14.2通路与回路 14.3图的连通性 14.4图的矩阵表示 2 6月5日 第15章 欧拉图与哈密顿图 15.1欧拉图 15.2 哈密顿图 2 十六 6月9日 第16章 树 16.1无向树及其性质 16.2生成树 2 6月12日 第17章 平面图 17.1平面图的基本概念 17.2欧拉公式 17.3平面图的判断 17.4平面图的对偶图 2 十七 6月16日 习题课 2 6月19日 总复习 2 主讲教师 教研室主任 2008年 2 月 26 日