00 考试大纲

离散数学与组合数学汇总

高款数学与组合数学是现代数学的重要分支,是计算机科学的基能理论课程。
数理逻辑、集合论、图论与代数结构是离散数学的重要组成部分。
要求考生对它们的基本概念有较深入的了解,能够系统地掌握命题演算、请词演算及朴素集合论的经典内容,掌握演绎推理的基本方法。掌据居论的基本定理和应用,熟悉代数系统的基本概念及定理。
组合数学部分要求考生掌握各种基本的计数方法,线性常系数递卷关系的解法, Burnside引理和Polya定理的应用,容斥原理和鸽巢原理的应用等。

主要内容包括:

一 命题逻辑的等值演算与推理演算

1. 命题逻辑的基本概念、命题逻辑联结词与真值表,重言式
2. 简单命题的形式化(简单自然语句的形式化)
3. 等值定理、基本等值公式以及等值演算
4. 命题公式与真值表的关系、联结词的完备集
5. 析取范式、合取范式、主析取范式和主合取范式
6. 命题逻辑的推理规则与推理演算,归结推理证明方法
7. 命题逻辑公理系统的概念,公理系统的基本结构

二 谓词逻辑的等值演算和推理演算

1. 谓词、量词的基本概念及表示法
2. 复杂自然语句的形式化
3. 否定型等值式、景词分配等值式
4. 范式、前東范式,Skolem标准形5,基本推理公式及其证明方法
5. 谓词逻辑的推理规则与推理演算,归结推理法

三 集合与关系

1. 集合的概念、性质和基本运算,集合同的关系和特殊集合
2. 有限集合的基数,包含排斥原理
3. 集合论公理系统,无穷公理和自然数集合
4. 二元关系的概念、关系矩阵和关系图
5. 关系的逆、合成,关系的基本性质,关系的闭包
6. 等价关系和划分,偏序关系与哈斯图
7. 任意集合上的函数定义与性质、特殊函数,满射、单射与双射8,集合的势、无限集合的基数

四 图论的基本概念、路与回路

1. 图的基本概念与性质
2. 图的代数表示
3. 途径、路、回路、迹的定义
4. 欧拉环游(欧拉闭迹)与欧拉迹
5. 汉密尔顿路与回路
6. 最短路径
7. 连通性
8. 有向图

五 树、平面图与图的着色

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. 若干等式及其组合意义

八 母函数与递推关系

1. 母函数
2. 递推关系
3. Fibonacci 效列
4. 线性常系数递推关系
5. 整数的拆分和Ferrers 图像
6. 指数型母函数
7. 母函数和递推关系应用举例
8. 错排问题
9. Stirling数
10. Catalan数

九 容斥原理和鸽巢原理

1. 容斥原理
2. 棋盘多项式与有限制排列
3. 一般公式
4. 二项式反演与Mobius反演
5. 鸽巢原理
6. Ramsey问题和Ramsey数

十 Polya定理

1. Burnside引理
2. Polya定理
3. 母函数型的Polya定理
4. 图的计数