《离散数学11级信科(1、2)班教学进度表》由会员分享，可在线阅读，更多相关《离散数学11级信科(1、2)班教学进度表（4页珍藏版）》请在金锄头文库上搜索。
1、周次学 时 分 配 内容课外阅读及习题作业备 注 讲授实验上机其它1 2 0 0 0 第一章 命题逻辑1.1 命题、联接词的定义P12 3、6、8 2 0 0 0 1.2 命题公式及赋值14、19 2 2 0 0 0 第二章 命题逻辑等值演算 2.1 等值式。 2.2 析取范式与合取范式（包括析取范式、合取范式的定义）P38 3、4 2 0 0 0 2.2 析取范式与合取范式（包括主析取范式、合取范式） 2.3 联接词的完备集 2.4 可满足性问题与消解法5、6、7、8、 15、16 郑 州 科技 学 院教学进度2012-2013学年第二学期信息科学与工程系（部）计科 专业11 年级1、2 班
2、编制人：教研室负责人系（部）负责人课程名称离散数学讲授教师实验教师辅导教师总 学 时 数学 时 分 配每 周 学 时讲授实验上机其它60 60 00 0 4 2 3 2 0 0 0 第三章 命题逻辑的推理理论3.1 推理的形式结构 3.2 自然推理系统 P P52 6、10、14、 15、16 2 0 0 0 第四章 一阶逻辑基本概念4.1 一阶逻辑命题符号化P65 2、3、4 4 2 0 0 0 4.2 一阶逻辑公式及其解释8、9、10、11 2 0 0 0 第五章 一阶逻辑等值演算与推理 5.1 一阶逻辑等值式与置换规则P78 2、3、5 5 2 0 0 0 5.2 一阶逻辑前束范式 5.
3、3 一阶逻辑的推理理论11、12、15 2 0 0 0 第五章习题课6 2 0 0 0 第六章 集合代数6.1 集合的基本概念 6.2 集合的运算P96 2、7、8 2 0 0 0 6.3 有穷集的计数 6.4 集合恒等式12、31、32 7 2 0 0 0 第七章 二元运算 7.1 有序对与笛卡尔积 7.2 二元关系P130 3、6 3 2 0 0 0 7.3 关系的运算9、10 8 2 0 0 0 7.4 关系的性质11、12 2 0 0 0 7.5 关系的闭包16、21、22 9 2 0 0 0 7.6 等价关系与划分31、32 2 0 0 0 7.7 偏序关系 第七章习题课43、44
4、10 2 0 0 0 第八章 函数 8.1 函数的定义与性质 8.2 函数的复合与反函数P160 3 2 0 0 0 8.3 双射函数与集合的基数P161 4、5、10、 16 11 2 0 0 0 第九章 代数系统 9.1 二元运算及其性质P179 1、2 2 0 0 0 9.2 代数系统P179 7、8、10. 4 12 2 0 0 0 9.3 代数系统的同态与同构 第九章习题课P179 13、18. 2 0 0 0 第十章群与环 10.1 群的定义及性质P202 3、513 2 0 0 0 10.2 子群与群的陪集分解 第十章习题课P203 9、15、21 14 2 0 0 0 第十一章 格与布尔代数11.1 格的定义与性质P218/ 2、4、8、2 0 0 0 11.2 分配格、有补格与布尔代数P219 11、17 15 2 0 0 0 第十四章 图的基本概念（串讲）P291 3、4、学生已学 过数据结 构2 0 0 0 期末复习P291 10、14、 20、21 说明：教学进度表一式四份，教师留存一份，教研室一份，系（部）一份，教务处教务科一份。
