– 代数项和它们在多类别代数中的解释 – 等式规范（也叫代数规范）和等式证明系统 – 等式证明系统的可靠性和完备性（公理语义和指称语义的等价） – 代数之间的同态关系和初始代数 – 数据类型的代数理论 – 从代数规范导出的重写规则（操作语义）

一、定义：由运算符和操作数组成，对操作数进行运算符指定的操作，并得出一个结果。 二、Java运算符按功能可分为：算术运算符、关系运算符、逻辑运算符、位运算符、赋值运算符、条件运算符、数组下标运算符等。操作数可以是变量、常量或具有返回值的方法调用等

抽象数据类型 抽象数据类型是指基于一个逻辑类型的数 据类型以及这个类型上的一组操作(类）。 每一个操作（成员方法）由它的输入、输 出定义。抽象数据类型的定义并不涉及它 的实现细节，这些实现细节对于抽象数据 类型的用户是隐藏的

 面向对象的思想  OOP的基本特点  类概念和声明  对象  构造函数  析构函数  内联成员函数  拷贝构造函数  类的组合  结构体与联合体  深度探索

一、JDK（Java Development Kit）6.0 版安装，文件名 jdk-6u3-windows-i586-p.exe。 安装完毕后，设置下列环境变量（步骤：我的电脑点右键→属性→高级→环境变量→系统变量）： 1. JAVA_HOME=C:\\Program Files\\java\\jdk1.6.0_03（JDK 默认安装目录）

一、程序是一段静态的代码，它是应用程序执行的蓝本 二、一个进程既包括其所要执行的指令，也包括了执行指令所需的任何系统资源，如CPU、内存空间、I/O端口等，不同进程所占用的系统资源相对独立

Library库 编译后数据的集合,存放包集合定义、实体定 义、构造体定义和配置定义,其功能相当于其 他操作系统中的目录,经过说明后,设计中就 可以使用库中的数据,实现共享;

数字电路模块的VHDL设计 一、组合模块的设计 二、时序模块的设计 三、存储模块的设计

抽象是对具体对象(问题)进行概括 弓,抽出这一类对象的公共性质并加以描 恐述的过程 先注意问题的本质及描述,其次是实 现过程或细节

本章主要内容 一、作用域与可见性 二、对象的生存期 三、数据与函数 四、静态成员 五、共享数据的保护 六、友元 七、编译预处理命令 八、多文件结构和工程