集合论
析取范式与合取范式 集合论
集合论集合论是现代数学的基础。渗透到几乎所有科技领域,是不可缺少的数学工具和表达语言集合论的起源可以追溯到16世纪未期对数集的研究>1879年到1884年,康托(Cantor)发表的一系列有关集合论研究的文章奠定集合论的基础1
1 集合论 ◆集合论是现代数学的基础,渗透到几乎所 有科技领域,是不可缺少的数学工具和表 达语言 ◆集合论的起源 ➢ 可以追溯到16世纪末期对数集的研究 ➢ 1879年到1884年,康托(Cantor)发表的 一系列有关集合论研究的文章奠定集合论 的基础
集合论理发师悖论:某镇上一位理发师宣布,他给所有不给自已理发的人理发。问这位理发师给不给自已理发?口用于解释罗素悸论:起因于集合是否可以是自已的元素的概念定义集合S=《AAA)即S是不以自身为元素的全体集合的集合那么S是不是它自己的元素呢?2
2 集合论 用于解释罗素悖论:起因于集合是否可以是自己的元素的 概念 定义集合 即S是不以自身为元素的全体集合的集合 那么S是不是它自己的元素呢? 理发师悖论: 某镇上一位理发师宣布, 他给所有不给自己理发 的人理发。问这位理发师给不给自己理发?
集合论》1904年到1908年,策梅洛(Zermelo)列出了第一个集合论的公理系统,逐步形成公理化集合论>康托尔之后所创立的许多公理化集合论,都策梅洛,E.F.F.直接或间接地限制集合成为它自已的元素,从而避免了罗素悸论集合论在程序语言、数据结构、数据库、形式语信和人工智能等领域有广泛的应用3
3 集合论 ➢ 1904年到1908年,策梅洛(Zermelo)列出 了第一个集合论的公理系统,逐步形成公 理化集合论 ➢ 康托尔之后所创立的许多公理化集合论, 都 直接或间接地限制集合成为它自己的元素, 从而避免了罗素悖论 ◆集合论在程序语言、数据结构、数据库、 形式语言和人工智能等领域有广泛的应用
集合的基本概念
析取范式与合取范式 集合的基本概念