《期中考试复习要点(1023)》由会员分享,可在线阅读,更多相关《期中考试复习要点(1023)(5页珍藏版)》请在金锄头文库上搜索。
1、期中考试复习要点,第一章 命题逻辑,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 约束与自由变元的概念、给定解
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.,