关系在计算机科学中的应用培训教案.pptVIP

第一章 集合与关系在计算机科学中的应用 　　　集合论分为两种体系：一种是朴素集合论体系，也称为康托集合论体系；另一种是公理集合论体系。 　　　自从19世纪末著名德国数学家康托（Cantor,1845~1918）创立集合论，迄今已有100多年的历史，集合的概念已深入到现代科学的各个方面，成为表达各种科学概念的必不可少的“数学语言”，然而有趣的是，集合本身却是一个不能精确定义的基本概念，但这并不妨碍我们对它的理解和使用。 　　　集合论的特点是研究对象的广泛性，人们把研究的对象视作一个集合，本意可以是包罗万象的，但是最早所研究多半是分析数学的“数集”和几何学的“点集”。而集合中的元素真正成为包罗万象的对象，应当说是从“计算机革命”开始：数字、符号、图像、语音以及光、电、热各种信息，它们都可以作为“数据”，这些数据就构成集合。 　　　集合论总结出由各种对象构成的集合的共同性质，并用统一的方法来处理。正因为如此，集合论被广泛应用于各种科学和技术领域。由于集合论的语言适合于描述和研究离散对象及其关系，因此它是计算机科学与工程的理论基础，它在程序设计、形式语言、关系数据库、操作系统等计算机学科中得到广泛地应用。集合论的原理和方法成为名符其实的数学技术。 　　　关系和函数是数学中的最重要的两个概念。在计算机科学的各个分支中，它们也是应用极为广泛的概念。人与人之间有父子、兄弟、同学关系；两数之间有大