一、本章讨论集合论中较为困难的问题—集合的基数问题；但只限于对基数作一简单介绍；如学时较少可不讲本章或对本章作恰当的删减. 二、本章主要概念为:集合的等势、有限集与无限集、可数集与不可数集及较为常见的集合的基数

教学目的 集合论是本课程的基础. 本节将引入集的概念与集的运 算, 使学生掌握集和集的运算的基本概念. 本节要点 De Morgan公式是以后常用的公式. 证明两个集的相等是 经常要遇到论证, 应通过例子使学生掌握其基本方法.集列的极限是一种 新型的极限, 学生应注意理解其概念

集合论的基础是由德国数学家 Cantor 在19世纪 70 年代奠定的。 集合：指具有某种特定性质的具体的或抽象的对象汇集成的总体。 这些具体的或抽象的对象称为该集合的元素

关系模型的理论基础是集合论，是用集合代数定义一个关系。 定义1：域(Domain)是一组具有相同数据类型的值的集合。 定义2：设D1， D2，…， Dn为一组域， D1， D2， …，Dn上的笛卡尔积定义为：

（1）精确逻辑（传统逻辑）的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中，命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题，组合成另一个命题的过 程

教学目的继续介绍集合论的基础内容,如映射,基数,可数集与不可 数集等 本节要点一一对应的思想与方法贯穿本节的核心基数的概念可数 集的讨论都要用的一一对应的方法证明两个不同的集对等,从而具有相 同的基数,特别地,要证明一个集是可数集,有时需要一定的技巧,因而具 有一定的难度,通过较多的例题和习题,使学生逐步掌握其方法和技巧 映射在数学分析课程中我们对函数已经很熟悉

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

信息科学技术学院2002-2003学年第二学期本科生期末考试试卷（集合论与图论）

1.关联矩阵M(D),M(G) 2.用基本联矩阵M(G)求所有生成树 3.邻接矩阵A(D),相邻矩阵A(G) 4.用A的幂求不同长度通路(回路)总数 米 5.可达矩阵P(D),连通矩阵P(G) 6.单源最短路径问题, Dijkstra算法

一、支配集,独立集,点覆盖团 二、边覆盖,边独立集(匹配) 三、最大匹配, Berge定理 四、完备匹配,Hall条件,t条件 五、完美匹配, Tutte定理