计算机学科体系知识,计算机科学与技术学科知识体系

计算机科学与技术学科知识体系

下面是14个知识领域(area)及其中的知识单元(llnits)和知识点(topiCS)的描述：1离散结构(DS)

1.1函数、关系和集合(核心)DS1

1.1.1函数DS11

1.1.1.1满射

1.1.1.2到的映射

1.1.1.3逆函数

1.1.1.4复合函数

1.1.2关系

1.1.

2.1自反

1.1.

2.2对称

1.1.

2.3传递

1.1.

2.4等价关系

1.1.3集合

1.1.3.1文氏图

1.1.3.2补集

1.1.3.3笛卡儿集

1.1.3.4幂集

1.1.4鸽笼原理

1.1.5基数性和可数性

1.2基本逻辑(核心)

1.2.1命题逻辑

1.2.2逻辑连接词

1.2.3真值表

1.2.4式

1.2.4.1合取式

1.2.4.2析取式

1.2.5永真性

1.2.6谓词逻辑

1.2.7全称量词和存在量词

1.2.8假言推理、否定式推理

1.2.9谓词逻辑的局限性

1.3证明技巧(核心)

1.3.1蕴涵、逆、逆反、置换、非、永假等概念

1.3.2形式证明结构

1.3.3直接证明

1.3.4反例证法

1.3.5逆反式证明法

1.3.6反证法

1.3.7数学归纳法

1.3.8强归纳法

1.3.9递归数学定义

1.3.10良序

1.4计数基础(核心)

1.4.1计数变元