（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定理

一、良序,序数, 二、序数与基数 三、ZFC+CH系统 四、Collatz猜想

1.七桥问题,一笔画,欧拉通(回)路,欧拉图 2.判定欧拉图的充分必要条件 3.求欧拉回路的算法 4.中国邮递员问题

一、等价关系,等价类,商集 二、划分,第二类 Stirling数 三、偏序,线序,拟序,良序 四、哈斯图 五、特殊元素:最?元,极?元,?界,?确界 六、(反)链

一、关系运算性质(续) 二、关系矩阵,关系图 三、自反,反自反,对称,反对称,传递