开发工具:
文件大小: 108kb
下载次数: 0
上传时间: 2012-05-18
详细说明： CS（计算机科学）知识体系 计算教程2012报告的这篇附录定义了计算机科学本科教学计划中可能讲授的知识领域。该分类方案的依据及其历史、结构和应用的其它细节包含在完整的任务组报告中。由于我们希望附录比完整的报告有更多的读者，所以任务组认为在每一篇附录中概述理解该推荐所必须的基本概念是重要的。在下面几节中我们列出了最重要的几个概念。 知识体的结构 计算机科学知识体分层组织成三个层次。最高一层是领域（area），代表一个特定的学科子领域。每个领域由一个两个字母的缩写词表示，比如OS代表操作系统，PL代表程序设计语言，领域之下又被分割成更小的单元（units），代表领域中单独的主题模块。每个单元都用一个领域名加一个数字后缀表示，比如OS3是关于并发的单元。各个单元由被细分成主题（topics），这是CS知识体层次结构的最底层。 离散结构（DS） DS1. 函数,关系,集合[核心] DS2. 基本逻辑[核心] DS3. 证明技术[核心] DS4. 计算基础[核心] DS5. 图和树[核心] DS6. 离散概率[核心] DS1.函数、关系、集合论[核心] 主题： 函数（满射、入射、逆、复合） 关系（自反、对称、传递、等价关系） 集合（ 文氏图、补集、笛卡尔积、幂集） 鸽洞原理 基数和可数性 学习目标： 1． 举例说明基本术语：函数、关系和集合。 2． 执行与函数、关系和集合相关的运算。 3． 把实例与适当的集合、函数或关系模型相联系，并在上下文中解释相关的操作和术语。 4． 解释基本的计算原理，包括对角化和鸽洞原理的应用。 DS2. 基本逻辑 （核心） 主题： 命题逻辑 逻辑联结词 真值表 范式（合取与析取范式） 永真性 谓词逻辑 全称量词和存在量词 假言推理和否定后件推理（modus tallens） 谓词逻辑的局限性 学习目标： 1． 应用符号命题逻辑和谓词逻辑的形式化方法。 2． 描述如何使用符号逻辑的形式化工具为算法和真实情形建模。 3． 使用形式逻辑证明和逻辑推理来解决诸如迷宫等问题。 4． 描述谓词逻辑的重要性和局限性。 DS3. 证明技术 （核心） 主题： 蕴含、逆、补、逆否、否定、矛盾 形式证明的结构 直接证法 反例证法 通过逆否命题证明 归谬证法 数学归纳 完全归纳 递归数学定义 良序 学习目标： 1． 概述本单元中给出的每一种证明技术的基本结构并给出相应的实例。 2． 讨论对于指定的问题哪种类型的证明是最优的。 3． 把数学归纳思想与递归和递归定义的结构联系起来。 4． 说明数学归纳和完全归纳的差别并举例说明如何合理地使用它们。 DS4.计算基础 （核心） 主题： 计数理论（counting arguments） ——和积规则（sum and production rules） ——包含排斥原理 ——算术和几何级数 ——斐波纳契（Fibonacci）数列 鸽洞原理 排列和组合 ——基本定义 ——Pascal 恒等式 ——二项式定理 求解递推关系式 ——常见实例 ——Master定理 学习目标： 1． 计算一个集合的排列和组合，并解释在特定应用环境中的意义。 2． 阐述Master定理的定义。 3． 计算各种不同的递推式。 4． 分析问题，产生相应的递推式或识别重要的计算问题 DS5. 图和树 （核心） 主题： 树 无向图 有向图 生成树 遍历策略 学习目标： 1． 通过例子说明图论的基本术语，各自的性质和特殊情况。 2． 说明树和图的不同遍历方法。 3． 使用图和树为计算机科学中的问题建模。 4． 把图和树与数据结构、算法和计算相联系。 DS6.离散概率[核心] 主题： 有限概率空间、概率的度量、事件 条件概率、独立性、贝叶斯定律 整型随机变量、期望 学习目标： 1． 对基本问题，如机会游戏（games of chance）计算事件概率和随机变量的期望。 2． 区别独立事件和非独立事件。 3． 对非独立事件应用二项式定理，对独立事件应用Bayes定理。 4． 应用概率工具如Monte Carlo方法、算法的平均情况分析和散列法来解决问题。 程序设计基础（PF） PF1.基本程序设计结构[核心] PF2.算法和问题求解[核心] PF3. 基本的数据结构[核心] PF4. 递归[核心] PF5. 事件驱动的程序设计[核心] PF1.基本程序设计结构[核心] 主题： 高级语言的基本语法和语义 变量、类型、表达式和赋值 简单I/O 条件和循环控制结构 函数和参数传递 结构化分解 学习目标： 1. 分析并解释具有本单元所涉及基本程序结构的简单程序的行为。 2.修改和扩展使用了标准条件和循环控制结构和函数的小程序。 3. 设计、实现、测试和调试一个使用下面每一种基本程序设计结构的程序：基本计算、简单的输入/输出、标准的条件和循环结构以及函数定义。 4.对于指定的程序设计任务，选择适当的条件和循环结构。 5.运用结构化（功能）分解技术把一个程序分解成一些小的程序块。 6.描述参数传递的机制。 PF2.算法和问题求解[核心] 主题： 问题求解策略 算法在问题求解过程中的作用 算法的实现策略 调试策略 算法的概念和性质 学习目标： 1. 讨论算法在问题求解过程中的重要性。 2. 指出好的算法所必备的性质。 3. 开发求解简单问题的算法。 4. 使用伪代码或程序设计语言实现、测试和调试求解简单问题的算法。 5. 描述调试中的实用策略。 PF3.基本的数据结构[核心] 主题： 原语类型 数组 记录 字符串和字符串处理 数据在内存中的表示 静态、栈和堆分配 运行时间存储管理 指针和引用 链接结构 栈、队列和哈希表的实现策略 图和树的实现策略 选择正确数据结构的策略 学习目标： 1. 讨论简单（primitive）数据类型和内置数据结构的表示和使用。 2. 描述主题列表中的数据结构在内存中是如何分配和使用的。 3. 描述主题列表中各数据结构常见的应用。 4. 用高级语言实现用户自定义的数据结构。 5. 比较数据结构的不同实现的性能。 6. 编写使用以下各种数据结构的程序：数组、记录、字符串、链表、栈、队列和哈希表。 7. 比较并说明动态和静态数据结构实现的代价和收益的不同。 8. 为指定问题的建模选择适当的数据结构。 ...展开收缩
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
