离散数学第2版教学课件-集合论简介.pdfVIP

第二篇 集合论 引言 集合是数学中最为基本的概念 ，又是数学各分支、自然科学及社会科学各领域 的最普遍采用的描述工具。 集合论是以集合概念为基础 ，研究集合的一般性质的数学分支学科 ，是现代数 学的理论基础 。 v 由于集合论的语言适合于描述和研究离散对象及其关系，所 以是计算机科学与工程的理 论基础 。 v 集合的元素已由数学的“数集”和“点集”拓展成包含文字、符号、图形、图表和声音等多媒 体 的信息，构成 了可以包含各种数据类型的集合 。 与计算机科学的联系 v 在程序设计 、数据库 、形式语言和 自动机理论等学科领域 中都有重要的应用。 集合论的创立 1874年，德国数学家康托尔 （G. Cantor，1845年—1918年）创立了朴素集合论 ，为数学 的统一提供 了基础 。 正当集合论被誉为绝对严格的数学基础时，1900年前后 ，集合论的悖论相继发现 ，尤其是 罗素悖论的提 出，动摇了整个数学的基础 。使人们对数学的严密可靠性产生了怀疑，从而 触发了极为严重的第三次数学危机 。 为了排除悖论 ，克服危机 ，恢复数学的“绝对严格性”，数学家和逻辑学家做 了大量工作 ， 展开了激烈的论战。于是在20世纪初 ，便产生了一个新的数学领域—