第3章 集合关系hhs.ppt

An Introduction to Database Systenm 第二部分 集合论 集合论溯源 十六世纪末 起源 十九世纪 德国数学家康托创立古典集合论 1900年前后 出现各种悖论 1908年 策莫罗建立集合论的公理系统 目前 集合论公理系统有两种形式: 策莫罗-弗兰克尔-柯很形式（ZFC） 贝尔内斯-诺伊曼-葛德尔形式（BNG） 在计算机领域得到广泛应用 第二部分 集合论 古典集合论 康托称集合是“一些确定的、不同的东西的总体，这些东西，人们能够意识到，并且能够判断一个给定的东西是否属于这个总体”。 悖论 --理发师悖论：在一个小岛上有唯一的一位理发师。他宣称：我为岛上所有不为自己理发的人理发，而不给那些为自己理发的人理发。”。 请问：理发师的头发由谁来理呢？ --罗素悖论：令集合S为包含所有不以自身为元素的那些集合，即S={x| x x} 请问：S S吗 ？ 第二部分 集合论 第三章 集合与关系 3.1 集合的基本概念 3.1 集合的基本概念 3.1 集合的基本概念 3.1 集合的基本概念 3.1 集合的基本概念 3.2 集合的基本运算 1 集合的运算 2 集合运算算律 3.2 集合的基本运算 1 集合的运算 2 集合运算算律