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

计算机科学与技术学科知识体系 下面是14个知识领域（ area）及其中的知识单元（llnits）和知识点（topiCS）的描述： 1离散结构（DS） 1.1函数、关系和集合（核心）DS1 1.1.1函数DS11 满射 到内的映射 逆函数 复合函数 1.1.2关系 自反 对称 传递 等价关系 1.1.3集合 文氏图 补集 笛卡儿集 幂集 1.1.4鸽笼原理 1.1.5基数性和可数性 1.2基本逻辑（核心） 1.2.1命题逻辑 1.2.2逻辑连接词 1.2.3真值表 1.2.4范式 合取式 析取式 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计数变元 1.4.2求和与相乘的规则 1.4.3包含排斥 1.4.4算术和几何级数 1.4.5斐波那契（Fibonacci）数列 1.4.6排列组合 1.4.7基本定义 1.4.8恒等式 1.4.9二项式定理 1.4.10递归关系 1.4.11实例 1.4.12 Master原理 1.5图与树（核心） 1.5.1树 1.5.2无向图 1.5.3有向图 1.5.4生成树 1.5.5遍历策略 1.6离散概率 1.6.1有限概率空间、概率度量、事件 1.6.2条件概率、独立性、贝叶斯规则 1.6.3 整型随机变量、期望 2程序设计基础（PF） 2.1程序设计基本结构（核心） 2.1.1变量、类型、表达式和语句 2.1.2高级语言的基本语法和语义 2.1.3输人和输出基础 2.1.4顺序、条件和循环控制结构 2.1.5函数定义、函数调用和参数传递 2.1.6程序结构分解基础 2.2算法与问题求解（核心） 2.2.1问题求解策略 2.2.2问题求解算法 2.2.3算法实现策略 2.2.4调试策略 2.2.5算法的概念和特性 2.3基本数据结构（核心） 2.3.1基本类型 2.3.2数组 2.3.3记录 2.3.4字符串和字符串处理 2.3.5数据在存储器中的表示 2.3.6静态分配、栈式分配和堆式分配 2.3.7运行时的存储器管理 2.3.8指针和引用 2.3.9链式结构 2.3.10栈、队列和哈希表的实现策略 2.3.11树和图的实现策略 2.3.12数据结构的应用和选择策略 2.4递归（核心） 2.4.1递归的概念 2.4.2递归数学函数 2.4.3递归过程 2.4.4分治法 2.4.5回溯法 2.4.6递归的实现 2.5事件驱动程序设计（核心） 2.5.1事件处理方法 2.5.2事件传播 2.5.3异常处理 3算法与复杂性（AL） 3.1算法分析基础（核心） 3.1.1复杂性上界和平均复杂性的渐近分析 3.1.2最佳、最差和平均情况下的复杂性差异 3.1.3大O，小o，Ω和θ符号 3.1.4标准复杂性类 3.1.5性能的经验度量 3.1.6算法时间、空间复杂性的权衡 3.1.7用递归关系分析递归算法 3.2算法策略（核心） 3.2.1穷举算法 3.2.2贪心算法 3.2.3分治算法 3.2.4回溯法 3.2.5分支界限法 3.2.6试探法 3.2.7模式匹配和字符串／文本匹配算法 3.2.8数值逼近算法 3.3基本算法（核心） 3.3.1简单数值算法 3.3.2顺序查找算法和折半查找算法 3.3.3二次排序算法 选择排序 插人排序 3.3.4复杂度为 O（N log N）排序算法 快速排序 堆排序 归并排序 3.3.5哈希（ Hash）表，包括冲突消解策略 3.3.6二叉查找树 3.3.7图的表示 邻接表 邻接矩阵 3.3.8深度优先遍历 3.3.9广度优先遍历 3.3.10最短路径算法（Dijkstra和Floyd算法〕 3.3.11传递闭包（FIoyd算法） 3.3.12最小生成树（Prim算法和Kruskal算法） 3.3.13拓扑排序 3.4分布式算法（核心） 3.4.1一致性和选择 3.4.2终止探测 3.4.3容错 3.4.4稳定性 3.5可计算性理论基础（核心） 3.5.1有限状态自动机 3.5.2上下文无关文法 3.5.3易解问题和难解问题 3.5.4不可计算函数 3.5.5停机问题 3.5.6不可计算性的含义 3.6复杂性类：P类和NP类（选修） 3.6.1 P类和NP类的定义 3.6.2 NP完全性 3.6.3基本的NP完全问题 3.6.4归约技术 3.7自动机理论（选修） 3.7.1确定的