南京理工大学824计算机基础,南京理工大学-研究生入学考试大纲-824计算机专业基础(A)...

824 计算机专业基础A 研究生入学考试大纲

离散数学部分：

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 数论函数和数论谓词

5.2 函数的构造

6 集合

6．1 集合的基本概念

①集合；②子集合；③空集合；④集合的相等。

6．2 集合的基本运算

①集合的运算；②集合的交；③集合的并；④集合的差；⑤集合的对称差；⑥集合的广义交；

⑦集合的广义并；⑧幂集合。

6．3 全集和集合的补

①全集；②集合的补；③德·摩根定律。

6．4 自然数与自然数集