图 通路与回路 图的连通性 图的矩阵表示 预备知识 多重集合——元素可以重复出现的集合 无序集——AB={(x,y) | xAyB}

一、函数的定义 二、函数定义 三、从4到B的函数 四、函数的像 五、函数的性质 六、函数的单射、满射、双射性 七、构造双射函数

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

重点: 1、命题(简单命题, 复合命题)及符号化(联结词) 2、公式类型(可满足,永真,永假) 3、等值演算( 证明A  B) 4、联结词完备集 ( 用指定联结词表示任意公式) 5、主析（主合）取范式, 成真(假)赋值 6、推理证明(推理规则)