文档介绍：离散数学论文

　　摘要：起初，集合论主要是对分析数学中的“数集”或几何学中的“点集”进行研究。但是随着科学的发展，集合论的概念已经深入到现代各个方面，成为表达各种严谨科学概念必不可少的数学语言。随着计算机时代的到来，集合的元素已由传统的“数集”和“点集”拓展成包含文字、符号、图形、图表和声音等多媒体信息，构成了各种数据类型的集合。

　　关键词：集合论、计算机、应用

　　1、集合论的历史。

　　集合论是一门研究数学基础的学科。集合论是现代数学的基础，是数学不可或缺的基本描述工具。可以这样讲，现代数学与离散数学的“大厦”是建立在集合论的基础之上的。21世纪数学中最为深刻的活动，就是关于数学基础的探讨。这不仅涉及到数学的本性，也涉及到演绎数学的正确性。数学中若干悖论的发现，引发了数学史上的第三次危机，而这种悖论在集合论中尤为突出。

　　。

　　十七世纪数学中出现了一门新的分支：微积分。在之后的一二百年中这一崭新学科获得了飞速发展并结出了丰硕成果。其推进速度之快使人来不及检查和巩固它的理论基础。十九世纪初，许多迫切问题得到解决后，出现了一场重建数学基础的运动。正是在这场运动中，康托尔开始探讨了前人从未碰过的实数点集，这是集合论研究的开端。

　　经历二十余年后，集合论最终获得了世界公认。到二十世纪初集合论已得到数学家们的赞同。数学家们乐观地认为从算术公理系统出发，只要借助集合论的概念，便可以建造起整个数学的大厦。在1900年第二次国际数学大会上，著名数学家庞加莱就曾兴高采烈地宣布“数学已被算术化了。我们可以说，现在数学已经达到了绝对的严格。”然而这种自得的情绪并没能持续多久。

　　这一仅涉及集合与属于两个最基本概念的悖论如此简单明了以致根本留不下为集合论漏洞辩解的余地。号称“天衣无缝”、“绝对严密”的数学陷入了自相矛盾之中。从此整个数学的基础被动摇了，由此引发了数学史上的第三次数学危机。

　　危机产生后，众多数学家投入到解决危机的工作中去。1908年，，试图把集合论公理化的方法来消除悖论。他认为悖论的出现是由于康托尔沒有把集合的概念加以限制，康托尔对集合的定义是含混的．策梅罗希望简洁的公理能使集合的定义及其具有的性質更为显然。策梅罗的公理化集合论后来演变成ZF或ZFS公理系统。从此原本直观的集合概念被建立在严格的公理基础之上，从而避免了悖论的出现。这就是集合论发展的第二个阶段：公理化集合论。与此相对应，在1908年以前由康托尔创立的’集合论被称为朴素集合论。

　　2、集合论在计算科学中的应用。

　　集合论在计算机科学中的应用集合论包括集合、关系和函数3部分。1集合集合不仅可以表示数,而且可以像数一样进行运算,还

　　可以用于非数值信息的表示和处理,如数据的增加、删除、排序以及数据间关系的描述,有些很难用传统的数值计算来处理的问题,却可以用集合来处理。因此,集合论在程序语言、数据结构、数据库与知识库、形式语言和人工智能等领域得到了广泛应用。2关系关系也广泛地应用于计算机科学技术中,例如计算机程序的输入和输出关系、数据库