离散数学与组合数学考试大纲.pdfVIP

4U 电脑书库 （ ） 同等学力人员申请硕士学位 计算机科学与技术学科综合水平 全国统一考试大纲及指南 （第二版） 离散数学与组合数学 一、考试大纲 离散数学与组合数学是现代数学的重要分支，是计算机科学的基础理论课 程。 数理逻辑、集合论、图论与代数结构是离散数学的重要组成部分。要求考生 对它们的基本概念有较深入的了解，能够系统地掌握命题演算、谓词演算及朴素 集合论的经典内容，掌握演绎推理的基本方法。掌握图论的基本定理和应用，熟 悉代数系统的基本概念及定理。 组合数学部分要求考生掌握各种基本的计数方法，线性常系数递推关系的解 法，Burnside 引理和Polya 定理的应用，容斥原理和鸽巢原理的应用等。 主要内容包括： (一)命题逻辑的等值演算与推理演算 l，命题逻辑的基本概念、命题逻辑联结词与真值表，重言式 2 ．简单命题的形式化(简单自然语句的形式化) 3 ．等值定理、基本等值公式以及等值演算 4 ．命题公式与真值表的关系、联结词的完备集 5.析取范式，合取范式，主析取范式和主合取范式 6 ．命题逻辑的推理演算与推理规则，归结推理证明方法 7 ．命题逻辑公理系统的概念，公理系统的基本结构 (二)谓词逻辑的等值演算和推理演算 1 ，谓词、量词的基本概念及表示法 2 ．复杂自然语句的形式化 3 ．否定型等值式、量词分配等值式 4 ．范式，前束范式，SKOLEM 标准形 5 ．基本推理公式及其证明方法 6 ．谓词逻辑的推理规则与推理演算，归结推理法 (三)集合与关系 1．集合的概念、性质和基本运算、集合间的关系和特殊集合 2 ．有限集合的基数，包含排斥原理 3 ．集合论公理系统，无穷公理和自然数集合 4 ．二元关系的概念、关系矩阵和关系图 5 ．关系的逆、合成，关系的基本性质，关系的闭包 mailto:wdg98@263.net 1 4U 电脑书库 （ ） 6 ．等价关系和划分，偏序关系与哈斯图 7 ．任意集合上的函数定义与性质、特殊函数，满射、单射与双射 8．集合的势、无限集合的基数 (四) 图论的基本概念、道路与回路 1．图的基本概念与性质 2 ．图的代数表示 3 ．道路与回路的定义 4 ．.欧拉道路与回路 5 ．哈密顿道路与回路 6 ．最短路径 7 ．关键路径 (五)树、平面图与图的着色 1．树的有关定义 2 ．支撑树的计数 3 ．哈夫曼树 4 ．最短树 5 ．平面图与极大平面图 6 ．对偶图 7 ．色数与色数多项式 (六)代数结构 1．代数系统的概念 2 ．同构与同态 3 ．群的基本知识 4 ．循环群、群的同构 5 ．变换群和置换群、Caylay 定理 6 ．陪集和群的陪集分解、Lagrange 定理 7 ．正规子群与商群 8．同态、同态基本定理 9 ．环和域的概念 (七)排列与组合 1．加法法则与乘法法则 2 ．排列与组合 3 ．Stirling 近似公式 4 ．模型转换 5 ．排列的生成算法 6 ．组合的生成算法 7 ．可重组合 8．若干等式及其组合意义 (八)母函数与递推关系 1．母函数 2 ．递推关系 3 ．Fibonacci 数列 4 ．线性常系数递推关系 5 ．整数的拆分和Ferrers 图像 mailto:wdg98@263.net 2 4U 电脑书库 （ ） 6 ．指数型母函数