对于从事计算机科学工作的人们来说，集合论是必不可少的基础知识。例如程序设计语言、数据结构、形式语言等都离不开子集、幂集、集合的分类等概念。集合成员表和范式在逻辑设计、定理证明中也都有重要应用。本部分从集合的直观概念出发，介绍了集合论中的一些基本概念和基本理论。集合论是研究集合的一般性质的数学分支，它研究集合不依赖于组成它的事物的特性的性质。集合论总结出由各种对象构成的集合的共同性质，并用统一的方法来处理。集合论的特点是研究对象的广泛性，集合是各种不同对象的抽象，这些对象可以是数或图形，也可以使任意其它事务

集合论是研究集合的一般性质的数学分支，它研究集合不依赖于组成它的事物的特性的性质。在现代数学中，每个对象（如数、函数等）本质上都是集合，都可以用某种集合来定义。数学的各个分支，本质上都是在研究这种或那种对象的集合的性质。集合论已成为全部现代数学的理论基础。集合论的特点是研究对象的广泛性。它总结出由各种对象构成的集合的共同性质，并用统一的方法来处理。因此，集合论被广泛地应用于各种科学和技术领域。 §1集合的概念和表示法 §2集合的运算 §3序偶与笛卡尔积 §4关系及其表示 §5关系的性质 §6复合关系和逆关系 §7关系的闭包运算 §8集合的划分和覆盖 §9等价关系与等价类 §10相容关系 §11序关系

1.集合恒等式与对偶原理 2.集合恒等式的证明 3.集合列的极限 4.集合论悖论与集合论公理

集合论基础 二元关系 函数 基本概念及集合的表示方法 集合间的关系 特殊集合 集合的运算 ＊包含排斥原理

复旦大学：《集合论》课程教学资源（PPT课件）集合论导论 Introduction to Set Theory（张宓）

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

一、《离散数学》 二、《集合论与图论》 三、《代数结构与组合数学》 四、《数理逻辑》

§1 函数的概念 §2 逆函数和复合函数 §3 基数的概念 §4* 可数集与不可数集

对策论 本章来介绍对策论(game theory) 对策是有厉害冲突的各方所分别采取的决策对策论,亦称为博弈论,研究具有对抗、竞争、冲突性质的问题 对策论的思想古已有之,如我国战国时期的“齐王与田忌赛马”最早利用数学方法来研究对策论的是数学家E. Zermelo,他于1912年发表了论文《关于集合论在象棋对策中的应用》.1944年

本章讨论集合论中较为困难的问题一集 合的基数问题;但只限于对基数作一简 单介绍;如学时较少可不讲本章或对本 章作恰当的删减 本章主要概念为:集合的等势、有限集 与无限集、可数集与不可数集及较为常 见的集合的基数