计算机科学与技术学科知识体系.doc
版权申诉
168 浏览量
2022-07-07
14:46:19
上传
评论
收藏 69KB DOC 举报
1 / 23
计算机科学与技术学科知识体系
下面是 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.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 计数变元
剩余22页未读，继续阅读
资源评论
