一、上节介绍了将命题表示为符号串。 二、是否每个符号串都是命题呢? pq→ 三、什么样的符号串才能表示命题呢? 如下命题形式定义的符号串表示的才是命题

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

一、四色问题 二、平面图,面,极大平面图 三、欧拉公式 四、Kuratowski定理 五、对偶图,自对偶图 六、外平面图 七、平面哈密顿图

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

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

1.预备知识,无向图,有向图,相邻,关联 2.度,握手定理度数列,可(简单)图化 3.图同构 4.图族

Huffman树的构造 构造 Huffman树步骤: 根据给定的n个权值{w1,w2,…wn},构造n棵只有 根结点的二叉树。 在森林中选取两棵根结点权值最小的树作左右子 树,构造一棵新的二叉树,置新二叉树根结点权 值为其左右子树根结点权值之和

3.1栈 3.1.1抽象数据类型栈的定义 3.1.2栈的表示和实现 3.2栈的应用举例 3.2.1数制转换 3.2.2括号匹配的检验 3.2.3行编辑程序 3.2.4迷宫求解 3.2.5表达式求值

3.3栈与递归的实现 3.4队列 3.4.1抽象数据类型队列的定义 3.4.2链队列一队列的链式表示和实现 3.4.3循环队列一队列的顺序表示和实现

5.1数组的定义 5.2数组的顺序表示和实现 5.3矩阵的压缩存储 5.3.1特殊矩阵 5.3.2稀疏矩阵