1.基础知识 2.作为一门新的编程语言 3.图形处理(二维、三维及其参数方程的形式) 4.极限、微分与积分 5.求解方程(组)、微分方程(组) 6.在线形代数方面的应用 7.数值处理 8.文件及其它高级操作

6.2 线性空间的定义与简单性质 6.3 维数、基与坐标 6.4 基变换与坐标变换 6.5 线性子空间 6.6 子空间的交与和 6.7 子空间的直和 6.8 线形空间的同构

一、平面对偶原则 二、代数对偶 1. 基本概念掌握了？ 2. 能够熟练地画出已知图形的对偶图形？ 3. 能够判别射影命题并熟练写出其对偶命题(含代数对偶)？ 4. 看到一个命题自然想到其对偶命题？ 5. 一对重要图形(完全四点形、完全四线形)熟悉了？

逻辑代数：描述和研究客观世界中事物间逻辑 关系的数学，它把事物间逻辑关系简化为符号 间的数学运算。 用类似普通代数形式研究逻辑代数是英国数学家 布尔（G. Boole）最早提出，所以也称为布尔代数。 又因为布尔代数中的常量、变量都只有“真”（True ）和“假”（False）两种取值，所以也称为二值代 数

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

代数结构的主要研究对象是各种各样的代数系 统，即具有一些元运算的集合,本章介绍的群就 是具有一个二元运算的代数系统. 本章以群为例讨论代数结构，它的思想和方 法已经渗透到现代科学的许多分支、它的结果 已应用到计算机的不少方面，因此计算机科学 工作者应初步掌握其基本的理论和方法. 读者通过对群的学习应初步掌握对代数系统研 究的一般方法，从简单到复杂、从具体到一般

主要内容 7.1概述 7.2关系代数的基本运算 7.3关系代数的附加运算 7.4扩充的关系代数运算 7.5关系演算 7.6关系代数的修改运算 7.7关系代数表达式的优化策略 7.8本章小结

1.逻辑代数的基本概念与基本运算 2.逻辑函数及其表示方法 3.逻辑代数的基本运算的定律、定理和重要规则 4.逻辑代数的简化

用数学方法表示命题陈述的逻辑结构，将形式逻辑归结为代数演算， 称为 “布尔代数”。将布尔代数用于集成电路逻辑门，称为逻辑代数

关系代数概述 一、关系是一个属性数目相同的元组的集合。 二、关系代数