组合数学

《组合数学》内容具体安排分为10章：集合与函数，排列组合与多项式定理，整除性理论，数论函数，不定方程，同余式，线性递归方程与母函数，鸽巢原理和Ramsey（拉姆齐）定理，Burnside（伯恩赛德）引理和Polya（波利亚）定理，相异代表组和区组设计。每章又分为若干节和小节。这些章节，有些内容比较浅显，便于掌握；有些内容理论性较强（比如：P61ya基本定理的证明），工科学生阅读起来有一定的困难，可以暂时绕过。每章后面配有一定数量难度不一的习题，可供选做。
《组合数学》可以作为计算机科学与技术、数学、密码学及相关专业研究生和本科生的教材，也可作为其他各专业、不同层次师生和工程技术人员的自学用书或参考书。

《组合数学》是作者周炜多年教学和研究成果的结晶，系统地研究了组合计数、组合设计以及相关数学理论。全书分为10章：集合与函数，排列组合与多项式定理，整除性理论，数论函数，不定方程，同余式，线性递归方程与母函数，鸽巢原理和Ramsey（拉姆齐）定理，Burnside（伯恩赛德）引理和Polya（波利亚）定理，相异代表组和区组设计。
《组合数学》可以作为计算机科学与技术、数学、密码学和其他相关专业研究生和本科生的教材使用，也可作为广大师生和工程技术人员的自学用书或参考书。

第1章集合与函数
1.1集合论基础
1.1.1集合的基本概念
1.1.2集合的代数运算及性质
1.1.3集合的运算性质
1.2函数、置换的循环分解
1.2.1函数的基本概念和一般性质
1.2.2置换的循环分解
1.3集合的基数、对合映射不动点定理
1.4集合上的二元关系
1.4.1二元关系的基本概念
1.4.2几种特殊的简单二元关系
1.4.3等价关系、商集
1.5容斥原理及应用
1.5.1容斥原理
1.5.2错位排列问题
1.5.3容斥原理应用举例
1.6Abel恒等式
1.7习题
第2章排列组合与多项式定理
2.1排列组合及其性质
2.1.1无重复排列和无限可重复排列
2.1.2无重复组合及其性质、多项式反演定理
2.1.3无重复有序分组、无重复无序分组
2.1.4无限可重复分组、无限可重复组合、多项式定理
2.1.5有限可重复组合与有限可重复排列
2.2排列组合应用举例
2.3Stirling公式
2.3.1Wallis公式
2.3.2Stirling公式
2.4习题
第3章整除性理论
3.1整数的整除性
3.2最大公约数和最小公倍数
3.3连分数
3.3.1实数的连分数表示
3.3.2实数的近似分数
3.3.3近似分数的既约性
3.3.4近似分数的误差估计
3.3.5整数线性组合ax—by=1的生成
3.4素数、二平方定理、算术基本定理
3.5习题
第4章数论函数
4.1[x]与{z}
4.2积性函数
4.3因子数r（n）与因子和S（n）
4.4Euler函数φ（n）
4.5Mobius函数和MObius反演定理
4.5.1Mobius函数及其性质
4.5.2Mobius反演定理
4.5.3圆排列问题
4.6习题
第5章不定方程
5.1二元一次不定方程
5.2三元一次不定方程
5.3勾股数定理
5.4习题
第6章同余式
6.1同余式的定义与性质
6.2完全剩余系和缩剩余系
6.3一元一次同余方程
6.4一元一次同余方程和方程组、中国剩余定理
6.5一元多项式同余方程
6.6习题
第7章线性递归方程与母函数
7.1递归方程
7.1.1线性递归方程解的结构、降阶定理
7.1.2常系数齐次线性递归方程的通解
7.1.3常系数非齐次线性递归方程的求解
7.1.4线性递归方程求解举例
7.2Fibonacci数列
7.2.1Fibonacci问题的求解
7.2.2Fibonacci数列的性质
7.2.3Fibonacci数列在优选法中的应用
7.3母函数及其性质
7.3.1母函数的定义
7.3.2母函数的一般性质
7.4错位排列和禁位排列
7.4.1错位排列问题
7.4.2棋盘多项式与禁位排列
7.5正整数分拆和Ferrers图
7.5.1正整数分拆
7.5.2Ferrers图
7.6Stirling数
7.6.1第一类Stirling数
7.6.2第二类Stirling数
7.6.3Stirling反演定理
7.7Catalan数
7.8Bernoulli数
7.9习题
第8章鸽巢原理和Ramsey定理
8.1鸽巢原理
8.2无向完全图的着色问题
8.3Ramsey定理
8.4Ramsey数的性质
8.5习题
第9章Burnside引理和Polya定理
9.1群的基本知识
9.1.1半群、亚群、元素的阶
9.1.2群、陪集、Lagrange定理
9.2Burnside引理和Polya定理
9.2.1Burnside引理
9.2.2简化的P61ya定理
9.2.3Polya基本定理
9.3习题
第10章相异代表组和区组设计
10.1相异代表组
10.2公共代表组
10.3完全区组设计与拉丁方
10.4有限域基础
10.5正交拉丁方
10.6均衡不完全区组设计（BIBD）
10.6.1BIBD的概念
10.6.2三连组系
10.6.3对称BIBD
10.6.4由对称BIBD构造其他BIBD
10.7Hadamard矩阵
10.8习题
参考文献