一、解释和赋值 解释是对每个符号说明其含义.赋值是指岀每个公式的真假值

一、推演系统N的构成 1 给定非逻辑符号集,Ng的构成如下 形式语言:

一、命题演算形式系统: 1 命题公式 2 语法:形式公理 3 形式规则

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数 三、偏序,线序,拟序,良序 四、哈斯图 五、特殊元素:最?元,极?元,?界,?确界 六、(反)链

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

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