《离散数学》-教案.pdfVIP

《离散数学》教案 第一章 集合与关系 集合是数学中最基本的概念， 又是数学各分支、 自然科学及社会科学各领域的最普 遍采用的描述工具。 集合论是离散数学的重要组成部分， 是现代数学中占有独特地位的 一个分支。 G. Cantor( 康脱 ) 是作为数学分支的集合论的奠基人。 1870 年前后，他关于无穷序 列的研究导致集合论的系统发展。 1874 年他发表了关于实数集合不能与自然数集合建 立一一对应的有名的证明。 1878 年，他引进了两个集合具有相等的“势”的概念。然 而，朴素集合论中包含着悖论。第一个悖论是布拉利 - 福尔蒂的最大序数悖论。 1901 年 罗素发现了有名的罗素悖论。 1932 年康脱也发表了关于最大基数的悖论。集合论的现 代公理化开始于 1908 年策梅罗所发表的一组公理，经过弗兰克尔的加工，这个系统称 为策梅罗 - 弗兰克尔集合论（