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

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

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

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

1.根树 2.根树的周游 3.最优树, Huffman算法 4.最佳前缀码

第16讲连通度 1.点(边)割集,点连通度K,边连通度入 2. Whitney定理,简单连通图k,,δ之间的关系 3.2-连通,2-边连通的充要条件 4.割点,桥,块的充要条件

1.集合的概念 2.集合之间的关系 3.集合的运算 4.文氏图、容斥原理

1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则

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

改造积分定义的目的一是为了扩展可积范围,二是为了使得操作更方便。对 (R)积分而言,积分与极限交换顺序需要验证一个较为苛刻的条件:“fn(x)在E 上一致收敛于f(x)”,将“一致收敛”削弱为“处处收敛”甚至“几乎处处收 敛”是一种思路,在此介绍另一种削弱“一致收敛”条件的方法 从集合论的角度讲:“fn(x)在E上一致收敛于f(x)”是指0>0,No >0,当n>N时,E[|fn(x)-f(x)|≥0]=中,之所以我们认为“一致收敛” 条件苛刻,就在于它要求E[|fn(x)-f(x)≥0]从某项以后永远为空集