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

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

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

7.1 伪指令 7.2 算术运算程序的设计 7.3 循环程序的设计 7.4 查表程序的设计 7.5 检索程序的设计 7.6 分支程序的设计 7.7 码制转换程序的设计 7.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 现代数据库技术研究

一、选择题（每小题 1 分，共 10 分） 1．在 C 语言中，逻辑值“真”用 （1） 表示。 （1）(A) true (B) 大于 0 的数 (C) 非零整数 (D) 非零的数 2．下列程序中有 3 个具有相同功能，只有 （2） 所完成的功能与其他程序不同

根据逻辑条件的判断构成程序分支结构 if 布尔表达式 then 顺序语句 end if； 当布尔表达式为 true 时， 执行 then 后面的顺序语句；

基本门电路的设计（采用数据流设计 ） 基本门电路表达简单逻辑关系，采用简单的赋值语句就能方 便地实现；没有必要采用更复杂的结构

1.文本编辑：用任何文本编辑器都可以进行，也可以用专用的 HDL编辑环境。通常VHDL文件保存为.vhd文件 2.功能仿真：将文件调入HDL仿真软件进行功能仿真，检查逻辑 功能是否正确（也叫前仿真，对简单的设计可以跳过这一步， 只在布线完成以后，进行时序仿真）

1.文本编辑：用任何文本编辑器都可以进行，也可以用专用的HDL编辑环境。通常VHDL文件保存为.vhd文件 2.功能仿真：将文件调入HDL仿真软件进行功能仿真，检查逻辑功能是否正确（也叫前仿真，对简单的设计可以跳过这一步，只在布线完成以后，进行时序仿真）