一、集合是现代数学各分支的共同基础，当 然也是本书的基础，读者应熟练地掌握 本章的全部内容，本章的一些内容，如 集合的并、交、Venn图等已在中学及 大学的其他课程中学习过，但为了内容 的完整及这些内容基础地位，我们没有 省略这些内容

一、Internet的资源与应用; 二、 Internet在中国的发展; 三、IP的编址以及子网技术; 四、Internet中的域名系统; 五、主机配置协议;

本章主要介绍AutoCAD软件具有的功能和 特点，尤其是AutoCAD 2004的新增功能；并将 详细介绍AutoCAD 2004中绘图环境设置的具体 操作方法，以及创建新图形、打开旧图形的命令 使用方式，最后讲解如何使用AutoCAD 2004中 的向导、样板和布局功能

本章主要介绍AutoCAD 2004常用 的绘图命令、编辑命令及块操作，强 调AutoCAD精确绘图的特点，并结合 机械制图基本规定，举例说明各种命 令的综合运用

在前几章中我们详细介绍了AutoCAD 2004 的基础知识，二维图形的绘制方法以及尺寸标注 和文本标注。在掌握了AutoCAD 2004这些操作 部分的知识后，本章以3种典型机械零件——齿 轮阶梯轴、圆柱齿轮和叉架为例，详细介绍 AutoCAD 2004绘制机械零件图的一般流程，使 用户掌握综合运用AutoCAD 2004图形绘制及编 辑命令，精确绘制机械零件图的方法

AutoCAD 2004在工程制图的应用中有一 项重要的功能，即绘图零件的三维实体模型。 AutoCAD 2004提供直接绘制三维实体的功能， 并支持多种三维绘制方法。本章主要向用户介绍 三维绘图的基础知识，讲解基本的三维图形绘制 和编辑命令，使用户对AutoCAD 2004三维造型 的特点、使用方法及使用技巧有基本的了解，掌 握一定三维图形的看图和绘图能力

6.1 代数结构的定义与例 6.2 代数结构的基本性质 6.3 同态与同构 6.4 同余关系 6.5 商代数 6.6 积代数

9.1 格 9.2 布尔代数 9.3 子布尔代数、积布尔代数 和布尔代数同态 9.4 布尔代数的原子表示 9.5 布尔代数Br2 9.6 布尔表达式及其范式定理

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

1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论