石油大学成人(网络)《离散数学》课程教学进度表.doc

石油大学***(网络)《离散数学》课程教学进度表使用教材:离散数学编著者:左孝凌等出版社:上海科技适用专业层次:计算机(专升本)进度表编者:付艳芬面授学时数:30章节教学基本要求平时作业备注第一章§1--§5§7--§8重点掌握命题概念、五个连结词、等价式与蕴涵式(基本公式、证明方法)、主合(析)取范式、用推理理论证明蕴涵式。掌握简单命题公式的翻译。了解其它四个连结词的定义。P8(1)(2)(3)P12(5)(7)P17(2)(7)acefgP23(1)ab(2)ac(4)P29(1)P39(4)P46(1)(2)ac(3)bc第二章§1--§7重点掌握谓词、量词概念、谓词演算的等价式与蕴涵式(基本公式、证明方法)、用推理规则证明谓词公式。掌握简单谓词公式的翻译。了解前束范式、约束变元和自由变元。P60(2)P65(1)P72(2)(5)(7)P79(1)(2)(3)ab第三章§1--§2§4--§12重点掌握集合(子集、空集、幂集)的概念与运算(并、交、补)、关系的概念与性质、等价关系、偏序关系的概念与证明。掌握复合关系与逆关系、集合的划分、极大(小)元、最大(小)元、上(下)界集。了解对称差、关系的闭包运算、相容关系。P86(4)(5)(6)(7)(9)P95(4)(5)(8)P113(1)(3)(4)(6)*P118(1)(2)(3)(5)*P120(1)(2)P134(1)(3)(4)P145(1)(6)作业中带*号者为选作题第四章§1--§2§4--§6重点掌握函数(入射、满射、双射)的概念及有关定理。掌握复合函数和逆函数的概念、基数概念与基数的比较。了解可数集与不可数集。P151(1)(5)(6)*P156(3)P173(1)(2)第五章§1--§5§7--§9重点掌握代数系统的运算及性质、群与子群、拉格朗日定理。掌握交换群与循环群、同态与同构的定义及证明。了解陪集、环与域的概念。P178(1)(2)P185(1)(2)(5)*P190(3)(5)P197(2)*(3)(4)*(5)P200(1)(4)(5)*P211(3)(5)(8)*P221(1)(2)(4)(6)*(11)第六章§1--§4重点掌握格的概念及性质、分配格、有补格。掌握全上(