 5.1 鸽笼原理的简单形式  5.2 鸽笼原理的加强形式

• 函数的定义与性质 • 函数的复合与反函数 • 双射函数与集合的基数

• 有序对与笛卡儿积 • 二元关系 • 关系的运算 • 关系的性质 • 关系的闭包 • 等价关系与划分 • 偏序关系

• 集合的基本概念 • 集合的运算 • 有穷集的计数 • 集合恒等式

复旦大学：《离散数学》课程教学讲义（集合论）集合论习题解析——经典习题与考研习题

 3.1 函数的基本概念  3.2 逆函数与复合函数  3.3 集合的特征函数

 3.1 函数的基本概念  3.2 逆函数与复合函数  3.3 集合的特征函数

1.1 集合的表示 1.2 集合的子集 1.3 笛卡尔积 1.4 集合的运算 1.5 罗素悖论

复旦大学：《离散数学 Discrete Mathematics》英文讲义_15 Application and Limitations

复旦大学：《离散数学 Discrete Mathematics》英文讲义_14 Soundness and Completeness of Predicate Logic