1.3.2 网络出现安全威胁的原因 1.3.3 网络安全面临的困难 1.4 网络安全组织机构 1.5 安全体系框架 1.6 OSI安全体系结构 1.7 网络与信息安全相关法规 1.8 安全评估引言

• 了解类型系统的重要性 – 围绕数组类型的若干实例来解释这个重要性 • 基本知识 – 类型表达式、定型断言、定型规则、类型系统 • 多态类型 – 多态函数、类型变量、多态函数的类型推断和类型检查 • 依赖类型 – 依赖类型的实例、编程语言中使用依赖类型的状况

• 基本知识 – 多核体系结构、并行编程模型 • 内存一致性模型 – 严格一致性模型、顺序一致性模型、内存一致性模型的重要性 • 共享变量并行编程模型 – 同步、锁、临界区、条件变量、死锁、数据竞争 • 消息传递并行编程模型 – 消息传递、同步与异步

第六章 数据库设计 6.1 数据库设计的步骤 6.2 需求分析 6.3 概念结构设计 6.4 逻辑结构设计 6.5 数据库物理设计 6.6 数据库实施 6.7 数据库运行维护 第七章 关系数据库管理系统实例 7.1 关系数据库管理系统产品概述 7.2 ORACLE 7.3 Sybase 7.4 INFORMIX 7.5 DB2 7.6 INGRES 7.7 MS-SQLSERVER 7.8 MySQL 7.9 OpenGauss等华为DBMS产品 第八章 现代数据库技术及进展 8.1 数据库发展概述 8.2 数据库技术与其他技术的结合 8.3 现代数据库技术研究

• 基本知识 – 可计算理论, 计算资源, 计算复杂性理论, 算法分析 • 复杂性的计量 – 问题规模、复杂性函数、最坏、最好和平均三种情况的时间复杂性 • 复杂性的渐近行为及其阶 – 复杂性的渐近行为、渐近意义下的记号O、记号O的运算规则、复杂性渐近阶分析的重要性 • 算法复杂性渐近阶的分析 – 算法的复杂性渐近阶的分析、语句规则的例举

• 基本知识 – 人−机−物三元世界、云计算、未来网、物联网、泛在网、图灵机计算模型、网域计算模型 • 交互计算 – 经典计算与交互计算、交互的特点、交互的机器模型、能描述交互的演算 • 从归纳到余归纳 – 良基集、非良基集、余归纳、互模拟 • 从代数到余代数 – 笛卡尔积, 可区分并, 余代数, 代数和余代数的区别

3.1 SQL概述 3.2数据定义语言（DDL） 3.3 SQL的数据查询（DML） 3.4 SQL的数据更新（DML） 3.5视图 3.6数据控制语言（DCL） 3.7嵌入式SQL语言 3.8 存储过程*（T-SQL）

– 静态检查中最典型的部分 — 类型检查： 类型系统、类型检查、多态函数、重载 – 忽略其它的静态检查：控制流检查、唯一性检查、关联名字检查

– 通过实例来介绍代码改进的主要机会 – 数据流分析包括的几类重要的全局收集的信息 – 数据流分析的一般框架 – 和一般框架有区别的常量传播 – 部分冗余删除的优化技术 – 循环的识别和分析

死锁的定义和产生死锁的原因 产生死锁的必要条件 处理死锁的基本方法 死锁的预防 死锁的避免 死锁的检测与解除