期中考试复习要点(1023)

期中考试复习要点,第一章 命题逻辑,1.1 命题符号化，特别是充分和必要条件的辨别。 重点：P4，例1.6；P33，习题1.5 1.2 公式类型概念，三种类型。 掌握P6定义 1.3 等值演算公式及作用，判断公式类、等值证明、主析（合）取范式求解。 掌握P9公式，会判断公式类别，参考例1.10； 会求主范式；P34，习题1.8 1.5 主析(合)取范式求解，真值表法、等值演算法（4个步骤） 掌握P16-18求解过程. 例1.14,第二章 一阶逻辑,2.1 掌握利用谓词命题符号化，全称量词、存在量词、特性谓词的使用。 理解P41，例2.5；P53，习题2.3 2.2 约束与自由变元的概念、给定解释能判断公式的真假。 参考P43-44，例2.6，例2.8，给定解释会判断真假 2.3 一阶逻辑等值式，掌握定理2.2-2.4；会求前束范式求法 参照P48，例2.11,第三章 集合,3.1 幂集的概念，会求集合的幂集，特别注意有空集作为元素时候不要混淆。 参考P59，例3.3； 3.2 集合的基本运算，尤其证明集合相等。概念法，文氏图法、等价公式法。 参考P75，习题3.16 3.3 集合中元素的计数，定理3.2。 掌握计数公式，例3.11-3.12,第四章 二元关系和函数,4.1 笛卡尔积与二元关系的概念 4.2 关系的运算，关系的定义域值域、合成、像，会求R的n次幂。 参考P83，例4.7；P85，例4.8 4.3 关系的性质，自反、对称、传递、反自反、反对称概念。必须会通过概念、图、以及矩阵判断性质。关系运算后的性质P88，表4-2.,