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

1.设a为有理数,x为无理数,证明: (1)a+x是无理数(2)当a≠0时,ax是无理数.证:(1)假设a+x是有理数,则(a+x)-a=x是有理数这与题设x是无理数相矛盾,故a+x是无理数

8.1 数据中心与数据中心网络概述 8.2 电交换数据中心网络架构 8.3 光电混合交换数据中心网络架构 8.4 光交换与光互连数据中心网络架构 8.5 数据中心网络的路由技术 8.6 数据中心网络的传送技术 8.7 软件定义数据中心网络

1.1 About Digital Design(关于 “ 数字设计 ”) 1.2 Analog versus Digital(模拟与数字) 1.3 Digital Devices(数字器件) 1.4 Electronic Aspects of Digital Design(数字设计的电子技术) 1.5 Software Aspects of Digital Design(数字设计的软件技术) 1.6 Integrated Circuits（集成电路，IC） 1.7 Programmable Logic Devices(可编程逻辑器件)  Programmable Logic Array(PLA, 可编程逻辑阵列)  Programmable Array Logic (PAL, 可编程阵列逻辑)  Programmable Logic Device(PLD, 可编程逻辑器件)  Complex PLD (CPLD, 复杂可编程逻辑器件)  Field-Programmable Gate Array(FPGA, 现场可编程门阵列） Digital Logic Design and Application (数字逻辑设计及应用) 1.8 Application-Specific ICs[专用集成电路（ASIC）] 1.9 Printed-Circuit Boards(PCB, 印制电路板) 1.10 Digital Design Levels（数字设计层次）  Device Physics Level (器件物理层）  IC Manufacturing Process Level（IC 制造过程级）  Transistor Level (晶体管级）  Gates Structure Level (门电路结构级）  Logic Design Level （逻辑设计级）  Overall System Design（整体系统设计） Digital Logic Design and Application (数字逻辑设计及应用)

第一节数列的极限 一、数列的极限 设xn=f(n)是一个以自然数集为定义域的函 数,将其函数值按自变量大小顺序排成一列,x1 x2…称为一个数列.xn称为数列的第n项 ,也称为通项数列也可表示为{xn}或xnf(xn)

6.1 怎样定义和引用一维数组 6.1.1 怎样定义一维数组 6.1.2 怎样引用一维数组元素 6.1.3 一维数组的初始化 6.1.4 一维数组程序举例 6.2 怎样定义和引用二维数组 6.3 字符数组

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 常见技术

第四章随机变量的数字特征 数字特征的优越性: 1.较集中地反映了随机变量变化的一些平均特征 2.很多重要的随机变量(如二项分布、泊松分布、均匀分布、指数分布、正态分布等)的分布函数都能用一、两个数字特征完全确定。 3.重要的数字特征--数学期望、方差具有明确的统计意义,同时还具有良好的数学性质。 4.随机变量的数字特征较易求出

• 9.1 安全审计 • 9.1.1 安全审计概念 • 9.1.2 审计系统的结构 • 9.1.3 审计的数据来源 • 9.2 数字取证 • 9.2.1 数字取证概述 • 9.2.2 电子证据的特点和取证基本原则 • 9.2.3 数字取证的过程 • 9.3 数字取证关键技术和工具 • 9.3.1 证据信息类别 • 9.3.2 来自文件的数据 • 9.3.3 来自操作系统的数据 • 9.3.4 来自网络的数据 • 9.3.5 来自应用软件的数据

§ 避免绝对值小的数作除数 § 避免两个相近的数据相减 § 要防止大数“吃掉”小数 § 尽量减少计算工作量 § 选用数值稳定性好的算法