离散学 期末复习大纲 (07级软件+背景专业)
离散数学 期末复习大纲 （07级软件+背景专业）
命题逻辑 重点 、命题(简单命题,复合命题)及符号化(联结词) 2、公式类型(可满足,永真,永假 3、等值演算(证明A台B) 4、联结词完备集(用指定联结词表示任意公式) 5、主析(主合)取范式,成真(假)赋值 6、推理证明(推理规则)
命题逻辑 重点: 1、命题(简单命题, 复合命题)及符号化(联结词) 2、公式类型(可满足,永真,永假) 3、等值演算( 证明A B) 4、联结词完备集 ( 用指定联结词表示任意公式) 5、主析（主合）取范式, 成真(假)赋值 6、推理证明(推理规则)
一阶逻辑 重点: 1.一阶逻辑下命题符号化(个体域、联结词、量词、特性谓词) 2判断公式类型(可满足式永真,永假 3求谓词公式的前束范式(一阶逻辑等值式的应用) 阶逻辑推理证明 (重在+、∨-、彐,彐-规则的应用)
一阶逻辑 重点: 1.一阶逻辑下命题符号化(个体域、联结词、量词、特性谓词) 2.判断公式类型(可满足式,永真,永假) 3.求谓词公式的前束范式(一阶逻辑等值式的应用) 4. 一阶逻辑推理证明 (重在+、 - 、 +, - 规则的应用)
集合 重点 1、集合的运算、幂集、子集、文氏图 2、集合等式(包含式)的证明(公式的应用)
集合 重点: 1、集合的运算、幂集、子集、文氏图 2、集合等式（包含式）的证明（公式的应用）
二元关系和函数 重点: 1、有序对、笛卡儿积 2、二元关系的表示方法(集合、关系矩阵、关系图) 3、关系的运算(合成、逆、闭包、幂运算) 4、关系的性质(自反、反自反、对称、反对称、传递) 5、等价关系(证明、商集、等价类、划分) 6、偏序关系(证明、哈斯图、特殊元素) 7、函数的性质的判断(单射、满射、双射) 8、函数的运算(逆、合成)
二元关系和函数 重点: 1、有序对、笛卡儿积 2、二元关系的表示方法（集合、关系矩阵、关系图） 3、关系的运算（合成、逆、闭包、幂运算） 4、关系的性质（自反、反自反、对称、反对称、传递） 5、 等价关系（证明、商集、等价类、划分） 6、偏序关系(证明、哈斯图、特殊元素) 7、函数的性质的判断（单射、满射、双射） 8、函数的运算（逆、合成）