fdu_cs集合与图论复习提纲.docx

第1章 ? ? ? ? ? 集合的基本关系与运算(2学时)掌握：对象的集合表示，集合的运算及性质1、 集合的内涵和外延2、 集合的运算3、 特征函数第2章 关系和函数(8学时)掌握：关系的定义、运算和性质，关系的应用1、 基本概念、关系的运算2、 关系闭包，划分、等价关系3、 偏序第3章 有限集和无限集(6学时)掌握：集合的计数性质，有限和无限，可数和不可数，基数比较的定义及证明1、 集合的归纳定义、无限集的性质、集合的基数、基数相等的定义2、 可数集的定义、性质，不可数集3、 基数比较、Bernstain定理第4章 组合数学初步12学时)掌握：基本的计数技术1、 鸽笼原理2、 基本计数原理3、 集合的排列和组合4、 多重集的排列和组合5、 包含排斥原理6、 生成函数7、 递推关系第5章 图(26学时)掌握：图的表示和图的性质，以及图论中的一些基本问题1、 概念和表示2、 连通图，欧拉图，哈密尔顿图3、 树的概念和性质4、 最小生成树5、 有向树6、 最优树7、 流和匹配8、 平面图和着色问题第6章 代数结构（34学时）掌握：代数学的群、环、域、格和布尔代数的基本性质，以及代数结构之间的关系，包括子群、正规子群、子环、理想、子格以及商结构和同态同构问题。1、 运算与代数系统，2、 半群，拟群与群3、 置换群与循环群4、 子群，正规子群，商群与群同态基本定理5、 环，域，子环与理想，商环，环同态基本定理6、 布尔格与布尔代数第7章 命题逻辑（18学时）掌握：命题逻辑和Tableau推理系统1、 语法，语义2、 Tableau推理系统3、 Tableau系统的完备性和可靠性4、 基于前提的推导，紧致性定理第8章 谓词逻辑（16）掌握：一阶谓词逻辑和Tableau推理系统1、 语法，语义2、 Tableau推理系统3、 Tableau系统的完备性和可靠性4、 Herbrands定理第9章 逻辑应用（4学时）一阶逻辑的局限性，逻辑在计算机科学的应用课程的重点：(1)??? 关系，特别是二元关系（等价关系与偏序关系）；(2)??? 可数集的性质、基数比较、Bernstain定理的应用；(3)??? 多重集的排列和组合，特别是利用包含排斥原理和生成函数解决此类问题；(4)??? 群、环、域、格和布尔代数；(5)??? 图论中的连通图、树、平面图、有向图，以及它们的应用等；(6)??? 逻辑与Tableau推理系统