没有合适的资源?快使用搜索试试~ 我知道了~
计算机科学知识体-计算机科学与技术方法论附录.pdf
1.该资源内容由用户上传,如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
版权申诉
0 下载量 132 浏览量
2022-01-10
11:17:21
上传
评论
收藏 86KB PDF 举报
温馨提示
试读
50页
计算机科学知识体-计算机科学与技术方法论附录.pdf
资源详情
资源评论
资源推荐
1
CS(计算机科学)知识体
计算教程 2001 报告的这篇附录定义了计算机科学本科教学计划中可能讲授的知识领域。该
分类方案的依据及其历史、 结构和应用的其它细节包含在完整的任务组报告中。 由于我们希
望附录比完整的报告有更多的读者, 所以任务组认为在每一篇附录中概述理解该推荐所必须
的基本概念是重要的。在下面几节中我们列出了最重要的几个概念。
知识体的结构
计算机科学知识体分层组织成三个层次。最高一层是 领域(area),代表一个特定的学科子
领域。每个领域由一个两个字母的缩写词表示,比如 OS 代表操作系统, PL 代表程序设计
语言,领域之下又被分割成更小的 单元(units),代表领域中单独的主题模块。每个单元都
用一个领域名加一个数字后缀表示,比如 OS3 是关于并发的单元。各个单元由被细分成 主
题( topics),这是 CS 知识体层次结构的最底层。
离散结构( DS)
DS1. 函数 , 关系 , 集合 [ 核心 ]
DS2. 基本逻辑 [ 核心 ]
DS3. 证明技术 [ 核心 ]
DS4. 计算基础 [ 核心 ]
DS5. 图和树 [ 核心 ]
DS6. 离散概率 [ 核心 ]
DS1.函数、关系、集合论 [ 核心 ]
主题:
函数 (满射、入射、逆、复合)
关系 (自反、对称、传递、等价关系)
集合 (文氏图、补集、笛卡尔积、幂集)
鸽洞原理
基数和可数性
学习目标:
1. 举例说明基本术语:函数、关系和集合。
2. 执行与函数、关系和集合相关的运算。
3. 把实例与适当的集合、函数或关系模型相联系,并在上下文中解释相关的操作和术语。
4. 解释基本的计算原理,包括对角化和鸽洞原理的应用。
DS2. 基本逻辑 (核心)
主题:
命题逻辑
逻辑联结词
真值表
范式(合取与析取范式)
永真性
2
谓词逻辑
全称量词和存在量词
假言推理和否定后件推理( modus tallens )
谓词逻辑的局限性
学习目标:
1. 应用符号命题逻辑和谓词逻辑的形式化方法。
2. 描述如何使用符号逻辑的形式化工具为算法和真实情形建模。
3. 使用形式逻辑证明和逻辑推理来解决诸如迷宫等问题。
4. 描述谓词逻辑的重要性和局限性。
DS3. 证明技术 (核心)
主题:
蕴含、逆、补、逆否、否定、矛盾
形式证明的结构
直接证法
反例证法
通过逆否命题证明
归谬证法
数学归纳
完全归纳
递归数学定义
良序
学习目标:
1. 概述本单元中给出的每一种证明技术的基本结构并给出相应的实例。
2. 讨论对于指定的问题哪种类型的证明是最优的。
3. 把数学归纳思想与递归和递归定义的结构联系起来。
4. 说明数学归纳和完全归纳的差别并举例说明如何合理地使用它们。
DS4.计算基础 (核心)
主题:
计数理论( counting arguments )
——和积规则( sum and production rules )
——包含排斥原理
——算术和几何级数
——斐波纳契( Fibonacci )数列
鸽洞原理
排列和组合
——基本定义
—— Pascal 恒等式
——二项式定理
求解递推关系式
——常见实例
3
—— 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. 基本程序设计结构 [ 核心 ]
主题:
高级语言的基本语法和语义
4
变量、类型、表达式和赋值
简单 I/O
条件和循环控制结构
函数和参数传递
结构化分解
学习目标:
1. 分析并解释具有本单元所涉及基本程序结构的简单程序的行为。
2. 修改和扩展使用了标准条件和循环控制结构和函数的小程序。
3. 设计、实现、测试和调试一个使用下面每一种基本程序设计结构的程序: 基本计算、 简
单的输入 / 输出、标准的条件和循环结构以及函数定义。
4. 对于指定的程序设计任务,选择适当的条件和循环结构。
5. 运用结构化(功能)分解技术把一个程序分解成一些小的程序块。
6. 描述参数传递的机制。
PF2. 算法和问题求解 [ 核心 ]
主题:
问题求解策略
算法在问题求解过程中的作用
算法的实现策略
调试策略
算法的概念和性质
学习目标:
1. 讨论算法在问题求解过程中的重要性。
2. 指出好的算法所必备的性质。
3. 开发求解简单问题的算法。
4. 使用伪代码或程序设计语言实现、测试和调试求解简单问题的算法。
5. 描述调试中的实用策略。
PF3. 基本的数据结构 [ 核心 ]
主题:
原语类型
数组
记录
字符串和字符串处理
数据在内存中的表示
静态、栈和堆分配
运行时间存储管理
指针和引用
链接结构
栈、队列和哈希表的实现策略
图和树的实现策略
选择正确数据结构的策略
5
学习目标:
1. 讨论简单( primitive )数据类型和内置数据结构的表示和使用。
2. 描述主题列表中的数据结构在内存中是如何分配和使用的。
3. 描述主题列表中各数据结构常见的应用。
4. 用高级语言实现用户自定义的数据结构。
5. 比较数据结构的不同实现的性能。
6. 编写使用以下各种数据结构的程序:数组、记录、字符串、链表、栈、队列和哈希表。
7. 比较并说明动态和静态数据结构实现的代价和收益的不同。
8. 为指定问题的建模选择适当的数据结构。
PF4. 递归 [ 核心 ]
主题:
递归的概念
递归数学函数
简单的递归过程
分而治之策略
递归回溯
递归的实现
学习目标:
1. 描述递归的概念并举例说明其应用。
2. 鉴别递归定义问题的基本情况和一般情况。
3. 比较基本问题如阶乘的迭代和递归求解方案。
4. 描述分而治之方法的方法。
5. 实现、测试和调试简单的递归函数和过程。
6. 描述怎么能够使用栈实现递归。
7. 讨论适合用回溯方法求解的问题。
8. 对于一个问题确定什么时候用递归方法求解是合适的。
PF5. 事件驱动程序设计 [ 核心 ]
主题:
事件处理方法
事件传播
异常处理
学习目标:
1. 解释事件驱动程序设计和命令行程序设计的不同。
2. 设计、编码、测试和调试简单的响应用户事件的事件驱动程序。
3. 编写响应执行期间异常情况的代码。
算法和复杂性( AL)
AL1. 基本算法分析 [ 核心 ]
AL2. 算法策略 [ 核心 ]
剩余49页未读,继续阅读
霖落^0^时空
- 粉丝: 3
- 资源: 9万+
下载权益
C知道特权
VIP文章
课程特权
开通VIP
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- keil2 + proteus + 8051.exe
- 1961ee27df03bd4595d28e24b00dde4e_744c805f7e4fb4d40fa3f695bfbab035_8(1).c
- mediapipe-0.9.0.1-cp37-cp37m-win-amd64.whl.zip
- windows注册表编辑工具
- mediapipe-0.9.0.1-cp37-cp37m-win-amd64.whl.zip
- 校园通行码预约管理系统20240522075502
- 车类型数据集6250张VOC+YOLO格式.zip
- The PyTorch implementation of STGCN.STGCN-main.zip
- 092300108.cpp
- 车类型数据集6000张VOC+YOLO格式.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0