计算机科学与技术附录,计算机科学知识体-计算机科学与技术方法论附录

计算机科学与技术方法论

CS(计算机科学)知识体

计算教程2001报告的这篇附录定义了计算机科学本科教学计划中可能讲授的知识领域。该分类方案的依据及其历史、结构和应用的其它细节包含在完整的任务组报告中。由于我们希望附录比完整的报告有更多的读者，所以任务组认为在每一篇附录中概述理解该推荐所必须的基本概念是重要的。在下面几节中我们列出了最重要的几个概念。

知识体的结构

计算机科学知识体分层组织成三个层次。最高一层是领域(area)，代表一个特定的学科子领域。每个领域由一个两个字母的缩写词表示，比如OS代表操作系统，PL代表程序设计语言，领域之下又被分割成更小的单元(units)，代表领域中单独的主题模块。每个单元都用一个领域名加一个数字后缀表示，比如OS3是关于并发的单元。各个单元由被细分成主题(topics)，这是CS知识体层次结构的最底层。

离散结构(DS)

DS1. 函数,关系,集合[核心]

DS2. 基本逻辑[核心]

DS3. 证明技术[核心]

DS4. 计算基础[核心]

DS5. 图和树[核心]

DS6. 离散概率[核心]

DS1.函数、关系、集合论[核心]

主题：

函数 (满射、入射、逆、复合)

关系 (自反、对称、传递、等价关系)

集合 (文氏图、补集、笛卡尔积、幂集)

鸽洞原理

基数和可数性

学习目标：

1． 举例说明基本术语：函数、关系和集合。

2． 执行与函数、关系和集合相关的运算。

3． 把实例与适当的集合、函数或关系模型相联系，并在上下文中解释相关的操作和术语。

4． 解释基本的计算原理，包括对角化和鸽洞原理的应用。

DS2. 基本逻辑 (核心)

主题：

命题逻辑

逻辑联结词

真值表

范式(合取与析取范式)

永真性