复旦大学：《离散数学 Discrete Mathematics》英文讲义_13 Tableau Proof of Predicate Logic

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

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

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

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

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

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

8.1 引言 8.2 路与回路 8.3 欧拉图 8.4 哈密顿图 8.5 最短路 8.6 图论模型和证明

10.1 树及其性质 10.2 生成树与割集 10.3 最小生成树

复旦大学：《离散数学》课程教学讲义（图论）图论应用、图论算法