2.1 微型机中的数制及其编码 2.1.1 数与数制 2.1.2 不同数制之间的转换 2.1.3 数制数据的编码及其运算 ➢ 1.原码; 2.反码; 3.补码; 4.十进制数的编码((非)压缩BCD码) 2.1.4 非数值数据的编码 2.2 布尔代数和常见逻辑电路 2.3 微型计算机的常用技术术语和技术 2.3.1 常用单位及术语; 2.3.2 常见技术

• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑：LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性？

3.1 数据链路层  3.1.1 数据链路层的功能  3.1.2 数据链路层的架构 3.2 逻辑链路控制子层  3.2.1 成帧  3.2.2 差错控制  3.2.3 点对点协议 PPP (Point to Point Protocol) 3.3 媒体接入控制子层  3.3.1 媒体接入控制子层概述  3.3.2 以太网（802.3）  3.3.3 扩展的以太网  3.3.4 无线局域网（802.11）

• QuartusⅡ软件的安装方法和工程的基本设计流程； • 通过简单的实例演示各流程以及常用工具的使用方法，熟悉QuartusⅡ软件的用户界面、常用工具和设计流程； • 宏功能模块的配置和SignalTapⅡ逻辑分析仪的使用方法

6.1 数据库设计的步骤 6.2 需求分析 6.3 概念结构设计 6.4 逻辑结构设计 6.5 数据库物理设计 6.6 数据库实施 6.7 数据库运行维护

第六章 数据库设计 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 现代数据库技术研究

4.1 编程语言 (4.1.1助记符语言; 4.1.2操作码; 4.1.2操作数) 4.2 指令格式及其分类 4.3 寻址方式 4.4 数据传送类指令 4.5 逻辑操作类指令 4.6 算术运算类指令

3.1 面向过程的程序设计和算法 3.2 Ｃ++程序结构和语句 3.3 赋值语句 3.4 C++的输入与输出 3.5 编写顺序结构的程序 3.6 关系运算和逻辑运算 3.7 选择结构和条件语句 3.8 循环结构和循环语句

• 3.1 汇编语言 • 3.2 数据传送指令 • 3.3 算术运算指令 • 3.4 逻辑操作指令 • 3.5 控制程序转移类指令 • 3.6 位操作类指令

2.1 数据信息的表示方法 2.1.1进位计数制及转换 2.1.2 机器数的编码格式 2.1.3 数值数据的表示方法 2.1.4 字符的表示 2.2 MIPS指令集 2.2.1 基本概念 2.2.2 MIPS的操作数 2.2.3 MIPS指令的表示 2.2.4 逻辑操作 2.2.5 决策指令 2.2.6 硬件对过程的支持 2.2.7 MIPS中32位立即数和寻址 2.2.8 翻译并执行程序