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

南京大学：《计算机问题求解》课程教学资源（课件讲稿）集合论 I 公理与操作（简版）

南京大学：《计算机问题求解》课程教学资源（课件讲稿）集合论 I 公理与操作

南京大学：《计算机问题求解》课程教学资源（课件讲稿）集合论 I 公理与操作

9 ． 1 集合的概念和表示方法 9．2 集合间的关系和特殊集合 9．3集合的运算 9．4 集合的图形表示法 9．5 集合运算的性质和证明 9．6 有限集合的基数 9．7 集合论公理系统

 归纳  数学归纳法  强数学归纳法  运用良序公理来证明  递归  递归定义  结构归纳法  递归算法

对策论 对策是有厉害冲突的各方所分别采取的决策. 对策论,亦称为博弈论,研究具有对抗、竞争、冲突性质的 问题 最早利用数学方法来研究对策论的是数学家E. Zermelo,他于 1912年发表了论文《关于集合论在象棋对策中的应用》.1944 年, Von Neumann和O. Morgenstern总结了前人关于对策论 的研究成果,合著了《对策论与经济行为》(Theory of Games and Economic Behavior)一书,使得对策论的研究开 始系统化和公理化,并具有了深刻的经济背景.1994年,在对 策论研究中作出突出贡献的Nash, HarsanyiSe和获得诺贝尔经济学奖

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

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

一、集合 集合是数学中最基本的概念之一,所谓集合就是指作为整体看的一堆东西 组成集合的东西称为这个集合的元素用 a∈M 表示a是集合M的元素,读为:a属于M用 a∈M 表示a不是集合M的元素,读为:a不属于M 所谓给出一个集合就是规定这个集合是由哪些元素组成的因此给出一个集 合的方式不外两种,一种是列举法:列举出它全部的元素,一种是描述法:给 出这个集合的元素所具有的特征性质