7.1 半群和独异点的定义及其性质 7.2 半群和独异点的同态与同构 7.3 积半群 7.4 群的基本定义与性质 7.5 置换群和循环群 7.6 子群与陪集 7.7 群的同态与同构

2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论

定义 7－1：如果两个整数 a，b 被模 m 除后有相同的余数 r，即： a=q1m+r，b=q2m+r 则称 a,b 对模 m 同余，记作 a≡b mod m。 否则称 a,b 对模 m 不同余，记作 a≡b mod m

4.2 存储器件 4.1 时序逻辑电路的基本概念 4.1.1 时序逻辑电路的结构模型 4.1.2 状态表和状态图 4.3 锁存器 4.3.1 RS锁存器 4.3.2 门控RS锁存器 4.3.3 D锁存器 4.4 触发器 4.4.1 主从触发器 4.4.2 边沿触发器 4.5 触发器逻辑功能的转换 4.5.1 代数法 4.5.2 图表法 4.6 触发器应用举例

6.1 存储器 6.1.1 ROM (Read-Only Memory) 6.1.2 随机存取存储器 (RAM) 6.2 可编程逻辑器件（PLD) 6.2.1 可编程阵列逻辑(PAL) 6.2.2 通用阵列逻辑(GAL) 6.2.3 PLD的开发过程 6.3 VHDL语言 6.3.1 VHDL基本结构与语法 6.3.1.1 VHDL的组成 6.3.1.2 实体（Entity) 6.3.1.3 结构体 (Architecture) 6.3.1.4 程序包 (Package) 与 USE 语句 6.3.1.5 库 (Library) 6.3.1.6 VHDL运算符 6.3.1.7 数据对象 6.3.1.8 VHDL常用语句 6.3.1.9 元件及元件例化 6.3.1.10 配置 (configuration) 6.3.1.11 子程序 6.3.1.12 其他：属性、时钟的表示 6.3.1.13 VHDL的模板 6.3.1.14 常见错误 6.3.1.15 保留字

一、中间容器：不能单独存在 二、 可以添加各种组件(包括面板组件) 1、面板(JPanel)的大小由它所包含的组件决定 2、当组件个数增加，面板(JPanel)也会随之而增大

第 1 步：从 BIOS 到 Kernel 计算机在接通电源之后首先由 BIOS 进行自检，即进行所谓的 POST（Power On Self Test），然后依据 BIOS 内设置的引导顺序从硬盘、软盘或 CDROM 中读入“引导块”。如果 BIOS 中设的引导顺序为 C 在最前面，那么就把第一个 IDE 硬盘的第 0 柱，第 0 面，第 1 扇 区读入内存，然后跳到那里开始执行。这个扇区有一个名字叫做 MBR（Master Boot Record， 主引导记录）。MBR 里存放的是一小段程序以及分区表的数据

随着现代电子计算机技术的发展,计算机的应用领域从最初的简单科学计算逐步发展到 人类活动的各个领域,例如企业管理、工程过程控制、经济系统工程及管理信息系统等。计 算机处理的对象从简单的数值和字符扩大到现在带有不同复杂结构的各种数据,例如图像、 声音及信号等。面对不同的数据处理对象,不同的需求,数据的组织形式、存储及运算必须 有不同的方法,才能进行有效的处理

1．man命令 语法：man [-k] [command_name]功能：显示参考手册，提供联机帮助信息。 2．uname命令 语法：uname [选项]功能：显示目前的版本等系统信息，uname可从显示电脑以及操作系统的相关信息。uname 可以知道用户现在所用的操作系统的版本、硬件的名称等各种数据。这个命令各选项及其功能见表3-21

一、面向对象程序设计(OOP) 1、 将数据(属性)和方法(行为或功能)封装到类(classes)中 2、 数据与方法常常是紧密相关的 3、对象(objects): 类的实例对象或类本身 4、 三个基本特性：封装性、继承性和多态性