离散数学：第5章 集合.pdfVIP

集合论(set theory) 离散数学与计算机学科的关系 十九世纪数学最伟大成就之一 数理逻辑：人工智能、程序正确性证明及验证 集合论：关系数据库模型 集合论体系 图论：数据结构、数据库模型、网络模型等 朴素(naive)集合论(1908年之前) 代数结构： 软件规范、形式语义、编译系统 公理(axiomatic)集合论(1908年之后) 编码理论、密码学、数据仓库 创始人康托(Cantor) 组合数学算法设计与分析、编码理论、容错 Georg Ferdinand Philip Cantor 1845 ~ 1918 德国数学家, 集合论创始人. (1845.3-1918.1) Georg Ferdinand Ludwig Philipp Cantor 康托的不朽功绩 前苏联数学家柯尔莫戈洛夫评价康托的工作时说：“康托尔的不朽 功绩在于他向无穷的冒险迈进” 。数学与无穷有着不解之缘，但 1845年3月3 日，乔治·康托生于俄国的一个丹麦—犹太血统的家庭。 在研究无穷的道路上却布满了陷阱。康托把无穷集这一词汇引入 1856年康托和他的父母一起迁到德国的法兰克福。 数学，以完全前所未有的方式，继续正面探讨无穷。这一理论使 1863年进入了柏林大学。 人们真正进入了一个难以捉摸的奇特的无限世界。 1869年取得在哈勒大学任教的资格，不久后就升为副教授 1879年被升为正教授。 集合论是现代数学中重要的基础理论。它的概念和方法已经渗透到 1874年在克列勒的《数学杂志》上发表了关于无穷集合理论的第 代数、拓扑和分析等许多数学分支以及物理学和质点力学等一些 自然科学部门，为这些学科提供了奠基的方法，改变了这些学科 一篇革命性文章。数学史上一般认为这篇文章的发表标志着集合 的面貌。几乎可以说，如果没有集合论的观点，很难对现代数学 论的诞生。 获得一个深刻的理解。所以集合论的创立不仅对数学基础的研究 过度的思维劳累以及强列的外界刺激曾使康托患了精神分裂症。 有重要意义，而且对现代数学的发展也有深远的影响。 这一难以消除的病根在他后来30多年间一直断断续续影响着他的 生活。 1918年1月6 日，康托在哈勒大学的精神病院中去世。 第二篇 集合论 第五章集合的基本概念及其运算 §5.1 集合与元素 第五章 集合的基本概念及其运算 §5.2 集合间的相等和包含关系 第六章 关系 §5.3 幂集 第七章 函数