一、《离散数学》 二、《集合论与图论》 三、《代数结构与组合数学》 四、《数理逻辑》

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

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

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

复习 一阶谓词演算的符号化: 个体变元:x,Y,z,… 个体常元:a,b,c ·谓词:Fn,Gn,Hn, 函数:fn,gn,hn, 量词:全称量词V,存在量词3

一、命题演算的自然推理形式系统N 二、怎么在计算机上实现如下有效推理:

一、环的定义 二、环的性质 三、特殊的环 四、有限域 18.2子环、理想、商环、环同态 一、子环定义及判别 二、理想、商环、环同态

一、中国古典园林简史 二、中国古典园林的特色 三、中国古典园林分类 四、中国古典园林的组成要素 五、中国古典园林常见的构景手法 六、中国古典园林的局限性 七、中国古典园林艺术欣赏

一、物流中的配送实务与法律概述 二、配送业务中的配送合同 三、物流企业在配送活动中的法律地位及相 四、应的权利义务

一、物流企业概述 二、物流企业的市场准入 三、物流企业的设立 四、物流企业的变更、消灭与清算