离散数学入学考试核心知识点概览.pdfVIP

离散数学考试大纲

1命题演算基础

1．1命题与联结词

①命题②联结词③合式④命题的符号化

1.2真假性

①解释②等价③联结词的完备集④对偶式和内否式。

1.3范式及其应用

①范式②主范式

2命题演算的推理理论

2.1命题演算的公理系统

①公理系统的组成部分②公理系统的推理过程

2.2命题演算的假设推理系统

①假设推理系统的组成②假设推理系统的推理过程

2.3命题演算的归结推理法

①归结证明过程②归结证明方法

3谓词演算基础

3.1谓词和

①②谓词③语句的符号化

3.2函数和量词

①函数项②量词

3.4永真性和可满足性

①真假性②同真假性③永真性和可满足性④范式

4谓词演算的推理理论

4.1谓词演算的永真公理系统

①公理系统的组成部分②公理系统的推理过程

4.2谓词演算的假设推理系统

①假设推理系统的组成及证明方法②定理的推导过程

4.3谓词演算的归结系统

①置换②归结反演系统③子句逻辑程序

5递归函数论

5.1数论函数和数